Grigore Rosu es profesor en la Universidad de Illinois en Urbana-Champaign y presidente y director ejecutivo de Runtime Verification. Investigador, educador y emprendedor en las áreas de lenguajes de programación, métodos formales e ingeniería de software. Mi objetivo principal es diseñar y desarrollar técnicas que ayuden a mejorar la calidad, el rendimiento y la eficacia de los sistemas informáticos.
