David Sabel
Computer Scientist
Home
Research
Publications
Talks
Teaching
Software
Contact
Short Bio
Events
Prof. Dr. David Sabel
Faculty of Design Computer Science Media
RheinMain University of Applied Sciences
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
2022 - 2024 Software-Engineer @
Yatta Solutions GmbH
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