Name:   Benjamin Kaufmann Position:   Postdoctoral researcher Knowledge Processing and Information systems University of Potsdam Address:   Dr. Benjamin Kaufmann Universität Potsdam Institut für Informatik August-Bebel-Straße 89 D-14482 Potsdam Germany Office:   03.04.02.10 Phone:   +49-331-977-3084 Mail:   kaufmann[at]cs[dot]uni[dash]potsdam[dot]de

Research Interests & Projects

• My main research area is Answer Set Programming, or more generally, the design and implementation of efficient search-based reasoning and optimization techniques for ASP, Boolean satisfiability, and related approaches.
• I'm a member of the Potassco (Potsdam Answer Set Solving Collection) project.
  In particular, I'm the lead developer of clasp, Potassco's award-winning answer set solver for (extended) normal logic programs.
• My research interests also include concurrent programming and multiprocessor systems.

Selected Publications

• TBD. For now check out my DBLP entry