My research interests lie in formal verification, model checking and concurrency.
Publications
I have no publications yet, but stay tuned!
My research interests lie in formal verification, model checking and concurrency.
I have no publications yet, but stay tuned!