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.

QBF p-simulation structure

Research interests

  • Quantified Boolean Formulas (QBFs)
  • Proof Complexity
  • Certification
  • Model Counting
  • PSPACE languages
  • Certification of AI-logics

Events

QBF Workshop 2025. Now accepting abstract submissions.

Grants and Funding

EPSRC Postdoctoral Prize Research Fellowship. University of Leeds (2017-2019)

ESPRIT Grant ESP 197 QBF Proofs and Certificates: Principal Investigator. TU Wien(2022-2025)

Software and Tools

  • Expansion-based Quantified Integer Programming Solver (EQuIPS)
  • DRAT proof generators for random parity (rParSort)
  • Round-based strategy extraction tool (rbse)

Publications

see the personal webpage for a full list of publications