The group of Formal Methods was formed
in the beginning
of 1998. The main research areas of this group are
The group has strong working connections
with the Programming
Logic group of Chalmers in Gothenburg, the Coq
group at INRIA-Rocquencourt in Paris, the LSV of the ENS at Cachan
and the group of Formal Methods at PUC in Rio de Janeiro.
Research projects
-
Members
-
Lists the members of the group with
links to each member's
personal page.
-
Where we are
-
The location, address and phone/fax
number of the Computing
Science department.
-
Programming
Logic around the World
-
Other research groups, proof checkers,
article archives,
journals, etc.
|