Ken Madlener

Faculty of Science
Heyendaalseweg 135
6525 AJ Nijmegen
the Netherlands

Room HG02.066

Phone +31 24 3652672

k.madl[COQ]ener@cs.ru.nl (remove [COQ])

About myself

I am a PhD student under the supervision of prof.dr. Marko van Eekelen and dr. Sjaak Smetsers.
My main research interests are formal verification of software and theorem proving.

Publications

Ken Madlener, Sjaak Smetsers and Marko van Eekelen. Formal Component-Based Semantics.
Structural Operational Semantics 2011 (SOS 2011), held at CONCUR 2011. Electronic Proceedings in Theoretical Computer Science 62, pp. 17-29, 2011. link, slides.
homepage

Alejandro Tamalet and Ken Madlener. Reasoning about Assignments in Recursive Data Structures.
13th Brazilian Symposium on Formal Methods (SBMF 2010), Lecture Notes in Computer Science 6527, Springer, pp. 161-176, 2011. link.

Ken Madlener, Sjaak Smetsers and Marko van Eekelen. A Formal Verification Study on the Rotterdam Storm Surge Barrier.
12th International Conference on Formal Engineering Methods (ICFEM 2010), Lecture Notes in Computer Science 6447, Springer, pp. 287-302, 2010. link.

Talks

Formal Component-Based Semantics.
3rd Coq workshop, held at ITP 2011, August 26th, Nijmegen, the Netherlands. slides.

Modular Lightweight Semantics.
MoVES-Verif workshop, held at ASE 2010, September 21st, Antwerp, Belgium.

Teaching

Mathematics for first year students of Computer Science (Spring 2011). link.

Mathematics for first year students of Computer Science (Spring 2010). link.

Mathematics for HBO students (Fall 2008). link.