Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen: "Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems." FSCD 2025: 6:1-6:21
CV
Education
- Ph.D in Version Control Theory, GitHub University, 2018 (expected)
- M.S. in Jekyll, GitHub University, 2014
- B.S. in GitHub, GitHub University, 2012
Work experience
- Spring 2024: Academic Pages Collaborator
- GitHub University
- Duties includes: Updates and improvements to template
- Supervisor: The Users
- Fall 2015: Research Assistant
- GitHub University
- Duties included: Merging pull requests
- Supervisor: Professor Hub
- Summer 2015: Research Assistant
- GitHub University
- Duties included: Tagging issues
- Supervisor: Professor Git
Skills
- Skill 1
- Skill 2
- Sub-skill 2.1
- Sub-skill 2.2
- Sub-skill 2.3
- Skill 3
Publications
Minimum-Peak-Cost Flows Over Time
Mariia Anapolska, Emma Ahrens, Christina Büsing, Felix Engelhardt, Timo Gersing, Corinna Mathwieser, Sabrina Schmitz, Sophia Wrede: "Minimum-PeakCost Flows Over Time." Networks 2025
The dial-a-ride problem in primary care with flexible scheduling
Rauh, F., Ahrens, E., Büsing, C. et al. "The dial-a-ride problem in primary care with flexible scheduling." OR Spectrum (2025).
Reasoning about distributed reconfigurable systems
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen: "Reasoning about distributed reconfigurable systems." Proc. ACM Program. Lang. 6(OOPSLA2): 145-174 (2022)
Generalized temporally repeated flows for the quickest transshipment and related problems
Emma Ahrens: "Generalized temporally repeated flows for the quickest transshipment and related problems." Master Thesis, RWTH Aachen University, 2022. DOI: 10.18154/RWTH-2024-07726
Local Reasoning for Reconfigurable Distributed Systems
Emma Ahrens: "Local Reasoning for Reconfigurable Distributed Systems." Bachelor Thesis, RWTH Aachen University, March 5, 2021.
Standard Generators for Classical Groups
Emma Ahrens: "Standard Generators for Classical Groups." Bachelor Thesis, RWTH Aachen University, September 28, 2020.
Talks
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Conference Talk at FSCD 2025 - International Conference on Formal Structures for Computation and Deduction, Birmingham, UK
UnRAVeL - UNcertainty and Randomness in Algorithms, VErification, and Logic
Conference Talk at Joint Meeting of the German Computer Science Research Training Groups 2025, Schloss Dagstuhl, Germany
A Framework for Online Optimization
Workshop Talk at ROCKS Workshop 2025 – Eindhoven University of Technology, Eindhoven, The Netherlands
Weighted Rewriting
Workshop Talk at MOVES Annual Workshop Söllerhaus 2025, Söllerhaus, Kleinwalsertal, Austria
Introducing Weighted Programming: A Generalization of Probabilistic Programming
Workshop Talk at UnRAVeL Bi‑Weekly Talk Series, Research Training Group UnRAVeL, RWTH Aachen University, Aachen, Germany
Flows over Time or How should we deliver the drinks?
Lightning Talk at Lightning Math Night, Department of Mathematics, RWTH Aachen University, RWTH Aachen University, Aachen, Germany
Literature Research
Lecture at Combinatorial Optimisation in Scientific Practise, Aachen, Germany
Flows over Time and their Applications
Retreat Talk at SFB 1481 Sparsity and Singular Structures - Annual Retreat 2023, RWTH Aachen University, Aachen, Germany
Modification of the Ford-Fulkerson Algorithm for Temporally Repeated Flows or How can we engage as few workers as possible?
Conference Talk at GOR 2023 – Annual Conference of the German Operations Research Society, Universität Hamburg, Germany
Entwicklung einer Strategie zur Zusammenarbeit zwischen den verschiedenen Standorten von CAMMP
Workshop at CAMMP Schülerlabor Retreat Heidelberg, Heidelberg, Germany
Teaching
Service and leadership
- Currently signed in to 43 different slack teams