|
TCSLAB was formed on 1 July 1999 when
the former TOSCA (Laboratory
for Temporal-system Correctness and Algorithmics) and LOGPRO
(Laboratory for Logic Programming) merged. The research of TCSLAB focuses
on the use of logic and algebraic techniques in areas such as systems
modeling and verification, diagnosis, specification languages, logic
and constraint programming, constraint satisfaction problems, design
and analysis of algorithms and the study of computational complexity.
|
Page responsible: Ulf Nilsson
Last updated: 2012-05-07