Carsten Sinz (Preferred)
Carsten Sinz
Full Professor, IWI, Fachhochschule Karlsruhe, Hochschule für Technik
Joined
September 2023
Names
Emails
****@h-ka.de (Confirmed)
Personal Links
Career & Education History
Full Professor
IWI, Fachhochschule Karlsruhe, Hochschule für Technik (fh-karlsruhe.de)
2022 – Present
Associate Professor
ITI, Karlsruher Institut für Technologie (kit.edu)
2018 – 2022
Principal Researcher
ITI, Karlsruher Institut für Technologie (kit.edu)
2008 – 2017
Postdoc
WSI, Eberhard-Karls-Universität Tübingen (uni-tuebingen.de)
2006 – 2007
Postdoc
Formal Models and Verification, Johannes Kepler Universität Linz (jku.at)
2005 – 2006
PhD student
WSI, Eberhard-Karls-Universität Tübingen (uni-tuebingen.de)
1999 – 2003
Advisors, Relations & Conflicts
PhD Advisor
Wolfgang Küchlin
1999 – 2003
Expertise
Publications
Co-Authors
- Adrian Balint
- Albert Haag
- Alexander Kaiser
- Amir Khosravizadeh
- Andreas Kaiser
- Anton Belov
- Armin Biere
- Ashlin Iser
- Barry O'Sullivan
- Bernhard Beckert
- Christian Federspiel
- Christoph M. Wintersteiger
- Daniel Bischoff
- Daniel Kroening
- Daniel Kröning
- Daniel Naus
- David Faragó
- Deepak Dhungana
- Deepak Kapur
- Dieter Feichtinger
- Edda-Maria Dieringer
- Edoardo Manino
- Eray Gençay
- Eric Sax
- Esther M. Gelle