Guy Repta received his B.S. in Computer Science from UIUC in 2019. He learned about K and runtime verification when taking a course in programming language design from Grigore Roșu. His interests include software engineering practices, realtime systems, and game design.
This person is not in the org chart
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.