Thomas Pani
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.
Short CV (Oct 2019)
NEW: I’m offering master’s thesis and semester projects at the intersection of formal methods and machine learning.
Interests
- verification of parameterized programs via thread-modular reasoning
- automated complexity & resource bound analysis
- portfolio approaches to program verification
Publications
| 2020 | |
| [8] | Rely-Guarantee Bound Analysis of Parameterized Concurrent Shared-Memory Programs , 2020. Note: under submission |
| [7] | Thread-modular Counter Abstraction for Parameterized Program Safety Formal Methods in Computer Aided Design, FMCAD (Alexander Ivrii, Ofer Strichman, eds.), 2020. Note: to appear |
| 2018 | |
| [6] | Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms Formal Methods in Computer Aided Design, FMCAD (Nikolaj Bjørner, Arie Gurfinkel, eds.), pages 1–9, 2018, IEEE. |
| 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, TU Wien. |
Service
- External reviewer for TACAS’19, STACS’17, FMCAD’17, ESSOS’16, FMCAD’16
- Local co-organizer of the Vienna Summer of Logic (VSL)
July 9-24, 2014 . Vienna, Austria - Organization committee member of the Vienna Science Ball
- Organization committee member of the Vienna March for Science
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 |
| Email: | pani@forsyte.at |
| Web: | http://forsyte.at/~pani/ |
| http://thpani.net/ (personal website) |
