Kevin Kolyakov

About

Computer Science student at the University of Waterloo focused on AI systems, developer infrastructure, and formal verification. I am an author of an ICSE 2025 publication on LEGOS-SLEEC, a framework for formalizing and analyzing normative requirements in software systems. Through my research and projects, I explore how rigorous reasoning and automation can improve the reliability of complex software systems. I enjoy building systems that combine AI reasoning with engineering workflows, including RAG pipelines, verification automation frameworks, and developer tooling. Outside of engineering, I love playing the piano and experimenting with music, which complements my interest in problem solving and structured thinking. Currently seeking software engineering internships focused on AI systems, infrastructure, or developer tools. GitHub: github.com/Kevin-Kolyakov SLEEC IntelliJ Plugin: github.com/Kevin-Kolyakov/sleec-intellij-plugin

Experience

Education