~krijo

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
~krijo

Kristofer Johannisson

I am a PhD-student at the Department of Computing Science, Chalmers / Göteborg University.

Reaching me

Office in the EDIT-building: 6122
E-mail: krijo@cs.chalmers.se

More details at the home page of the department and in the list of people at the department.

Research

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.
A tool for typechecking and annotating OCL.

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". Accepted for publication in proceedings of LACL'05, which will be the first volume of the new FoLLI/LNAI series.

K. Johannisson. "Disambiguating Implicit Constructions in OCL", accepted to OCL and Model Driven Engineering Workshop, Lisbon 2004.