My research interests lie in formal verification, model checking and concurrency.

Publications

I have no publications yet, but stay tuned!