Dirk Hoffmann
Dirk W. Hoffmann (* 1972 in Frankenthal ) is a German computer scientist . Since 2004 he has been a professor at the Faculty of Computer Science at the University of Karlsruhe .
Life
Hoffmann finished his computer science studies at the University of Karlsruhe in 1997 . In 2001 he received his doctorate from the University of Tübingen . Before he was appointed to Karlsruhe University of Applied Sciences, he worked as a developer for Synopsys and Robert Bosch .
Books
- Forcing: An Introduction to the Mathematics of Proofs of Independence. , Books on Demand, Norderstedt 2018, ISBN 978-3-746-04460-6 .
- Einstein's theory of relativity. A guided journey through space, time and the history of physics. , Books on Demand, Norderstedt 2015, ISBN 978-3-738-61578-4 .
- Introduction to the special theory of relativity. , Books on Demand, Norderstedt 2015, ISBN 978-3-738-65807-1 .
- Introduction to information and coding theory. , Springer Vieweg, Heidelberg 2014, ISBN 978-3-64-254002-8 .
- Gödel's incompleteness theorems. Spectrum - Akademischer Verlag, Heidelberg 2012, ISBN 978-3-82-742999-5 .
- Limits of Mathematics. A journey through the core areas of mathematical logic. Spectrum - Akademischer Verlag, Heidelberg 2012, ISBN 978-3-642-34719-1 .
- Theoretical Computer Science , Carl Hanser Fachbuchverlag, Munich 2011, ISBN 978-3-446-42639-9 .
- Software quality , Springer Vieweg, Heidelberg 2013, ISBN 978-3-642-35699-5 , doi : 10.1007 / 978-3-642-35700-8 .
- Basics of technical computer science. , Carl Hanser Fachbuchverlag, Munich 2007, ISBN 978-3-446-40691-9 .
Web links
personal data | |
---|---|
SURNAME | Hoffmann, Dirk |
ALTERNATIVE NAMES | Hoffmann, Dirk W. |
BRIEF DESCRIPTION | German computer scientist |
DATE OF BIRTH | 1972 |
PLACE OF BIRTH | Frankenthal (Palatinate) |