Ilya Sergey
Associate Professor
Singapore, Singapore
Summary
👤
Senior🎓
Top SchoolIlya Sergey is an associate professor and researcher with 16 years of experience at the intersection of programming languages, software verification and static analysis, currently based in Singapore and consulting for Mysten Labs. He has a strong academic track record (PhD from KU Leuven) combined with industrial impact, from JetBrains compiler work and significant contributions to the widely used intellij-scala plugin to research roles at Facebook and Microsoft Research. Ilya has led language design at Zilliqa and built formal models for concurrency and verification in multiple research posts, bridging theory and practical tooling. His work often focuses on program analyses and type systems, and he has a knack for improving IDE and compiler infrastructures through careful refactoring and control-flow analysis enhancements. Notably, he pairs deep formal expertise with hands-on engineering across open-source and industry projects, making formal methods directly useful to developers.
16 years of coding experience
20 years of employment as a software developer
Master of Science (M.Sc.), Faculty of Mathematics and Mechanics, Chair of Software Engineering, Summa Cum Laude (GPA 5.0/5.0), Master of Science (M.Sc.), Faculty of Mathematics and Mechanics, Chair of Software Engineering, Summa Cum Laude (GPA 5.0/5.0) at Saint Petersburg State UniversityDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Katholieke Universiteit Leuven
English, Spanish, Dutch, French, Russian
Stackoverflow
146reputation
2kreached
3answers
0questions
Github Skills (15)
flow-control10
control-flow10
intellij-plugin10
scala10
debugging6
ide6
eclipse6
javadoc6
netbeans6
scaladoc6
intellij-idea6
data-structure5
data-structures5
javas4
java4
Programming languages (11)
Github contributions (5)
JetBrains/intellij-scala
Oct 2009 - Mar 2010
Scala plugin for IntelliJ IDEA
Role in this project:
Back-end Developer
Back-end DeveloperContributions:71 commits in 5 months
Contributions summary:Ilya's commits primarily involve refactoring and modifications to the Scala plugin for IntelliJ IDEA. The changes included refactoring related to type system and compilation, as well as fixing code. Furthermore, the user updated the control flow analysis engine for enhanced analysis, including support for throw statements, match and while expressions. These modifications focused on improving the plugin's functionality and code quality.
intellij-platformintellij-ideascalaintellij-pluginintellij
ilyasergey/pnp
May 2014 - Jun 2021
Lecture notes for a short course on proving/programming in Coq via SSReflect.
Contributions:374 commits, 14 PRs, 49 pushes in 7 years 2 months
ssreflectnotesdependent-typeshomotopy-type-theorytheorem-proving
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.