Guest Professorship at the University of Debrecen
Debrecen, Hungary, October 2015. Course Formal Methods in Software Development.
Guest Professorship at the University of Debrecen
Debrecen, Hungary, February 2012. Course Formal Methods for Concurrent Systems.
Guest Professorship at the University of Debrecen
Debrecen, Hungary, February 2011. Course Formal Methods for Distributed Systems.
Guest Professorship at the University of Debrecen
Debrecen, Hungary, September 2009. Course Formal Methods for Distributed Systems.
Guest Professorship at the University of Debrecen
Debrecen, Hungary, September 2007. Course Formal Methods for Distributed Systems.
Participation in the NATO Advanced Research Workshop on Verification of
Infinite-State Systems with Applications to Security (VISSAS 2005)
Timisoara, Romania, March 17–22, 2005.
Invited Research Visit in Tsukuba
Symbolic Computation Research Group (SCORE), Institute of Information Sciences and
Electronics, University of Tsukuba, Japan, July 21–28, 2001.
Research Visit in Edinburgh
Edinburgh Parallel Computing Center and Heriot-Watt University, Department of
Computing and Electrical Engineering, Edinburgh, UK, September 18 – October 22,
2000.
Summer School Participation International Summer School on Calculational System
Design
Advanced Study Institute, Marktoberdorf, Germany, July 28–April 9, 1998.
Seminar Participation Team Building — Model Construction.
Department for Executive Methods, Austrian Military NCO Academy, St. Oswald,
Austria, October 1995.
Seminar Participation Executive Guidelines for Coworker Motivation. Department for Executive Methods, Austrian Military NCO Academy, St. Oswald, Austria, April 1995.
Seminar Participation Visions for the Future.
Department for Executive Methods, Austrian Military NCO Academy, St. Oswald,
Austria, February 1995.
Research Visit in Copenhagen
Department of Computer Science (DIKU), University of Copenhagen, June 30 – July 7,
1993.