Ilya Sergey

Researcher in programming languages, software verification and analysis.

nus.edu.sg

meta.com

microsoft.com

openwaygroup.com

zilliqa.com

gameland.com

edu.sg

kuleuven.be

mystenlabs.com

imdea.org

jetbrains.com

ac.uk

Singapore, Singapore

Contact info

ilyasergey

Associate Professor

National University of Singapore

• www.linkedin.com/company/national-university-of-singapore

Jan 2019 - Present

Singapore

Research Consultant

Mysten Labs

• www.linkedin.com/company/mysten-labs

May 2024 - Present

Associate Professor

Yale-NUS College

• www.linkedin.com/company/yale-nus-college

Nov 2018 - Dec 2024

Singapore

Lead Language Designer

Zilliqa

• www.linkedin.com/company/zilliqa

Feb 2018 - Apr 2024

Singapore

Assistant Professor

UCL

• www.linkedin.com/company/university-college-london

Nov 2015 - Oct 2018

Gower Street, London WC1E 6BT

Researcher

Facebook

• www.linkedin.com/company/facebook

Jan 2018 - Sep 2018

London, England, United Kingdom