
Registered user since Mon 13 Oct 2014
Name:Ilya Sergey
Bio:
I am a tenure-track Associate Professor at Yale-NUS College with a joint appointment at School of Computing of National University of Singapore, where I run the VERSE research lab.
I do research in programming language design and implementation, software verification, program synthesis and repair. Before moving to Singapore, I was a faculty at University College London in 2015-2018. Prior to that, I was a postdoc at IMDEA Software Institute. I hold a PhD in Computer Science from KU Leuven, and an MSc in mathematics from St Petersburg University. Before joining academia I worked as a software engineer at JetBrains.
Country:Singapore
Affiliation:Yale-NUS College; National University of Singapore
Personal website:http://ilyasergey.net
Twitter:https://twitter.com/ilyasergey
Research interests:Programming Languages, Concurrency, Static Analysis, Program Verification, Program Synthesis
Contributions
PLDI 2021 | Practical Smart Contract Sharding with Ownership and Commutativity Analysis Committee Member in Virtualization Committee Cyclic Program Synthesis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2021-profile
View general profile
View general profile