Thomas Stieglmaier


Education
2016/10 - 2017/04 Scholarship holder of the msg Leistungsstipendium
2015/10 - 2016/10 Scholarship holder of the Deutschlandstipendium
2014/10 - 2016/10 M.Sc. Computer Science at the University of Passau (Grade 1.2)
2016/10 Masters's Thesis: Augmenting Predicate Analysis with Auxiliary Invariants (Grade 1.3)
2011/04 - 2014/10 B.Sc. Internet Computing at the University of Passau (Grade 1.6)
2014/07 Bachelor's Thesis: Octagon-Based Software Verification with CPAchecker (Grade 1.0)
2001/10 - 2010/06 Gymnasium Dingolfing (Grade 2.2)

Skills
Programming Languages Java (excellent), HTML/CSS/JavaScript (good), C (good), Haskell (good), Python (good), SQL (basic)
Languages German (mother tongue), English (fluent), French (basic)

Professional Experience
since 2016/10 Software-Developer at One Logic GmbH
2015/11 - 2015/12 Tutor for the Haskell tutorial
2015/07 Co-Teacher for the project "Entwicklung sensor-unterstützter Android Apps" at the Sommercamp Informatik
2015/06 Paper presentation at the Sixth IEEE Germany Student Conference in Hamburg
2014/11 - 2014/12 Tutor for the Haskell tutorial
2014/10 - 2015/02 Tutor for the Lecture "Software Engineering"
2014/07 Co-Teacher for the project "Entwicklung sensor-unterstützter Android Apps" at the Sommercamp Informatik
2013/11 - 2013/12 Tutor for the Haskell tutorial
2013/07 Co-Teacher for the project "Virtuelle Welten" (Povray) at the Sommercamp Informatik
2012/07 Co-Teacher for the Hadoop-Project at the Sommercamp Informatik
2011/07 - 2016/07 Student Assistant at the Software Systems Lab

(International) Organisations
since 2015/07 Main organizer of the Region 8 Student and Young Professionals Congress 2016 in Regensburg
since 2015/03 Student Activities Chairman of the IEEE Germany Section
2014/08 Participant at the R8SYP in Krakow
since 2014/06 Vice-Chairman of the IEEE Student Branch Passau
2012/07 - 2014/06 Chairman of the IEEE Student Branch Passau
2013/06 - 2014/06 Main organizer of the fifth IEEE Germany Student Conference in Passau
2013/06 Participant at the Fourth IEEE Germany Student Conference in Hamburg
2013/05 Participant at the second Central European Student Branch Congress in Opole (Poland)
2012/01 - 2012/11 Main organizer of the Third IEEE Student Conference in Passau
since 2011/04 Member of the IEEE Student Branch Passau
2009/01 - 2014/12 Armorer and committee member at the shooting club
since 2005 Member at the shooting club Edelweiß Dingolfing