David Sabel
Computer Scientist
Home
Research
Publications
Talks
Teaching
Software
Contact
Short Bio
Events
PD Dr. habil. David Sabel
Software-Engineer @
Yatta Solutions GmbH
Contact
Email:
Short Biography
Education
2003 Diploma in Computer Science (with Economics as a minor)
2008 Doctorate in Computer Science (Dr. phil. nat.)
2013 Habilitation in Computer Science
Previous Positions
2004 - 2009 PhD Student and Teaching and Research Assistent,
Artificial Intelligence and Software Technology
group
2009 - 2016 Postdoc position (Akademischer Rat),
Artificial Intelligence and Software Technology
group
2016 - 2018 Full-time researcher (
Eigene Stelle, DFG
), project
Observational Correctness of Programming Language Translations
2018 - 2022
Temporary professor at LMU Munich
Events
A selection of some events:
PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming
UNIF 2022: 36th International Workshop on Unification
WPTE 2022: 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
FLoC 2022: 8th Federated Logic Conference
WPTE 2021: 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
UNIF 2021: 35th International Workshop on Unification
EXPRESS/SOS 2020: Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
PPDP 2020: 22nd International Symposium on Principles and Practice of Declarative Programming
TERMGRAPH 2020: 11th International Workshop on Computing with Terms and Graphs
WPTE 2020: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
PPDP | LOPSTR | WFLP 2018
more...
IJCAI-PRICAI 2020: 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence
WPTE 2019: Sixth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
IJCAI 2019: 28th International Joint Conference on Artificial Intelligence
UNIF 2019: 33rd International Workshop on Unification
LOPSTR 2018: 28th International Symposium on Logic-Based Program Synthesis and Transformation
PPDP 2018: 20th International Symposium on Principles and Practice of Declarative Programming
WFLP 2018: 26th International Workshop on Functional and (constraint) Logic Programming
WPTE 2018: Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
FSCD 2018: Third International Conference on Formal Structures for Computation
AAAI-18: Thirty-Second AAAI Conference on Artificial Intelligence
WPTE 2017: Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
FSCD 2017: 2nd International Conference on Formal Structures for Computation and Deduction
IJCAI 2017: 26th International Joint Conference on Artificial Intelligence
Termination and Complexity Competition 2016
WPTE 2016: Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
IJCAI 2016: 25th International Joint Conference on Artificial Intelligence
ISR 2015: International School on Rewriting
TermComp 2015:Termination Competition 2015
WPTE 2015: Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
WPTE 2014: First International Workshop on Rewriting Techniques for Program Transformations and Evaluation
RTA/TLCA 2014: Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
©
David Sabel
,
Imprint
,
Privacy Policy