About Me

I am a computer scientist and mathematician who enjoys tackling mathematical problems by combining computer power with classical pen-and-paper approaches. This in particular includes the usage of computer algebra systems, modelling problems for SAT/IP/SMT solvers, or simply using plain python/C++. Last but not least, the characterization of bottlenecks and optimization on various levels are the key tools to successfully address notoriously difficult problems.

Contact

You can contact me via Email: lastname[at]domain, math.tu-berlin.de = domain