Dr. Andreas Gaiser studierte Informatik an der Universität Stuttgart und arbeitete anschließend als wissenschaftlicher Mitarbeiter an der Technischen Universität München. Dort promovierte er 2013 über Themen aus den Bereichen theoretische Informatik, abstrakte Interpretation und probabilistische Programmanalysen. Für die Axivion GmbH ist er seit 2013 tätig. Hier betreut er Kunden bei der Umsetzung von Architekturprüfungen und entwickelt innovative Programmanalysen.
Axivion GmbH
Germany
Vortrag
Tit for Tat: How (not) to bully a static analysis tool
Speaker
How to give static analysis tools a hard time