Curriculum Vitae - Formal Methods in Systems Engineering
Werbung
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
