- Project Assistant, MEng
- Johannes Kepler University Linz
- Institute for Formal Models and Verification
- Altenbergerstr. 69
- 4040 Linz
- Austria
- Room: Science Park 3
- Email: zhengqi.yu [at] jku.at
Research Interests
- Formal Verification
- Model Checking
- Artificial Intelligence
Current Position
- I am a PhD student fully funded in the Doctoral College Logical Methods in Computer Science. I started my PhD studies in February 2019 under the supervision of Prof. Armin Biere.
Education
- MEng in Computing with First Class Honours, Imperial College London, UK
- A-levels at Concord College, Shrewsbury, UK