Carsten Sinz

Time 2022-08-23 10:31:03

Web Name: Carsten Sinz

WebSite: http://www.carstensinz.de

ID:289397

Keywords:

Carsten,Sinz

Description:

Carsten
Sinz

Welcome
Projects
Publications
Activities
Talks
Software
CV
Links

Carsten Sinz

Welcome to my Web Page!

I am a computer scientist currently acting as head of the research group"Verification meets Algorithm Engineering" at theInstitute for Theoretical Computer Scienceof Karlsruhe Institute of Technology, Germany.Before that, I have been a member of the Symbolic Comptuation Group at the University of Tübingen, Germanyand the Institute for Formal Models and Verification at theJohannes Kepler University Linz, Austria.I studied computer science and physics at the Eberhard Karls University Tübingen, Germany, whereI gratuated with a PhD (Dr. rer. nat.) in computer science.

My professional interests include SAT Solving (especially industrial applications, parallel SAT algorithms, and visualization of SAT instances),Product Configuration (modeling and verification issues), and Software Verification (bounded model checking).

Over the last years, I have also been working on different industry projects onsoftware verification and product configuration with DaimlerChrysler, IBM,Siemens, and T-Systems.

Contact

Work Address:

Private Address:

Am Fasanengarten 5
D-76131 Karlsruhe
Germany

Phone: +49 (721) 608-4212
Fax: +49 (721) 608-4211
Email:

Dieselstraße 76
D-76275 Ettlingen
Germany

Email:

TAGS:Carsten Sinz

<<< Thank you for your visit >>>

Hot Websites