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

Until November 2012, I was 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.

Papers

Ken Madlener, Sjaak Smetsers and Marko van Eekelen. Modular Bialgebraic Semantics and Algebraic Laws.
17th Brazilian Symposium on Programming Languages (SBLP 2013),
Lecture Notes in Computer Science 8129, pp. 46-60, Springer, 2013.

Ken Madlener and Sjaak Smetsers. GSOS Formalized in Coq.
7th International Symposium on Theoretical Aspects of Software Engineering (TASE 2013),
IEEE, pp. 199-206, 2013.
homepage

Ken Madlener, Sjaak Smetsers and Marko van Eekelen. Formal Component-Based Semantics.
Structural Operational Semantics 2011 (SOS 2011),
Electronic Proceedings in Theoretical Computer Science 62, pp. 17-29, 2011. link.
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, sources.

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.