Ilya Sergey
Gopiandcode > Who am I?
NUS PLSE - Programming Languages & Software Engineering @ NUS
Mayank Keoliya
zqy1018.top
Sewen Thy
Description: Verified Systems Engineering @ NUS
People News Blog Posts Projects Publications VERSE Verified Systems Engineering @ NUS Building trustworthy safety-critical systems and advancing the state of the art in formal verification About Us
We do research in the design and implementation of programming languages, program synthesis, and computer-assisted formal reasoning about complex systems, at the School of Computing of National University of Singapore , as a part of PLSE@NUS lab .
Postdoc positions are available in a project on automated program repair via static analysis and verification . Check out the project page for the details and get in touch!
Ilya Sergey
Gopiandcode > Who am I?
NUS PLSE - Programming Languages & Software Engineering @ NUS
Mayank Keoliya
zqy1018.top
Sewen Thy