Sylvain Hallé

Sylvain Hallé Email and Phone Number

Full Professor at Université du Québec à Chicoutimi @ Université du Québec à Chicoutimi
Sylvain Hallé's Location
Chicoutimi, Quebec, Canada, Canada
About Sylvain Hallé

Full professor in the Department of Computer Science and Mathematics; Canada Research Chair (Tier 2) on Software Specification, Testing and Verification. Underground mathematician with an interest in applications of logic and formal methods to everything.Specialties: software testing, web applications, formal methods, model checking, computer networks, logic, runtime verification, event stream processing

Sylvain Hallé's Current Company Details
Université du Québec à Chicoutimi

Université Du Québec À Chicoutimi

View
Full Professor at Université du Québec à Chicoutimi
Sylvain Hallé Work Experience Details
  • Laboratoire D'Informatique Formelle
    Head
    Laboratoire D'Informatique Formelle Jan 2012 - Present
    Chicoutimi, Canada
    LIF is a research lab within Université du Québec à Chicoutimi (UQAC), which I co-founded and am currently heading
  • Université Du Québec À Chicoutimi
    Full Professor
    Université Du Québec À Chicoutimi Jan 2010 - Present
    Chicoutimi, Qc, Canada
    View
  • University Of California Santa Barbara
    Postdoctoral Research Fellow
    University Of California Santa Barbara Sep 2008 - Jan 2010
    View
  • Université Laval
    Production Director, Sciences And Mathematics In Action (Smac) Project
    Université Laval Jan 2005 - Aug 2008
    View
  • Université Du Québec À Montréal
    Lecturer
    Université Du Québec À Montréal Aug 2006 - Dec 2006
    View
  • Université Du Québec À Montréal
    Research And Teaching Assistant
    Université Du Québec À Montréal Jun 2004 - Dec 2005
    View
  • Les Éditions Le Griffon D'Argile
    Translator And Proof Reader
    Les Éditions Le Griffon D'Argile Sep 2001 - Sep 2002
  • Université Laval
    Research And Teaching Assistant
    Université Laval May 2000 - Aug 2002
    View

Sylvain Hallé Skills

Computer Science Xml Software Engineering Web Services Mysql Algorithms Ajax C++ Java Latex Artificial Intelligence Formal Methods Sql Programming Model Checking C Linux Research

Sylvain Hallé Education Details

Frequently Asked Questions about Sylvain Hallé

What company does Sylvain Hallé work for?

Sylvain Hallé works for Université Du Québec À Chicoutimi

What is Sylvain Hallé's role at the current company?

Sylvain Hallé's current role is Full Professor at Université du Québec à Chicoutimi.

What schools did Sylvain Hallé attend?

Sylvain Hallé attended Uqam | Université Du Québec À Montréal, Uqam | Université Du Québec À Montréal, Université Laval, Collège De Lévis.

What skills is Sylvain Hallé known for?

Sylvain Hallé has skills like Computer Science, Xml, Software Engineering, Web Services, Mysql, Algorithms, Ajax, C++, Java, Latex, Artificial Intelligence, Formal Methods.

Not the Sylvain Hallé you were looking for?

View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.