Thomas Pani
Short CV (Oct 2018)
Full academic CV (Oct 2018)
NEW: I’m offering master’s thesis and semester project at the intersection of formal methods and machine learning.
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 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 |
Fax: | +43 (1) 58801 – 9184 09 |
Email: | ta.etysrofnull@inap |
Web: | http://forsyte.at/~pani/ |
http://thpani.net/ (personal website) |