Ivan Radiček

Contact information
Email: | Last name (radicek) at forsyte.at |
Web: | FORSYTE webpage Personal webpage |
Phone: | +43 (1) 58801 – 740035 |
Address: | Technische Universität Wien Institut für Informationssysteme 184/4 Favoritenstraße 9–11 1040 Wien Austria |
Room: | HE0309 (directions) |
Student projects offered in the area of automated online education!
About me
I am a PhD student and a project assistant at Formal Methods in Systems Engineering (FORSYTE) group, Institute of Information Systems, TU Wien; advised by and collaborating with Florian Zuleger and Sumit Gulwani.
I am working on applying formal methods and programming languages technology in education (Massive Open Online Courses).
I received both BSc and MSc degrees from Faculty of Electrical Engineering and Computing (FER), University of Zagreb.
For more information download my CV or visit my personal webpage.
Publications
2018 | |
[5] | Monadic refinements for relational cost analysis POPL 2018, 2018. Note: (to appear) |
2016 | |
[4] | Automated Clustering and Program Repair for Introductory Programming Assignments CoRR, volume abs/1603.03165, 2016. |
[3] | Feedback generation for performance problems in introductory programming assignments Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, pages 49-50, 2016. |
2014 | |
[2] | Feedback Generation for Performance Problems in Introductory Programming Assignments ArXiv e-prints, volume abs/1403.4064, March 2014. Note: technical report/extended version of FSE14 paper |
[1] | Feedback Generation for Performance Problems in Introductory Programming Assignments Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 41-51, 2014, ACM. |