Petr Illner

PhD student, Department of Theoretical Computer Science and Mathematical Logic, Charles University Prague

  • Joined July 2024

Names

Petr Illner (Preferred)

Emails

****@ktiml.mff.cuni.cz (Confirmed)
,
****@gmail.com (Confirmed)

Personal Links

Career & Education History

PhD student
Department of Theoretical Computer Science and Mathematical Logic, Charles University Prague (cuni.cz)
2022 – Present
 

Advisors, Relations & Conflicts

PhD Advisor
2022 – Present
 

Expertise

Model counting
2024 – Present
 
Knowledge compilation
2022 – Present