Massiva Roudjane's Colleagues at Laboratoire d'informatique formelle
Massiva Roudjane's Contact Details
N/A
Chicoutimi, Quebec, Canada
Laboratoire d'informatique formelle
Massiva Roudjane's Company Details
The Formal Computer Science Laboratory (in French: Laboratoire d'informatique formelle or LIF) is a research group based in the Department of Computer Science and Mathematics at Université du Québec à Chicoutimi. Faculty and students work on applied research projects combining mathematics and computer systems. Projets led at LIF are funded by both public programs and contributions from the industry.At LIF, we develop new techniques to discover or prevent bugs in computer systems. The expertise of our researchers and students revolves around the following axes:- computer security, and in particular the detection of attacks and faults in real time- software testing and verification: how to speed up or even automate the discovery of bugs in a system under developmentThese axes are the source of multiple projects, applied to web applications, network management, video game development and Complex Event Processing, among other things.