Jure Kukovec

» Project Assistant, PhD student

About me

I’m a PhD student of Igor Konnov and Josef Widder, and have been working on the Apalache project since Nov. 2016. I currently hold a MSc in Mathematics, from the University of Ljubljana, but I’ve since transitioned to CS. My current work focuses mostly on (bounded) model checking of TLA+ specifications, which you can follow here (Github).


You can find a list of my papers here.

Research interests

Formal verification, model checking, SMT, TLA+.

Jure Kukovec
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien

Room: HD 03 23 (how to get there)
Phone: +43 (1) 58801 – 740 081
Email: jkukovec@forsyte.at
Web: http://forsyte.at/~kukovec/

Latest News

Jens Pagel wins Bill McCune PhD Award

We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.

Continue reading

Full news archive