If you need more lookups,
subscriptions start at $34 USD/month.
Daniel Dietsch Location
Freiburg im Breisgau, BW, DE
Daniel Dietsch Work
Staff Software Engineer and and Program Analysis @ (March 2022 - Present)
Postdoctoral Researcher @ (June 2016 - Present)
Researcher @ (April 2009 - June 2016)
Founder @ DV-Consulting M. & D. Dietsch (December 2001 - December 2021)
Research Intern @ (August 2015 - October 2015)
Expert Student Partner @ (August 2007 - January 2014)
Research Fellow @ (September 2012 - October 2012)
Consultant @ SeCa GmbH (April 2004 - October 2004)
Daniel Dietsch Education
The University of Freiburg
PhD (Computer Science)
2010-2016
Summerschool Marktoberdorf 2012 2012-2012
The University of Freiburg
Master of Science (M.Sc.) (Computer Science)
2008-2010
The University of Freiburg
Bachelor of Science (B.Sc.) (Computer Science)
2004-2008
Daniel Dietsch Skills
Algorithms
Automata
C
C (Programming Language)
C#
C++
C/C++
Computer Science
Continuous Integration (CI)
Data Analysis
Embedded Systems
Formal Methods
Formal Verification
Java
LaTeX
Linux
Model Checking
Modeling
Program Analysis
Programming
Python (Programming Language)
Quality Assurance
Requirements Analysis
Requirements Engineering
Requirements Gathering
Research
SMT
Scheme
Software Development
Software Engineering
Software Model Checking
Software Modeling
Static Analysis
Teaching
Test Case Generation
Testing
UML
Windows
Daniel Dietsch Summary
Daniel Dietsch, based in Freiburg im Breisgau, BW, DE, is currently a Staff Software Engineer and and Program Analysis at Qt Quality Assurance. Daniel Dietsch brings experience from previous roles at Albert-Ludwigs-Universität Freiburg im Breisgau, DV-Consulting M. & D. Dietsch and IBM. Daniel Dietsch holds a 2010 - 2016 PhD in Computer Science @ The University of Freiburg. With a robust skill set that includes Algorithms, Automata, C, C (Programming Language), C# and more. Daniel Dietsch has 3 emails on RocketReach.
Looking for a different Daniel Dietsch?
Find contact details for 700 million professionals.