Eline van Mantgem
Angestellt, Researcher, KIT Campus Alpine IMK-IFU
Garmisch-Partenkirchen, Deutschland
Über mich
I am a researcher/algorithm engineer with an interest in developing and implementing exact algorithms for hard problems. I apply different solving techniques (integer linear programming, satisfiability solving, dynamic programming) to solve combinatorial optimization problems. My interests are network analysis, formal verification and graph algorithms. I'm looking for a position in which I can apply my analytical skills to formulate, implement and optimize algorithms for hard problems.
Werdegang
Berufserfahrung von Eline van Mantgem
Bis heute 1 Jahr und 1 Monat, seit Sep. 2023
Researcher
KIT Campus Alpine IMK-IFU
Bis heute 7 Jahre und 1 Monat, seit Sep. 2017
Researcher
Heinrich Heine Universität
Researcher at the Algorithmic Bioinformatics group, Heinrich Heine Universität Düsseldorf. My main research topic involves network analysis of signalling networks. Given experimental data, I learn the exact logical topology of signalling networks. The implementation is done in Python and Rust using the integer linear programming solver Gurobi and the satisfiability solver Cryptominisat. Lecturer (2019 - 2022) for Seminar Combinatorial Optimization and Seminar Reproducibility in Bioinformatics Research
Sprachen
Deutsch
Gut
Englisch
Fließend
Niederländisch
Muttersprache