Sascha Fendrich

Mathematician and Computer Scientist (Dr. rer. nat.)

I am currently working as a post-doctoral researcher at the Heidelberg Institute for Geoinformation Technology (HeiGIT).

My main research interest is the semantics of data and data processing. This includes the following buzzwords: logic and mathematical foundations of computer science, programming languages and paradigms, algorithms and data structures, concurrency, software analysis, software verification, formal methods, spatio-temporal reasoning, machine learning, optimization, industrial data processing, data mining, big data and computational linguistics.

Previously, I was a researcher in the DFG-funded project Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic (project website), where I successfully defended my PhD-Thesis Modal Interface Theories for Specifying Component-based Systems.

Contact

Office address:
HeiGIT
Mathematikon
Berliner Str. 45
69120 Heidelberg
Germany

Post address:
Geographisches Institut
Abt. Geoinformatik
Im Neuenheimer Feld 348
69120 Heidelberg
Germany

Phone: +49 6221 54 19704

Publications

Theses

Peer Reviewed

Other Publications

Reviewing Activties

Besides publishing, I am also reviewing articles for academic journals and conferences, such as Acta Informatica, Science of Computer Programming, ACSD, AVoCS, ICECCS, iFM, *SEM.

Software

See my repositories at GitHub:

Short CV

Current Employment

since 2017: Researcher, Heidelberg Institute for Geoinformation Technology.

Former Employment

2013-2017: Researcher, Software Technologies Research Group, University of Bamberg.

2008-2013: Researcher and Lecturer, Department of Computational Linguistics, Heidelberg University.

2007-2008: Research Assistant and Lecturer, Department of Computational Linguistics, Heidelberg University.

2002-2010: System Analyst in the area of industrial data processing, Softwaresysteme Karl Hickl, Fürth im Odenwald.

1997-2002: Research and Teaching Assistant, Mathematics Department, Technische Universität Darmstadt.

Education

2013-2017: PhD student at Software Technologies Research Group, University of Bamberg.

June/July 2016: BETTY Summer School 2016 on Behavioural Types.

August 2015: Marktoberdorf Summer School 2015 on Verification and Synthesis of Correct and Secure Systems.

January 2004: Diploma (MSc equiv.) in Mathematics and Computer Science, Mathematics Department, Technische Universität Darmstadt.

Teaching

Supervised Theses

Courses

WS2015/16WMädchen und Technik
WS2013/14ÜSoftwaretechnik
WS2012/13 V+ÜMathematischer Vorkurs
SS2012 VEinführung in die lineare Algebra für CL
WS2011/12ÜStatistical Methods for CL
SS2011 VEinführung in die lineare Algebra und Optimierung für CL
WS2010/11 ÜStatistical Methods for CL
ÜStatistical Machine Translation
SS2010VEinführung in die Optimierung für CL
V+ÜMathematischer Vorkurs
WS2009/10 HSMaschinelles Lernen
PSEinführung in das wissenschaftliche Schreiben für CL
Programmierprüfung
SS2009 PSEinführung in R
V+ÜMathematischer Vorkurs
PSWord Alignments
Programmierprüfung
WS2008/09 PSArbeitstechniken in der CL
V+ÜMathematische Grundlagen in der CL
SS2008 V+ÜMathematischer Vorkurs

WS=Wintersemester; SS=Sommersemester; V=Vorlesung; Ü=Übung; HS=Hauptseminar; PS=Proseminar; W=Workshop; CL=Computerlinguistik.

As a student I tutored lots of practicals, e.g., Linear Algebra, Calculus, Logic for Computer Scientists, Universal Algebra for Computer Scientists, Descriptive Geometry for Architects, Preparatory course in Mathematics for Economics