About me

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 2010 (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 and cFos Personal Net, a web server. cFos eMobility is developing and selling products to charge electric cars, most prominently a wallbox and a charging manager.

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

I am a PhD student and started under Andreas Weber, which died unexpectedly in March 2020. I currently work with Werner M. Seiler (Kassel), Thomas Sturm (Saarbrücken/Nancy), Ovidiu Radulescu (Montpellier) and Sebastian Walcher (Aachen) in the SYMBIONT project. I plan to finish my dissertation in 2021.

My research interests are:

  • tropical geometry, systems biology and 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.

My page at the university: Dipl.-Inform. Christoph Lüders
My Twitter channel: @chrlueders.
Me on Google Scholar, dblp, and arXiv.
Old-skool email address: chris that-round-thing cfos just-a-dot de.


Scientific Publications

[7] Algorithmic Reduction of Biological Networks With Multiple Time Scales (with N Kruff, O Radulescu, T Sturm, S Walcher). CoRR abs/2010.10129, Oct 2020.
[6] Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers. CoRR abs/2004.07058, Apr 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

[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”


Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.