معرفی
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.
Florian Mihola در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- CChristoph HochrainerVienna University of Technology · پژوهشگر
- AAxel BrunnbauerVienna University of Technology · پژوهشگر
- CClemens EisenhoferVienna University of Technology · پژوهشگر
- TTobias SchwarzingerVienna University of Technology · پژوهشگر
- FFelix ReschVienna University of Technology · پژوهشگر
- GGeorg BrandstätterVienna University of Technology · عضو هیئت علمی