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.
Current role