Homepage

Patrick Wischnewski

Max-Planck-Institut für Informatik
Research Group 1: Automation of Logic
Building E1 4, Room 614
Campus E1 4
66123 Saarbrücken
Germany

Email: Get my email address via email
Phone: +49 681 9325 NNN
Fax: +49 681 9325 999
PGP ID: 0xSOME_PGP_HEX_CODE

Research Interests

• Automated Theorem Proving
• Decision Procedures
• Reasoning in Ontologies
• Reasoning under uncertainty

Education

• November 2007 - present:
  Ph. D. student in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany and the Max-Planck-Institut für Informatik
  Supervisor: Prof. Dr. Christoph Weidenbach
  
  
• 2007 Master of Computer Science at the Universität des Saarlandes, Saarbrücken, Germany
  Title of Master's Thesis: Contextual Rewriting in SPASS (Supervisor: Priv.-Doz. Dr. Christoph Weidenbach) (PDF, PS)
  
  
• 2006 Bachelor of Computer Science at the Universität des Saarlandes, Saarbrücken, Germany
  Title of Bachelors's Thesis: SBDD - Representing Sets of Boolean Functions (Supervisor: Prof. Bernd Finkbeiner, PhD ) (PDF)

• Patrick Wischnewski:
• Research Interests
• Education