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 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.
Company Details
- Employees
- 4
- Founded
- -
- Address
- Département D'informatique Et De Mathématique, 555,boul. De L'université,canada
- Industry
- Research Services
- NAICS
-
Scientific Research and Development ServicesResearch and Development in the Physical, Engineering, and Life SciencesResearch and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Website
- liflab.ca
- Keywords
- computer science, software testing, computer security, formal methods, software verification, event stream processing.
- HQ
- Chicoutimi, Québec
Laboratoire D'informatique Formelle Questions
Laboratoire D'Informatique Formelle's website is liflab.ca
Laboratoire D'Informatique Formelle's LinkedIn profile is https://ca.linkedin.com/company/laboratoire-d'informatique-formelle
Laboratoire D'Informatique Formelle has
4 employees.
View email and phone details for 4
employees at Laboratoire D'Informatique Formelle.
Laboratoire D'Informatique Formelle's industry is
Research Services
Laboratoire D'Informatique Formelle's top competitors are
Mistral Ai,
Openai,
Ubs,
Jobs Via Dice,
Google,
Tesla,
Innovate Tax,
Tesla,
Giac Certifications,
Microsoft.
Laboratoire D'Informatique Formelle's categories are Research Services
Laboratoire D'Informatique Formelle's founding year is 2012
