Leroy Chew
Address:
Leroy Chew
Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
1040 Wien
Austria
| Room: | HB0416 |
| Phone: | +43(1)58801–192147 |
| Email: | lchew@ac.tuwien.ac.at |
| Web: | http://www.ac.tuwien.ac.at/people/lchew/ |
Background
Leroy Chew previously studied at the University of Cambridge with a Bachelor of Arts in Mathematics and completed an MSc, PhD and a EPSRC Prize Fellowship at the University of Leeds working with Olaf Beyersdorff. He also worked as a postdoc on SAT solving and Verification with Marijn Heule at Carnegie Mellon University, PA, USA.
Research interests
- Quantified Boolean Formulas (QBFs)
- Proof Complexity
- Certification
- Model Counting
- PSPACE languages
- Certification of AI-logics
Grants and Funding
EPSRC Postdoctoral Prize Research Fellowship. University of Leeds (2017-2019)
ESPRIT Grant ESP 197N QBF Proofs and Certificates: Principal Investigator. TU Wien(2022-2025)
