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).
Publications
You can find a list of my papers here.
Research interests
Formal verification, model checking, SMT, TLA+.
Address:
Jure Kukovec
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
Room: | HD 03 23 (how to get there) |
Phone: | +43 (1) 58801 – 740 081 |
Email: | ta.etysrofnull@cevokukj |
Web: | http://forsyte.at/~kukovec/ |