About Me
I'm a Postdoc with the Institute for Complex Systems at the
Johannes Kepler University in Linz, Austria.
My interests include (formal) hardware verification, computer architecture, open-source EDA tools,
and fun stuff with SMT solvers.