New FWF ESPRIT Postdocs
Leroy Chew and Alexis de Colnet just joined the Algorithms and Complexity group as PIs of their own FWF ESPRIT Projects:
- QBF Proofs and Certificates (FWF ESP 197, PI: Leroy Chew)
- Overcoming Intractability in the Knowledge Compilation Map (FWF ESP 235, PI: Alexis de Colnet)
Congratulations to Leroy and Alexis for winning these competitively awarded project grants!