About me
I’m a post-doctoral researcher in the DistriNet Research Unit at the Department of Computer Science of the KU Leuven where I work with prof. dr. Dominique Devriese on mechanized verification of security properties of instruction sets of capability machines. Previously I was working at Vrije Universiteit Brussels as a post-doc and guest professor, and at Universiteit Gent, where I obtained my Ph.D. under the supervision of prof. dr. ir. Tom Schrijvers
Research Interests
I want to make software concise, elegant and correct by construction. To achieve this, I want to help develop methods and tools. Specific topics that interest me on my journey are: programming languages, functional programming, dependent types, generic programs and proofs, proof-carrying code, compilers and theorem provers.
Recent Publications
Reusability for Mechanized Meta-Theory [pdf]
Steven Keuchel.
Ph.D. thesis, Doctor of Computer Science, Universiteit Gent, 2018
This thesis investigates code reuse as a means to reduce costs of programming language meta-theory mechanizations, specifically principled reuse via modularity and genericity. Read more
Modular fully-abstract compilation by approximate back-translation [pdf] [bib]
Dominique Devriese, Marco Patrignani, Frank Piessens and Steven Keuchel.
Published in Logical Methods in Computer Science, Volume 13, Issue 4, 2017
A common technique to proof compiler full-abstraction is based on the back-translation of target-level program contexts to behaviourally-equivalent source-level contexts. However, constructing such a backtranslation is problematic when the source language is not strong enough to embed an encoding of the target language. We propose a general and elegant solution for this problem. Read more
Contact
Steven Keuchel
DistriNet Research Unit Department of Computer Science Celestijnenlaan 200A - bus 2402 B-3001 Heverlee, BELGIUM
- Office: 03.127
- steven [dot] keuchel [at] [kay][you]leuven [dot] be