The LCC (Laboratorio de Ciencia de la Computacion) at InCo was formed
ca 1990, by people interested in semantically simple, clean and powerful
languages. From this common philosophy three major strands of research
developed: programming logics and Constructive Type Theory; functional
programming languages , their use and implementation; and computer
graphics. Although the research has diversified, we still share the
common goal of developing tools and methodologies for deriving correct
as well as efficient programs.
Recently two new research areas have been integrated to the activity
of the laboratory: algorithms and formal verification of reactive
systems .
The members of the laboratory are distributed in the following research
groups: Algorithms, Computer Graphics , and
Formal Methods.
Activities of this laboratory include
|