Dennis Walter

I am a PhD student in Computer Science at Chalmers University. My supervisor is Reiner Hähnle. My scientific interests center around formal verification and correctness of software, in particular static analysis (cast in the framework of abstract interpretation) and program logics. I am working on the integration of these techniques within the Mobius project which is supported by the European Commission.

Contact

Publications

• Dennis Walter, Lutz Schröder, and Till Mossakowski (2005). Parametrized Exceptions. In Jose Fiadeiro, Jan Rutten (Eds.), Algebra and Coalgebra in Computer Science, Lecture Notes in Computer Science. Springer, Berlin. pdf