Home

Committees

Call for Papers

Submission

Tutorials

Workshop

Program

---

Activities

Invited Speakers

Venue

Transportation

Hotels

Enjoy the area!

Weather

Contact

Invited Speakers

Daniel Jackson, MIT, USA

Daniel Jackson is Professor of Computer Science at the Massachusetts Institute of Technology. He is the lead designer of the Alloy modelling language, author of "Software Abstractions: Logic, Language, and Analysis" (MIT Press, 2006), and was chair of a study entitled "Software for Dependable Systems: Sufficient Evidence?" (National Academies, May 2007).

Sofiène Tahar, Concordia University, Canada

Sofiène Tahar is founder and director of the Hardware Verification Group at Concordia University. He has made contributions and published papers in the areas of formal hardware verification, microprocessor and system-on-chip verification, analog and mixed signal circuits verification, VLSI design automation, and formal probabilistic, statistical and reliability analysis of systems. Many of his research projects were carried out in partnership with EDA and Electronics industry in North America and Asia. He is the Concordia University Research Chair in Formal Verification of System-on-Chip.