Jan Jakubův

This is the homepage of Jan Jakubův, a former PhD student in the School of Mathematical and Computer Sciences at Heriot-Watt University in Edinburgh, starting from February 2007 (finished October 2010). His supervisors were Dr. J. B. Wells and Prof. Fairouz Kamareddine of the ULTRA group. He was working on the Poly* project.

CV is available here.

Contact

email

jj36 <at> macs.hw.ac.uk

Research

PhD Thesis

• Jan Jakubův: Generic Process Shape Types and the Poly* System. PhD Thesis, Heriot-Watt University, October 2010.

Conference Papers

• Jan Jakubův, J. B. Wells: Expressiveness of Generic Process Shape Types. (alternative arxiv.org version)
  In: Wirsing, Martin and Hofmann, Martin and Rauschmayer, Axel (eds.) TGC 2010. LNCS vol. 6084, pp. 103-119. Springer, Heidelberg (2010)

Reports

• Jan Jakubův, J. B. Wells: The Expressiveness of Generic Process Shape Types.
  Technical Report TR-HW-MACS-0069, Heriot-Watt University, July 2009.
• Jan Jakubův: A Second Year Report. Heriot-Watt University, March 2008. (pdf 356K)
  presentation (pdf 264K)
• Jan Jakubův: A First Year Report. Heriot-Watt University, March 2007. (pdf 356K)
  presentation (pdf 416K), longer presentation (pdf 836K)

Presentations

• Meta*, Poly*, and Comparison to Related Systems. A presentation at the MACS PhD seminar, March 2009. (pdf 387K)
  
• Introduction to Process Calculi and to the Poly* System. A presentation at the MACS PhD seminar, September 2008. (pdf 1.3M)

Links

• photo gallery
• list of conferences
• list of journals
• The Heriot-Watt University PhD Thesis LaTeX class file
• [private, pi, rec]