About
Florian Mihola is a PreDoc Researcher at TU Wien's Institute of Computer Engineering, part of the Faculty of Informatics. His work focuses on formal methods applied to low-level programming, including type systems for assembly languages. He teaches the 'Operating Systems' course (191.002) as a VU lecture.
Education: Holds a Dipl.-Ing. (engineering diploma) and BSc degree. His research emphasizes rigorous verification techniques for systems software, with a recent publication on bit-level type systems in assembly languages.
Research interests include formal methods, programming language design, and their application to cyber-physical systems. No notable scientific awards have been listed.
Currently affiliated with the Cyber-Physical Systems group at TU Wien, contributing to foundational research in systems software verification.
Find Florian Mihola elsewhere
Related Searches
You Might Also Like
- CChristoph HochrainerVienna University of Technology · Researcher
- AAxel BrunnbauerVienna University of Technology · Researcher
- CClemens EisenhoferVienna University of Technology · Researcher
- TTobias SchwarzingerVienna University of Technology · Researcher
- GGeorg BrandstätterVienna University of Technology · Academic
- FFelix ReschVienna University of Technology · Researcher