Lebenslauf Dr. Daniel Grahl - Application

Daniel Grahl
Dr. rer. nat.
Östliche Rheinbrückenstr. 36
76187 Karlsruhe
T [priv.] (0721) 467 1914
T [Büro] (0721) 608 45268
B [email protected]
Í formal.iti.kit.edu/∼grahl
daniel-grahl-a7676928
∗ 12. Juni 1982
Aktuelle Tätigkeit
08/2009 – Akademischer Mitarbeiter, Institut für Theoretische Informatik, Karlsruher Institut
heute für Technologie (KIT).
Lehre und Forschung im Bereich Software-Technik und -Sicherheit mit Formalen Methoden;
Projektmanagement; (seit 08/2015) Betreuung Doktoranden
Implementierung 350 kLoC Java; verantwortlich für Bug- und Release{ Entwickler KeY
Management; Erweiterung der Analyse auf nebenläufige Programme;
{ Forschungsprojekt FIfAKS Forschung zu Informationsflussanalyse in komponentenbasierten Systemen (z.B. JavaEE); Kooperation mit Deutsche Post DHL
{ Forschungsprojekt DeduSec Entwicklung einer präzisen Analyse von Informationsflüssen in Java Quellcode; e-Voting-System als Fallstudie
{ Betreuung Praxis der Software-Entwicklung (PSE) Praktikum 3. Semester Bachelor; Realisierung eines mittelgroßen Softwareprojekts mit allen Phasen des Wasserfallmodells; Lehrpreis der Fakultät für Informatik 2012
{ Betreuung Abschluss- und Seminararbeiten
Bildung
10/2015 Promotion zum Dr. rer. nat. in Informatik, Karlsruher Institut für Technologie,
Gesamtnote: sehr gut (magna cum laude).
Dissertation: Deductive Verification of Concurrent Programs and Its Application to Secure
Information Flow for Java
10/2002 – Studium der Informatik (Diplom), Universität Karlsruhe (heute: Karlsruher Insti07/2009 tut für Technologie), Gesamtnote: 1,7.
{ Schwerpunkte Softwaretechnik mit Formalen Methoden; Algorithmentechnik
{ Diplomarbeit A Formal Semantics for the Java Modeling Language (Bewertung: 1,0);
Best Paper Award auf den GI-Informatiktagen 2010
{ Extrakurrikulare Interessen Informatik und Gesellschaft, Linguistik, Privatrecht
2001 – 2002 Zivildienst.
2001 Abitur, Grimmelshausen-Gymnasium, Gelnhausen, Gesamtnote: 2,2.
Sonstige Kenntnisse
Fremdsprachen
Englisch
Französich
Spanisch
Sonstige
verhandlungssicher
fließend
fließend
Grundkenntnisse in Arabisch, Chinesisch, Latein und Russisch
Software
Programmier- Java (in regelmäßiger Anwendung); Haskell (sehr gut); C (Grundkenntnisse)
sprachen
Entwicklungs- Eclipse, Versionskontrolle, UML, JUnit, Bugtracking, Continuous Integration (in
werkzeuge regelmäßiger Anwendung)
Betriebs- Linux (in regelmäßiger Anwendung); Windows (gut); Android (Grundkenntnisse)
systeme
Standards Common Criteria, IEC 61508, Do-178C (Grundkenntnisse)
Sonstiges Bildbearbeitung, LATEX, Desktop Publishing (in regelmäßiger Anwendung); Office
Suites, HTML, CMS (sehr gut)
Sonstige Tätigkeiten
Studienbegleitende Berufserfahrungen
2005 – 2009 Gutachter Akkreditierung von Studiengängen, ASIIN e.V., Düsseldorf.
2009 Tutor Linguistik, Institut für Germanistik, Universität Karlsruhe.
2007 – 2008 Tutor Formale Systeme, Inst. für Theoretische Informatik, Universität Karlsruhe.
Ehrenamtliche Tätigkeiten
2011 – 2015 Landesfachgruppenausschuss Hochschule und Forschung, Gewerkschaft Erziehung und Wissenschaft, Stuttgart.
2006 – 2007 Sprecher Bundesausschuss der Studentinnen und Studenten, Gewerkschaft
Erziehung und Wissenschaft, Frankfurt/Main.
2004 Sozialreferent des UStA/AStA, Universität Karlsruhe.
Sozialberatung, Publikation von Ratgebern, Vertretung auf Bundesebene
Publikationen (Auswahl)
2015 Non-interference with What-Declassification in Component-based Systems.
2015 Implementation-level Verification of Algorithms with KeY, Software Tools for
Technology Transfer (STTT).
2015 A Hybrid Approach for Proving Noninterference of Java Programs, 28th IEEE
Computer Security Foundations Symposium (CSF).
2014 The KeY Platform for Verification and Analysis of Java Programs, Verified
Software: Theories, Tools, and Experiments (VSTTE).
2011 Verification of Software Product Lines with Delta-oriented Slicing, Formal
Verification of Object-Oriented Software (FoVeOOS 2010).
Referenz
Prof. Dr. Bernhard Beckert, Karlsruher Institut für Technologie, Institutsleiter,
B [email protected]
T (0721) 608 44025.
18. Januar 2016