Sean Sedwards

I am currently an assistant professor at the University of Waterloo in Canada, working on safety and formal verifcation of autonomous vehicles and cyber-physical systems.
I was recently working as a researcher on the ERATO Metamathematics for Systems Design (MMSD) project at the Japanese National Institute of Informatics (NII) in Tokyo.
Prior to that I was an Ingénieur Expert de Recherche at INRIA Rennes – Bretagne Atlantique,
working in the TAMIS and ESTASYS groups.

Research interests

• Lightweight and scalable formal verification of complex systems (e.g. SMC)
• High performance and embedded formal verification techniques (e.g. GPGPU, FPGA)
• Scalable formal verification of real time and nondeterministic systems (e.g. PTA, MDP)
• Detecting and quantifying rare events (e.g. importance sampling and splitting)
• Statistical and frequency domain analysis and abstraction of systems
• High performance simulation

• Emergent phenomena in complex natural and man-made systems
• The influence of cooperation in the evolution of structured populations
• Epithelial tissue growth as game-dependent transformations of planar graphs

Publications

List of PUBLICATIONS

Software

PLASMA – Platform for Learning and Advanced Statistical Model checking Algorithms

APPLET for "Prosperity is associated with instability in dynamical networks"

APPLET – stochastic simulator of membrane systems with peripheral & integral proteins

Contact Info

E-mail sean<dot>sedwards<at>uwaterloo<dot>ca Telephone +1-519-888-4567 Ext 39309 Fax (public) +1-519-746-5036

Physical Office DC-1336 Institute of Computer Research University of Waterloo 200 University Drive West Waterloo Ontario N2L 3G1 Canada