Laboratoire d'informatique formelle
Market Research - N/A, N/A, CA
Laboratoire d'informatique formelle Employees
Laboratoire d'informatique formelle 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.
Laboratoire d'informatique formelle Technologies
Domain Name Services
Digital Ocean DNS
Hosting
DigitalOcean