I am a PhD student at Chalmers University of Technology, adviced by Magnus Myreen, working in interactive theorem proving (HOL4, to be precise) and hardware verification.
“Verified Compilation on a Verified Processor” at PLDI'19, by Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, and Anthony Fox. To appear.
“A Proof-Producing Translator for Verilog Development in HOL” at FormaliSE'19, by Andreas Lööw and Magnus O. Myreen. To appear.
Office: Rännvägen 6B, EDIT building, room 5461 (5th floor)
Teaching assistant for:
Other places: GitHub and LinkedIn