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.
Location
Champaign, United States
Links
This person is not in any offices