David Sabel
Computer Scientist
Home
Research
Publications
Talks
Teaching
Software
Contact
Short Bio
Events
Prof. Dr. David Sabel
since October 2018:
temporary professor at LMU Munich
DFG-Project:
Observational Correctness of Programming Language Translations
Address and Contact
Lehr- und Forschungseinheit für Theoretische Informatik
Institut für Informatik
Ludwig-Maximilians-Universität München
Oettingenstr. 67 / Room L 107
80538 München
Germany
Contact
Email:
Phone: +49 (0) 89 / 2180-9341
Fax: +49 (0) 89 / 2180-9338
Office Hours
by appointment only
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
since October 2018 Temporary professor for Theoretical Computer Science at LMU Munich
My
old home page
can be found
here
.
Events
A selection of some events:
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
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
more...
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)
(c) 2020
David Sabel
,
Imprint
,
Privacy Policy
Last modified: $Author: sabel $, $Date: 2020/03/10 07:02:06 $