During my time at TUM, I served as administrator of CORA. My work includes harmonizing functionality across all classes, ensuring reliability through extensive testing, and better visualization.
Website: https://cora.in.tum.de/
I serve as evaluation and repeatability chair at the annual competitions on formal neural network verification. Let me know if you want to join or have any questions regarding the competitions!
VNN-COMP: https://vnn.repeatability.cps.cit.tum.de/
ARCH-COMP: https://arch.repeatability.cps.cit.tum.de/
The following page shows some of my Android apps that I have developed.
Website: https://toladner.github.io/p/apps/
A LaTeX package designed to assist scientific paper writing in the field of formal neural network verification. It also includes some helpful features to create beautiful figures and animations in LaTeX.
Website: https://ctan.org/tex-archive/macros/latex/contrib/cora-macs
With the shift to renewable energy, my parents decided to install some solar panels on their roof. As data visualization of providers was ... improvable ..., I aggregated the data and displayed it in nice figures.
Website: https://toladner.github.io/photovoltaik-sonnenkogel (private)
A website providing charts for the coronavirus pandemic in Austria. The data was updated daily.
Website: coronavirus-in-austria.appspot.com (inactive)
The website of the apartment of my parents in Galtür.
Website: haus-sonnenkogel.appspot.com
The ORF Teletext is a fast and compact news source. Unfortunately, it has an old-fashioned design and does not offer a nice reading experience. This website processes the information from the ORF Teletext and displays it in a readable format.
Website: better-teletext.appspot.com (in German)
