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
-
Traffic Speed Modelling to Improve Travel Time Estimation in Openrouteservice.
C. Ludwig, J. Psotta, A. Buch, N. Kolaxidis, S. Fendrich, M. Zia, J. Fürle, A. Rousell, A. Zipf.
In The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2023.
[ doi ]
-
Automatic mapping of national surface water with OpenStreetMap and Sentinel-2 MSI data using deep learning.
H. Li, J. Zech, C. Ludwig, S. Fendrich, A. Shapiro, M. Schultz, A. Zipf.
In International Journal of Applied Earth Observation and Geoinformation, 2021.
[ doi ]
-
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=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
Last updated: July 2024