Thomas Pani
Research Assistant (Univ.Ass.), PhD student
About Me
I’m a research assistant in the FORSYTE group at TU Wien. I started my PhD studies under the supervision of Helmut Veith and am currenlty co-supervised by Georg Weissenbacher and Florian Zuleger. I hold a Master’s and Bachelor’s degree in Computer Science from TU Wien.
Curriculum Vitae (Jul 2018)
NEW: Students interested in formal methods and machine learning should check related master’s thesis and semester project topics.
Interests
- concurrency, thread-modular reasoning, parameterized systems
- termination, liveness, automated complexity & resource bound analysis
Publications
| 2018 | |
| [6] | Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms 2018 Formal Methods in Computer Aided Design, FMCAD 2018 (Nikolaj Bjorner, Arie Gurfinkel, eds.), 2018. Note: (to appear) |
| 2017 | |
| [5] | Empirical software metrics for benchmarking of verification tools Formal Methods in System Design, volume 50, number 2-3, pages 289-316, 2017. |
| 2016 | |
| [4] | Empirical software metrics for benchmarking of verification tools Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, pages 67-68, 2016. |
| 2015 | |
| [3] | Empirical Software Metrics for Benchmarking of Verification Tools Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 561-579, July 2015. |
| [2] | Loop Patterns in C Programs ECEASST, volume 72, 2015. |
| 2014 | |
| [1] | Loop Patterns in C Programs January 2014, Master's thesis, Vienna University of Technology. |
Service
- External reviewer for ESSOS’16, FMCAD’16, STACS’17, FMCAD’17
- Local co-organizer of the Vienna Summer of Logic (VSL)
July 9-24, 2014 . Vienna, Austria - Organization committee member of the Vienna Science Ball
January 31, 2015 . Vienna, Austria
January 30, 2016 . Vienna, Austria
January 28, 2017 . Vienna, Austria - Organization committee member of the Vienna March for Science
April 22, 2017 . Vienna, Austria
Acknowledgements
GrammaTech has graciously granted an academic license of CodeSurfer for my PhD research in the PROSEED project.
Address:
Thomas Pani
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
| Room: | HA 03 10 (how to get there) |
| Phone: | +43 (1) 58801 – 184 09 |
| Fax: | +43 (1) 58801 – 9184 09 |
| Email: | ta.etysrofnull@inap |
| Web: | http://forsyte.at/~pani/ |
| http://thpani.net/ (personal website) |
