Our Team
BeepBeep was developed through the research done at LIF, the Formal Computer Science Laboratory in Université du Québec à Chicoutimi, Canada. BeepBeep's development is part of the activities of the Canada Research Chair on Software Specification, Testing and Verification.
Pr. Sylvain Hallé
Associate professor, UQAC
Canada Research Chair
Pr. Raphaël Khoury
Assistant professor, UQAC
Quentin Betti
PhD Student, UQAC
