This is the homepage of Kristofer Johannisson, postdoc in the Calligramme team at INRIA, Nancy.

Reaching me:

Research

• PhD Thesis (defended June 1:st, 2005): Formal and Informal Software Specifications.
• The paper "Formalizing the Halting Problem in a Constructive Type Theory", published in the Proceedings of TYPES'00, LNCS 2277. Abstract and proofs in Agda are available.
  
• For the Winter Meeting in 2001 I worked on the paper "Formal Verification of Multilingual Instructions" together with Aarne Ranta. Available as a Postscript file.
  
• Using GF for informal and formal requirements specifications.
  
• GF Gramlets, e.g. compiling GF grammars into stand-alone Java applets.
  

Publications

• K. Johannisson. "Formalizing the Halting Problem in a Constructive Type Theory". Proceedings of TYPES'00, LNCS 2277.
• R. Hähnle, K. Johannisson, and A. Ranta. "An Authoring Tool for Informal and Formal Requirements Specifications". In ETAPS/FASE-2002: Fundamental Approaches to Software Engineering, ed. by R. D. Kutsche and H. Weber, Springer LNCS, vol. 2306, pp. 233-248, 2002.
• D. A. Burke and K. Johannisson. "Translating Formal Software Specifications to Natural Language / A Grammar-Based Approach". In Logical Aspects of Computational Linguistics (LACL 2005), ed. by P. Blace, E. Stabler, J. Busquets and R. Moot, Springer LNAI 3402, pp. 51-66, 2005.
• K. Johannisson. "Disambiguating Implicit Constructions in OCL", accepted to OCL and Model Driven Engineering Workshop, Lisbon 2004.

Last update: 2005-09-30