Friedrich Slivovsky

Pronouns: he/him

Lecturer, Computer Science, University of Liverpool

  • Joined July 2019

Names

Friedrich Slivovsky (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@liverpool.ac.uk (Confirmed)

Personal Links

Career & Education History

Lecturer
Computer Science, University of Liverpool (liverpool.ac.uk)
2023 – Present
 

Advisors, Relations & Conflicts

PhD Advisor
2011 – 2015
 

Expertise

Automated Reasoning
2011 – Present
 
Satisfiability
2011 – Present
 
Quantified Boolean Formulas
2011 – Present
 
Knowledge Compilation
2014 – 2020