Portfolio Prof. Dr. Michael Kaufmann

Person data

Academic title:
Prof. Dr.
Name:
Michael Kaufmann
Organizational units:
Faculty of Science
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics

Contact data

Research focus

Research in the Algorithmics group headed by Michael Kaufmann focuses on topics related to algorithmics.  

In addition to basic research on graphs and network analysis, the group is concerned with the development of network layout algorithms. Theoretical work provides the basis for the development of tools for visualization of networks in areas such as software or business processes, or for visualization of technical and biological networks.  

The group’s applied work includes the Algorithm Engineering für SAT-Solver (Algorithm Engineering for SAT solvers) project in which we develop algorithms to improve the performance of SAT solvers for complex industrial problems. Other algorithmic topics to which we contribute are related to bioinformatics, algorithmic geometry, and of course parallelism.

Projects

2018 - 2020
Michael Kaufmann
Deutscher Akademischer Austauschdienst e.V. (DAAD)
2018 - 2019
Michael Kaufmann
Deutsche Forschungsgemeinschaft e.V. (DFG)
2018 - 2020
Michael Kaufmann
Deutsche Forschungsgemeinschaft e.V. (DFG)
2014 - 2017
Michael Kaufmann
Deutsche Forschungsgemeinschaft e.V. (DFG)

Cooperations

University of Waterloo (UW)
Waterloo, Ontario, Canada
University of Sydney
Sydney, New South Wales, Australia
University of Arizona
Tucson, Arizona, United States of America
Università degli Studi di Perugia
Perugia, Umbrien, Italy
National Technical University of Athens
Athen, Attika, Greece

Publications

Help

will be deleted permanently. This cannot be undone.