Matthias Lanzinger
Assistant Professor at Vienna University of Technology
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolMatthias Lanzinger is an Assistant Professor (Tenure Track) in Database Theory at TU Wien with 16 years of experience bridging algorithms, logic, databases, and machine learning. His research blends theoretical computer science—especially complexity theory, graph theory, and finite model theory—with practical advances in trustworthy and expressive AI, notably graph neural networks. Before returning to TU Wien he was a Senior Postdoctoral Researcher at the University of Oxford and has taught and developed courses on databases and semi-structured data. Matthias combines deep theoretical expertise (PhD with distinction) with hands-on systems work, including substantive backend contributions to the popular OpenRCT2 project where he reimplemented core climate logic. He is open to consulting where algorithmic rigor and recent graph-learning advances can solve real-world problems.
16 years of coding experience
5 years of employment as a software developer
Vienna University of Technology
English, German
Github Skills (10)
c1710
simulations10
simulation10
openrc10
c-language10
game-development10
c1110
cprogramming-language10
cpp7
cmake7
Programming languages (3)
Github contributions (5)
OpenRCT2/OpenRCT2
Apr 2014 - May 2014
An open source re-implementation of RollerCoaster Tycoon 2 🎢
Role in this project:
Back-end Developer
Back-end DeveloperContributions:72 commits in 1 month
Contributions summary:Matthias contributed significantly to the back-end logic of the game, focusing on the climate system. Their work involved decompiling and reimplementing core functionality related to weather updates, including the implementation of functions to determine future weather conditions and adjusting climate variables. The user added data structures and implemented the framework for calculating and handling weather transitions based on the game's internal logic and tables, contributing significantly to the project's core gameplay mechanics.
re-implementationgamediscordc-plus-plussimulation
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.