AST 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Sylvain Hallé

Registered user since Fri 9 Jun 2017

Name:Sylvain Hallé
Bio:

I am currently the Canada Research Chair in Software Specification, Testing and Verification at Université du Québec à Chicoutimi, Canada, and head of the Formal Computer Science Laboratory (LIF). My research concentrates on automated verification. Current projects include the runtime monitoring of video games, the detection of configuration errors in network devices and the enforcement of navigation sequences in web applications. I also do a bit of databases and computer security. I applied my knowledge in development or consulting projects with Ericsson Canada, Hydro-Québec, Solutions TLM, BlooBuzz, Novum Solutions and Cisco Systems. Among recent distinctions I received, I earned seven Best Paper Awards in international conferences. I am a double recipient of the Governor General’s Academic Medal. I am also a Senior Member of both IEEE and ACM.

Country:Canada
Affiliation:Université du Québec à Chicoutimi
Research interests:Software Testing, Formal Methods, Runtime Verification, Event Stream Processing

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile