b为什么越小越过瘾ADC

    1. <form id=dYZHyJLjQ><nobr id=dYZHyJLjQ></nobr></form>
      <address id=dYZHyJLjQ><nobr id=dYZHyJLjQ><nobr id=dYZHyJLjQ></nobr></nobr></address>

      SPLASH 2022
      Mon 14 - Sat 19 November 2022 Auckland, New Zealand
      Ilya Sergey

      Registered user since Mon 13 Oct 2014

      Name:Ilya Sergey
      Bio:

      I am a tenured Associate Professor at National University of Singapore and Yale-NUS College. I do research in programming language design and implementation, software verification, distributed systems, program synthesis and repair. I am the recipient of the AITO Dahl-Nygaard Junior Prize 2019. I designed and co-developed Scilla, a programming language for safe smart contracts, used by Zilliqa. I organised the ICFP Programming Contest 2019.

      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:National University of Singapore
      Personal website:http://ilyasergey.net
      Twitter:https://twitter.com/ilyasergey
      GitHub:https://github.com/ilyasergey
      Research interests:Programming Languages, Concurrency, Static Analysis, Program Verification, Program Synthesis

      Contributions

      SPLASH 2022 APLAS PC Chair in Organizing Committee
      Show activities from other conferences

      Using general profile
      HoMEmenuCopyrights 2015.All rights reserved.More welcome - Collect from power by english Blok number sss85786789633111 Copyright