My name is Christoph Lüders. I am a software developer and computer scientist.

I co-founded cFos Software GmbH in 1993 and cFos eMobility GmbH in 2020 (both with Martin Winkler) and am working there ever since. cFos Software is building telecommunications and networking software for Windows, including cFosSpeed, an Internet Traffic Shaping driver. cFos eMobility is developing, manufacturing, and selling an EVSE (“Wallbox” in German) for electric cars and a charging manager for load management of an unlimited number of cars.

I graduated from Universität Bonn with a diploma (equivalent to a master’s degree) in computer science under Michael Clausen in 2014.

I received a Dr. rer. nat. from University of Kassel in 2022. My advisors were Werner M. Seiler (Kassel), Thomas Sturm (Saarbrücken/Nancy), Sebastian Walcher (Aachen) and Andreas Weber (Bonn) †. I am a member of the SYMBIONT project.

My research interests are:

- chemical reaction networks,
- satisfiability modulo theories (SMT),
- computer algebra,
- machine learning,
- computer arithmetic, fast multiplication, and fast Fourier transforms.

I had a “Stiftungsfonds Johannes Kepler” scholarship in 2015/16.

Privately, I enjoy Salsa dancing (also teaching) and learning Aikido. I like knot tying.

Me on Google Scholar, dblp, and arXiv.

Old-skool email address: chris that-round-thing cfos just-a-dot de.

##### Scientific Publications

[10] A Computational Approach to Complete Exact and Approximate Conservation Laws of Chemical Reaction Networks (with A Desoeuvres, A Iosif, O Radulescu, H Rahkooy, M Seiß, T Sturm). CoRR 2212.14881, **Dec 2022**.

[9] Reduction of Chemical Reaction Networks with Approximate Conservation Laws (with A Desoeuvres, A Iosif, O Radulescu, H Rahkooy, M Seiß, T Sturm). CoRR 2212.13474, **Dec 2022**.

[8] ODEbase: A Repository of ODE Systems for Systems Biology (with T Sturm, O Radulescu). Bioinformatics Advances 2(1):vbac027, 2022, **Apr 2022**.

[7] Algorithmic Reduction of Biological Networks With Multiple Time Scales (with N Kruff, O Radulescu, T Sturm, S Walcher). Math. Comput. Sci. 15(3):499-534, **Sep 2021**.

[6] Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers. Proc. PAAR+SC-Square 2020, **Nov 2020**.

[5] ODEbase: an extensible database providing algebraic properties of dynamical systems (with H Errami, M Neidhardt, SS Samal, A Weber), extended abstract for CASC 2019, Moskau,** Aug 2019**

[4] Metastable regimes and tipping points of biochemical networks with potential applications in precision medicine (with SS Samal, J Krishnan, AH Esfahani, A Weber, O Radulescu). Automated Reasoning for Systems Biology and Medicine 2019: 269-295.

[3] Sensitive Parameters and Tipping Points of Biochemical Networks needed in Precision Medicine (with SS Samal, J Krishnan, A Schuppert, M Brehme, A Weber, O Radulescu). Poster abstracts of International Conference on Systems Biology of Human Disease 2017, July 5-7, **2017**, Heidelberg.

[2] Implementation of the DKSS Algorithm for Multiplication of Large Numbers, *ISSAC 2015 — Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ***2015**, 267-274. (Slides to the talk)

[1] Fast Multiplication of Large Integers: Implementation and Analysis of the DKSS Algorithm, Diploma thesis, *Universität Bonn*; CoRR abs/1503.04955*, *2014

##### Magazine Articles

[M8] Erweckung und Entlastung — 10-Gigabit-Ethernet: Windows-Treiber optimal programmieren, die besten Netzwerkkarten wählen (mit M Winkler). c’t 17/2021, 138–143; **Jul 2021**

[M7] Das Netz beflügeln — Internet-Engpässe mit Windows-Tools aufspüren (mit M Winkler). c’t 18/2019, 152–155; **Aug 2019**

[M6] Tuning ab Werk — Windows Server 2019 erhält besseren TCP-Stack und HTTP/2 (with M Winkler). c’t 19/2018, 20–21; **Sep 2018**

[M5] Richtig aufdrehen — Was den IP-Verkehr beschleunigt und was nicht (with M Winkler). c’t 10/2012, 179–178; **Apr 2012**

[M3] Basteln am Boliden — Internet-Tuning-Tipps unter der Lupe (with M Winkler). c’t 23/2006, 190–197; **Oct 2006
**[M4] Pingpong — Wie die TCP/IP-Flusskontrolle das Surf-Tempo bestimmt (with M Winkler). c’t 23/2006, 198–200;

**Oct 2006**; (online version)

[M2] Durch die Mangel gedreht — Kostenlose Surf-Beschleunigung durch ISDN-Kompression (mit M Winkler). c’t;

**Nov 2000**

##### Teaching

Sep 2019 — Prep-course for upcoming students in computer science: “Vorkurs Formale Methoden der Informatik”

Sep 2018 — Prep-course for upcoming students in computer science: “Vorkurs Formale Methoden der Informatik”

Sep 2017 — Prep-course for upcoming students in computer science: “Vorkurs Formale Methoden der Informatik”

Winter Term 2016/17 — Life Science Informatics, Lab Course: Programming Lab I (Python)

Sep/Oct 2016 — Prep-course for upcoming students in computer science: “Vorkurs Formale Methoden der Informatik”

Sep/Oct 2015 — Prep-course for upcoming students in computer science: “Vorkurs Formale Methoden der Informatik”

Sep 2014 — Prep-course for upcoming students in computer science: “Vorkurs Formale Methoden der Informatik”