Laboratoire d'informatique formelle

Research group based in the Department of Computer Science and Mathematics at Université du Québec à Chicoutimi, Canada.

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 development

These axes are the source of multiple projects, applied to web applications, network management, video game development and Complex Event Processing, among other things.

See our website: http://liflab.ca