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


  • Steven Keuchel

    Vrije Universiteit Brussel
    Department of Computer Science

    Pleinlaan 2
    1050 Elsene

  • Office: 10F722
  • steven [dot] keuchel [at] vub [dot] be