About me
I’m a post-doctoral researcher in the Software Languages Lab at Department of Computer Science of the Vrije Universiteit Brussels where I work with prof. dr. ir. Dominique Devriese on mechanized verification of security properties of instruction sets of capability machines. Previously I was working 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
Vrije Universiteit Brussel
Department of Computer SciencePleinlaan 2
1050 Elsene
Belgium- Office: 10F722
- steven [dot] keuchel [at] vub [dot] be