I am a former applied scientist (Amazon Web Services). My research interests are in automated reasoning and satisfiability solving.
From January 2019 to October 2022, I was a researcher in Clark Barrett's group in the Computer Science Department at Stanford University . My position is part of the POSH Upscale project , which has the goal to develop tools and techniques for verifying and evaluating open-source hardware.
From June 2012 to September 2018 I was a postdoctoral researcher in the Knowledge-Based Systems Group (KBS) within the Institute of Logic and Computation at TU Wien, Austria. My position was part of the RiSE national research network.