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

Contact Us

Laboratoire d'informatique formelle
Université du Québec à Chicoutimi
Chicoutimi, Québec, Canada

Web: liflab.ca

Laboratoire d'informatique formelle