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 topics: logic and mathematical foundations of computer science, programming languages and paradigms, algorithms and data structures, concurrency, software analysis, software verification, formal methods, 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 gGmbH
Berliner Str. 45
69120 Heidelberg
Germany
Post address:
HeiGIT gGmbH
Schloss-Wolfsbrunnenweg 33
69118 Heidelberg
Germany
Publications
Theses
-
Modal Interface Theories for Specifying Component-based Systems.
S. Fendrich.
PhD-Thesis, Faculty of Information Systems and Applied Computer Science, University of Bamberg, 2017.
[ pdf | www ] -
Methoden zur Erzeugung und Realisierung triangulierter kombinatorischer 2-Mannigfaltigkeiten.
S. Fendrich.
Diplomarbeit, Fachbereich Mathematik, Technische Universität Darmstadt, 2004.
Book Chapters
- Optimal ans Ziel – Routing-Dienste auf Basis nutzergenerierter Geodaten. Herausforderungen und Lösungsansätze für globale Datensätze.
S. Lautenbach, C. Ludwig, S. Fendrich, T. Novack, S. Marx, A.K. Oleś, A. Zipf.
In Geo-IT in Mobilität und Verkehr, 2020.
[ doi ]
Journal Articles
-
Regional variations of context-based association rules in OpenStreetMap.
C. Ludwig, S. Fendrich, A. Zipf
Transactions in GIS, 2020.
[ doi ] -
Mapping Human Settlements with Higher Accuracy and Less Volunteer Efforts by Combining Crowdsourcing and Deep Learning.
B. Herfort, H. Li, S. Fendrich, S. Lautenbach, A. Zipf.
RemoteSensing, 11(15), 2019.
[ doi ] -
OSHDB: a framework for spatio-temporal analysis of OpenStreetMap history data.
M. Raifer, R. Troilo, F. Kowatsch, M. Auer, L. Loos, S. Marx, K. Przybill, S. Fendrich, F.-B. Mocnik, A. Zipf.
Open Geospatial Data, Software and Standards, 4, Springer, 2019.
[ doi ] -
A Generalised Theory of Interface Automata, Component Compatibility and Error.
S. Fendrich, G. Lüttgen.
Acta Informatica, 56(4), pp. 287-319, Springer, 2018.
[ doi | pdf ] -
Nondeterministic Modal Interfaces.
F. Bujtor, S. Fendrich, G. Lüttgen, W. Vogler.
Theoretical Computer Science, 642, pp. 24-53, Elsevier, 2016.
[ doi ] -
Richer Interface Automata with Optimistic and Pessimistic Compatibility.
G. Lüttgen, W. Vogler, S. Fendrich.
Acta Informatica, 52(4-5), pp. 305–336. Springer, 2015.
[ doi ]
Peer Reviewed Conference Papers
-
Ohsome – eine Plattform zur Analyse raumzeitlicher Entwicklungen von OpenStreetMap-Daten für intrinsiche Qualitätsbewertungen.
M. Auer, M. Eckle, S. Fendrich, F. Kowatsch, L. Loos, S. Marx, M. Raifer, M. Schott, R. Troilo, A. Zipf.
Angewandte Geoinformatik (AGIT), 2018. [ doi ] -
Opening up the potential of the OSM Full History Data to the HOT community, project managers and data users.
M. Auer, M. Eckle, S. Fendrich, B. Herfort, F. Kowatsch, S. Marx, M. Raifer, M. Schott, R. Troilo, A. Zipf.
FOSS4G, 2018. -
Comprehensive OpenStreetMap History Data Analyses – for and with the OSM community.
M. Auer, M. Eckle, S. Fendrich, F. Kowatsch, S. Marx, M. Raifer, M. Schott, R. Troilo, A. Zipf.
State of the Map Academic Track (SotM) 2018.
[ www ] -
Towards Using the Potential of OpenStreetMap History for Disaster Activation Monitoring.
M. Auer, M. Eckle, S. Fendrich, L. Griesbaum, F. Kowatsch, S. Marx, M. Raifer, M. Schott, R. Troilo, A. Zipf.
Information Systems for Crisis Response and Management (ISCRAM), 2018.
[ www ] -
A Generalised Theory of Interface Automata, Component Compatibility and Error.
S. Fendrich, G. Lüttgen.
Integrated Formal Methods (iFM) 2016, LNCS 9681, pp. 160-175, Springer, 2016.
[ doi ] -
Nondeterministic Modal Interfaces.
F. Bujtor, S. Fendrich, G. Lüttgen, W. Vogler.
SOFSEM 2015: Theory and Practice of Computer Science, LNCS 8939, Springer, 2015, pp. 152–163.
[ doi ] -
HDU: Cross-lingual Textual Entailment with SMT Features.
K. Wäschle, S. Fendrich.
*SEM 2012: Workshop on Semantic Evaluation (SemEval), pp. 467-471, Association for Computational Linguistics, 2012.
[ pdf ]
Other Publications
-
Value-Passing Modal Interface Automata.
S. Fendrich.
Technical Report, University of Bamberg, 2017.
[ pdf ] -
A Generalised Theory of Interface Automata, Component Compatibility and Error.
S. Fendrich, G. Lüttgen.
Technical report, Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik No. 98, University of Bamberg, 2016.
[ pdf ] -
Nondeterministic Modal Interfaces.
F. Bujtor, S. Fendrich, G. Lüttgen, W. Vogler.
Technical Report 2014-06, Institut für Informatik, Universität Augsburg, 2014.
[ pdf ] -
Sol – Stochastic Learning Toolkit.
S. Fendrich.
Technical report, Department of Computational Linguistics, Heidelberg University, 2012.
[ pdf ]
Software
See my repositories at GitHub:
- Gemia – Modal Interface Automata in Haskell
- Sol – Stochastic Learning Toolkit (C++)
- TinyLog – Minimalistic logging library for C++
- csx2tikz – Convert csx diagrams to tikz (XSLT)
- remap-pwr – Remap dataset for pairwise ranking with binary classifiers
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
- A. Kinas. Entwicklung eines Werkzeuges zur räumlichen Analyse von Attributassoziationen am Beispiel OpenStreetMap. Bachelor's thesis, Department of Geography, Heidelberg University, 2018.
- J. Gareis. Prototypical Integration of the Modal Interface Automata Theory in Google Go. Master's thesis, Faculty of Information Systems and Applied Computer Science, Bamberg University, 2015.
Courses
WS | 2020/21 | S | Nachhaltige Entwicklung wissenschaftlicher Software |
---|---|---|---|
WS | 2019/20 | W | What is professional software development? |
WS | 2015/16 | W | Mädchen und Technik |
WS | 2013/14 | Ü | Softwaretechnik |
WS | 2012/13 | V+Ü | Mathematischer Vorkurs |
SS | 2012 | V | Einführung in die lineare Algebra für CL |
WS | 2011/12 | Ü | Statistical Methods for CL |
SS | 2011 | V | Einführung in die lineare Algebra und Optimierung für CL |
WS | 2010/11 | Ü | Statistical Methods for CL |
Ü | Statistical Machine Translation | ||
SS | 2010 | V | Einführung in die Optimierung für CL |
V+Ü | Mathematischer Vorkurs | ||
WS | 2009/10 | HS | Maschinelles Lernen |
PS | Einführung in das wissenschaftliche Schreiben für CL | ||
Programmierprüfung | |||
SS | 2009 | PS | Einführung in R |
V+Ü | Mathematischer Vorkurs | ||
PS | Word Alignments | ||
Programmierprüfung | |||
WS | 2008/09 | PS | Arbeitstechniken in der CL |
V+Ü | Mathematische Grundlagen in der CL | ||
SS | 2008 | 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