Dr. Carsten Sinz

Assistant

Carsten Sinz obtained a doctorate degree from University Tübingen in December 2003. He has been working in the Symbolic Computation Group under the guidance of Prof. W. Küchlin.

Since June 2005 Carsten Sinz is a member of FMV at the Johannes Kepler University in Linz. His main research interests are in SAT-Solving and in Product Configuration.

Office

TNF Tower, 7th Floor, North-West Wing
+43 732 2468 8894 (phone)
Room T0758

Contact

carsten.sinz@jku.at
http://fmv.jku.at/sinz
http://www.carstensinz.de
+43 732 2468 8893 (fax)

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria