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!