- Project Assistant, MSc
- TU Graz
- Institute of Applied Information Processing and Communications
- Inffeldgasse 16A
- 8010 Graz
- Austria
- Room: IFO2052
- Phone: +43 (316) 873-5574
- Email: rinat.iusupov[at]iaik.tugraz.at
Research Interests
- Formal methods, Synthesis, Hardware Verification
Current Position
- I am a PhD student associated with the Doctoral College Logical Methods in Computer Science, TU Graz. I started my PhD studies in September 2016 under the supervision of Prof. Dr. Roderick Bloem. I am also a project assistant in the SCOS group.
Education
- MSc in System and Software Engineering (Higher School of Economics), master thesis: Mining Extended Event Structures from Logs, June 2016
- BSc in Computer Science and Engineering (Ural Federal University)