Research at LIF

This laboratory focuses its research activities on the development and applications on computer system formal methods. Its research programmes address four specific areas of research:

The LIF is concerned with the mathematical study of fundamental computer science problems as it is with the implementation of theoretical results in specific systems. The areas of research promoted by the laboratory are complementary; they can rely on the bi-disciplinary competences of its founding members. To that extent, the dual nature of its home department (Computer Sciences and Mathematics) makes it the most appropriate environment for high-caliber, original scientific research.