Curriculum Vitae - Formal Methods in Systems Engineering

Thomas Pani
Vienna University of Technology
Institute of Information Systems • Formal Methods in Systems Engineering
Favoritenstraße 9–11/184-4, 1040 Vienna, Austria
 +43 (1) 58801-740013 •  [email protected] •  forsyte.at/~pani/
Current position
PhD student, Research and Teaching Assistant (Universitätsassistent)
Institute of Information Systems, Formal Methods in Systems Engineering (Prof. Helmut Veith)
Research Interests
Programming Languages, Program Analysis,
Software Verification & Testing, Improving Software Quality
Education
Vienna University of Technology
Doctoral Program in Computer Science
Vienna, AT
since 02/2014
Advisor: Prof. Helmut Veith
Vienna University of Technology
Diplom-Ingenieur (comparable to MSc), with highest distinction (1.0)
Vienna, AT
01/2014
Thesis: Loop Patterns in C Programs, Advisor: Prof. Helmut Veith
earned the Faculty’s best thesis award
Vienna University of Technology
Bachelor of Science, with highest distinction (1.2)
Vienna, AT
10/2010
Thesis: Design by Contract in Eiffel and C#, Advisor: Prof. Franz Puntigam
HTL Wien 3 Rennweg
Matura (High school graduation), with highest distinction (1.0)
Vienna, AT
06/2007
Attended Summer Schools etc.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
European PhD Student Summit on Compiler & Programming Technology
Munich, DE
12/2015
Google Inc.
Verification Mentoring Workshop
co-located with CAV conference
San Francisco, USA
07/2015
European PhD Student Summit on Compiler & Programming Technology
Munich, DE
12/2014
Google Inc.
Summer School Marktoberdorf
Advanced Study Institute of the NATO Science for Peace and Security Programme
Dependable Software Systems Engineering
Marktoberdorf, DE
08/2014
ARiSE/VCLA Winter School on Verification
Austrian Society for Rigorous Systems Engineering, Vienna Center for Logic and Algorithms
Vienna, AT
02/2012
1/4
Publications
[1] Yulia Demyanova, Thomas Pani, Helmut Veith, and Florian Zuleger. “Empirical Software Metrics for Benchmarking of Verification Tools”. In: Computer Aided Verification - 27th International
Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. July 2015.
[2] Thomas Pani, Helmut Veith, and Florian Zuleger. “Loop Patterns in C Programs”. In: ECEASST
72 (2015).
[3] Thomas Pani. “Loop Patterns in C Programs”. MA thesis. Vienna University of Technology,
Jan. 2014.
Experience
Full-time. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Vienna University of Technology
Research and Teaching Assistant (Universitätsassistent)
Vienna, AT
since 02/2014
Institute of Information Systems, Formal Methods in Systems Engineering (Prof. Helmut Veith)
Part-time. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Vienna University of Technology
Project Assistant
Vienna, AT
03/2012–01/2014
Institute of Information Systems, Formal Methods in Systems Engineering (Prof. Helmut Veith)
Vienna University of Technology
Stipend for diploma students
Vienna, AT
03/2011–02/2012
Institute for Information Systems, Formal Methods in Systems Engineering (Prof. Helmut Veith)
Allgemeine Gesundheits- und Krankenpflegeschule des LK Tulln
Teacher
Tulln, AT
03/2011–02/2014
Vienna University of Technology
Undergraduate course assistant
Vienna, AT
10/2009–02/2012
Internships. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Siemens AG Österreich
Intern, Siemens IT Solutions and Services
Vienna, AT
08/2009–09/2009
Raiffeisen Informatik GmbH
Intern
Vienna, AT
09/2008
Siemens AG Österreich
Intern, Siemens IT Solutions and Services
Vienna, AT
08/2008
AGRANA Beteiligungs-AG
Intern
Vienna, AT
08/2007
AGRANA Beteiligungs-AG
Intern
Vienna, AT
08/2005
AGRANA Zucker GmbH
Intern
Tulln, AT
07/2004
Volunteering. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Austrian Red Cross, Lernhaus Schwendergasse
Volunteer
Vienna, AT
since 09/2012
Social and educational aid for socially disadvantaged children and teenagers
2/4
Professional Development. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Brunnenpassage
Workshop “Storytelling in Education”
Vienna, AT
11/2013
McKinsey & Company
Workshop “From ideas to presentation”
Vienna, AT
10/2012
sideprojects.dk
Graphic Recording Workshop
Vienna, AT
05/2012
Roman Braun / Trinergy International
Communication Skills Training
Vienna, AT
05/2012
Software Projects. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sloopy: A Clang-based tool to determine difficulty of automated program analysis for loops in C
programs. Website: http://forsyte.at/~pani/sloopy/
HDAPSicon: Monitor for IBM’s Active Protection System (automatic disk head parking).
Website: http://thpani.net/projects/hdapsicon.html.
pemuwrapper: TCP/IP control wrapper around PEMU (Cisco PIX emulator). Now included with
the GNS3 network simulator (http://www.gns3.net/).
Gentoo Linux: Contributions in several user-driven/private repositories.
Professional Activities
Vienna Science Ball
Member of the organizing committee
since 2015
 www.wissenschaftsball.at
Vienna Summer of Logic
Local co-organizer
○␣
07/2014
Coordination and implementation of
- online and social media activities
Target audience: Scientists as well as the interested public (VSL goes public track)
 vsl2014.at
 facebook.com/vsl2014
 twitter.com/SummerOfLogic
- automated conference program generation (liaison to EasyChair)
Teaching Experience
Academic Teaching. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Vienna University of Technology
Research and Teaching Assistant (Universitätsassistent)
○␣
○␣
○␣
Formal Methods in Computer Science
Shared overview course, of which our group covers model checking.
Assisted this course (exercises, exams) regularly since summer term 2014.
Information Design
Introduction to foundations and applications of information design for computer scientists.
Assisted this course in summer terms 2014, 2015, and 2016.
From Design to Software 1,
From Design to Software 2
Semester projects. Students gain practical experience in the software engineering domain.
Assisted these courses regularly since summer term 2013.
Vienna University of Technology
Undergraduate course assistant
○␣
Vienna, AT
since 02/2014
Vienna, AT
10/2009–02/2012
Object-Oriented Programming. Assisted this course three times (winter terms 2009, 2010, 2011)
3/4
Non-academic Teaching. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Austrian Red Cross, Lernhaus Schwendergasse
Volunteer
Vienna, AT
since 09/2012
Social and educational aid for socially disadvantaged children and teenagers
Allgemeine Gesundheits- und Krankenpflegeschule des LK Tulln
Teacher
○␣
Tulln, AT
03/2011–02/2014
Information Technology, Computer Science, Statistics and Documentation
Awards
Faculty of Computer Science, Vienna University of Technology
Distinguished Young Alumnus (best diploma thesis award)
12/2014
e-fellows.net (succeeds students4excellence)
Participation in the high potential program e-fellows.net
since 02/2014
careerloft.de
Participation in the high potential program careerloft.de
since 08/2013
students4excellence
Participation in the high potential program students4excellence
03/2011–01/2014
TUtheTOP, Vienna University of Technology
Participation in the high potential program TUtheTOP
Academic year 2012/13
Vienna University of Technology
Academic Excellence Scholarship
Academic year 2010/11
Vienna University of Technology
Academic Excellence Scholarship
Academic year 2009/10
Vienna University of Technology
Academic Excellence Scholarship
Academic year 2008/09
Certifications
Cisco Systems, Inc
Cisco Certified Network Associate (CCNA)
06/2006
CompTIA, Inc
CompTIA A+ Certification
06/2004
Languages
German (native language), English (fluent), Spanish (basic proficiency)
Computing
Programming languages: imperative / object-oriented: C, C++, C#, Eiffel, Java, JavaScript/CoffeeScript,
PHP, Python, Smalltalk, sh/bash/zsh logic-oriented: DLV, Prolog functional: Lisp declarative:
CSS, Jade, SQL, XML
Tools, frameworks and platforms: Clang, LLVM; Microsoft Research Z3; Linux Kernel und Userland; AngularJS, Node.js, MongoDB; Microsoft .NET, Java EE, Amazon Web Services
Operating systems: Linux, Mac OS X, Windows
Automation/Build Tools: Ansible, Docker, Vagrant
Revision control: Git, Mercurial, SVN, CVS
4/4