David Sabel
Computer Scientist
Home
Research
Publications
Talks
Teaching
Software
Contact
Short Bio
Events
Priv.-Doz. Dr. habil. David Sabel
Full Time Researcher (
Eigene Stelle, DFG
)
Project:
Observational Correctness of Programming Language Translations
Address
Institut für Informatik
Fachbereich Informatik und Mathematik
Goethe-Universität Frankfurt am Main
Robert-Mayer-Str. 11-15 / Room 118
60325 Frankfurt am Main
Germany
Contact
Email:
Phone: +49 (0) 69 / 798-28691
Fax: +49 (0) 69 / 798-28919
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
My
old home page
can be found
here
.
Events
A selection of some events:
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) 2016
PD Dr. David Sabel
,
Imprint
, Last modified: $Author: sabel $, $Date: 2017/09/29 15:38:29 $