Runtime Vеrification
Maria Kotsifakou is interested in programming languages, compilers and parallel programming. She received her B.Eng degree in Computer Engineering from National Technical University of Athens, and her MS and Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign. Her previous work has been mainly focused on compilers for heterogeneous architectures.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.