• Project Assistant, Dipl.-Ing.
• TU Wien
• Algorithms and Complexity Group
• Favoritenstraße 9–11
• 1040 Wien
• Austria

---

• Room: HA 04 06
• Email: freichl [at] ac.tuwien.ac.at

---

Research Interests

• Quantified Boolean Formulae (QBF)
• Dependency Quantified Boolean Formulae (DQBF)
• Proof Complexity

 

---

Current Position

• I am a PhD student in the Doctoral College Logical Methods in Computer Science
• Under the supervision of Friedrich Slivovsky
• Supported by FWF (W1255) and by the WWTF (project ICT19-060)
• Part of the Algorithms and Complexity Group

---

Education

• Dipl.-Ing. (equivalent to MSc) in Computer Mathematics (Johannes Kepler University Linz)
• BSc in Technical Mathematics (Johannes Kepler University Linz)