Inaugural lecture
Tutorials
- A crash course on Gödel's incompleteness theorems
- A crash course on quantum computing
- The spirit of multicore computing
1st IPM Advanced School on Computing: Formal Methods for Design and Analysis of Computer Systems, Tehran, January 2016
- Protocol verification with μCRL
3rd Summer School on Verification Technology, Systems & Applications, Luxembourg, September 2010
- Process algebra: An algebraic theory of concurrency
CAI'09, Thessaloniki, May 2009
- The spirit of distributed computing
IPM/UNU Winter School on Foundations and Trends in Computer Science, Tehran, February 2008
- Real-time embedded systems
4th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, Bertinoro, September 2004
- Protocol verification using process algebra
UNU/IIST Summer School on Methods and Tools for High Quality Software Development, Zhengzhou, August 2004
Keynotes
- Putting supervisory control synthesis to work
FACS'19, Amsterdam, October 2019
- On Milner's axiomatization for regular expressions in bisimulation semantics
EXPRESS/SOS'18, Beijing, September 2018
- Why modal characterizations of process semantics totally rock
EXPRESS/SOS'11, Aachen, September 2011
- What can formal methods bring to systems biology?
FM'09, Eindhoven, November 2009
- Oh mega completeness
FoSSaCS'06, Vienna, March 2006
- Refinement and verification applied to an in-flight data acquisition unit
CONCUR'02, Brno, August 2002
- Verification of interlockings: From control tables to ladder logic diagrams
FMICS'98, Amsterdam, May 1998
Research presentations
- Efficient computation of anonymous ring size
Workshop on the occasion of Catuscia Palamidessi's 60th birthday, Paris, November 2019
- Precongruence formats with lookahead through modal decomposition
CSL'17, Stockholm, August 2017
- It's a wonderful lift: Get axiomatizability results for weak or timed settings for free
Workshop on Open Problems in Concurrency Theory, Bertinoro, June 2014
- Embedded network protocols for mobile devices
FMICS'10, Antwerp, September 2010
- Mechanical verification of a two-way sliding window protocol
CPA'08, York, September 2008
- Leader election for anonymous networks
Seminar and Group Skills Seminar, Leicester, February 2008
- Leader election for anonymous networks
Workshop on Two Decades of Probabilistic Verification — Reflections and Perspectives, Leiden, November 2007
- Adapting the UPPAAL model of a distributed lift system
FSEN'07, Tehran, April 2007
- Cones and foci: A mechanical framework for protocol verification
Workshop on Emerging Trends in Concurrency Theory, Paris, November 2006
- In your car and at the loo, Big Brother will be watching you
From BRICKS to Buildings Symposium, Amsterdam, June 2006
- Bisimilarity is not finitely based over BPA with interrupt
CALCO'05, Swansea, September 2005
- On finite alphabets and infinite bases: From ready pairs to possible worlds
FoSSaCS'04, Barcelona, April 2004