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 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
Thomas Pani, Georg Weissenbacher, Florian Zuleger
2018 Formal Methods in Computer Aided Design, FMCAD 2018 (Nikolaj Bjorner, Arie Gurfinkel, eds.), 2018.
Note: (to appear)
[bibtex] [pdf]
2017
[5] Empirical software metrics for benchmarking of verification tools
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Formal Methods in System Design, volume 50, number 2-3, pages 289-316, 2017.
[bibtex] [pdf] [doi]
2016
[4] Empirical software metrics for benchmarking of verification tools
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, pages 67-68, 2016.
[bibtex] [pdf]
2015
[3] Empirical Software Metrics for Benchmarking of Verification Tools
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 561-579, July 2015.
[bibtex] [pdf] [doi]
[2] Loop Patterns in C Programs
Thomas Pani, Helmut Veith, Florian Zuleger
ECEASST, volume 72, 2015.
[bibtex] [pdf] [doi]
2014
[1]Loop Patterns in C Programs
Thomas Pani
January 2014, Master's thesis, Vienna University of Technology.
[bibtex]

Service


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)

Latest News

CAV 2013 in St. Petersburg!

Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.  

Continue reading

Full news archive