Ilya Sergey
Time 2021-01-09 15:06:11Web Name: Ilya Sergey
WebSite: http://ilyasergey.net
ID:161689
Keywords:
Ilya,Sergey,Description:
I am a tenure-track Associate Professor atYale-NUS College with a jointappointment at School of Computing ofNational University of Singapore, where Irun the VERSE research lab.I do research in programming languages, software verification, andprogram synthesis. Lately, I have been focusing on developing soundand scalable methodologies for building provably correct concurrentand distributed systems. I am the recipient of theAITO Dahl-Nygaard Junior Prize 2019.I designed and co-developed Scilla, aprogramming language for safe smart contracts, used byZilliqa. I organised theICFP Programming Contest 2019.In the past, I contributed toFacebook InferGlasgow Haskell Compiler.Very long time ago, I used to work onScalaand Clojure support inIntelliJ IDEA.Before moving to Singapore, I was a faculty atUniversity College Londonin 2015-2018. Prior to that, I was a postdoc atIMDEA Software Institute. I hold a PhDin Computer Science from KU Leuven,and an MSc in mathematics fromSaint Petersburg State University. Beforejoining academia I worked as a software engineer atJetBrains. I will serve as a Programme Committee Chair for ESOP’22. Our paper on Automated Repair of Heap-Manipulating Programs from Separation Logic-style specifications will appear at VMCAI 2021. An extended paper on Distributed Protocol Combinators with an expanded toolset and more case studies has been accepted for publication in Journal of Functional Programming. Now we can do Paxos! Our paper on mechanised verification of probabilistic properties of Bloom filters and their generalisations has been accepted to CAV 2020.I am married to CG artist Lilia Anisimova. Last time I checked, my Erdősnumber was 4. The photo above is couresy of Elena Alhimovich. Here is my "official" photo,suitable for appropriate occasions. Yet another picture of mine by Jorge Cham, for I have contributed to thePHD Movie 2 onKickstarter. While living in Madrid, I enjoyed its inimitableatmosphere and delicious food. For the latter, this Maribel's Dining Guide to Madrid(kindly provided by Aleks Nanevski) always came in handy.<<< Thank you for your visit >>>
Websites to related : Hírek | hvg.hu
Üdvözöljük a HVG.hu-n! A lenti gombra kattintva megismerheti megújult oldalunkat! Indítás Az EMMI szerint arra is fel kell készülni, ha nagy
SaborMediterraneo.com - RevistaLegumbres: platos de invierno saludables y de mucho sustento Las legumbres son el principal ingrediente de los cocidos espa oles tradicionales y de
Digital Repository - VillanovaThis collection is part of the Digital Commons Network™
Las mejores recetas de Cocina caPollo a la miel, receta de los restaurantes chinos Aprende a preparar pollo a la miel. Una receta habitual de los restaurantes chinos, que ahora podr
Learn Languages Online - LanguagFree Lesson Offer Sign-up Receive exclusive offers, learn about new releases, and more. By signing up, I agree to receive promotional email messages f
Travel Phrases - Learn Basic PhrGood. You start speaking today! Just pick one of our 34 languages — from Arabic to Vietnamese — and get our fast and easy Survival Phrases lessons.
Stroke Survivor - Resources forPaul Named Virginia Advocate of the Year AHA s You re the Cure HonorClick here Stroke Survivor Stroke survivors, caregivers, rehabilitation profession
Hoopstars CanadaLet the Madness begin! Whether it is NCAA Division 1 (Final Four, NIT, CBI, CIT), NCAA Division 2, or the biggest junior college association (NJCAA Di
Login to Desktop NexusHi everyone! We're hard at work trying to keep our community clean, so if you see any spam, please report it here and we'll review ASAP! Thanks a mill
Astarea - Yacht Charter CompanyDiscover Our Fleet of Rental BoatsWe can recommend a wide range of sailing boats available on the middle and south Adriatic, with routes which include
adsHot Websites