Homepage

Daniel Wand

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

Email: Get my email address via email
Phone: +49 681 9325 2926
Fax: +49 681 9325 999

Research Interests

Automation of Theorem Proving

Publications

More SPASS with Isabelle — Superposition with hardsorts and configurable simplification
Jasmin Cristian Blanchette, Andrei Popescu, Daniel Wand, and Christoph Weidenbach. Accepted at Third International Conference on Interactive Theorem Proving (ITP 2012).
Submitted draft (PDF)

Teaching

I have been TA for Programmierung 1, Programmierung 2 and Grundzüge von Datenstrukturen und Algorithmen

Recent Positions

I was an elected student member of the faculty council of the Saarland University's faculty 6 (Mathematics and Computer Science Faculty) from 2008 until 2011

Homepage

Daniel Wand

Research Interests

Publications

Teaching

Recent Positions

Education

Links

Private

Hobbies