{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@type": "Organization",
      "@id": "https://ilyasergey.net/#organization",
      "name": "Ilya Sergey",
      "url": "https://ilyasergey.net/",
      "description": "Ilya Sergey Toggle navigation about (current) research lab activities publications students talks teaching cv Ilya Sergey Associate Professor at National University of Singapore I am a tenured Associate Professor at the School of Computing of National University of Singapore , where I lead the VERSE lab . I do research in programming languages, software verification, distributed systems, and program synthesis. Nowadays, most of my work involves engineering mechanised proofs in the Lean proof assistant."
    },
    {
      "@type": "WebPage",
      "@id": "https://directory.websdocs.com/business/ilya-sergey#asg",
      "name": "Ilya Sergey ASG Directory Profile",
      "url": "https://directory.websdocs.com/business/ilya-sergey",
      "isPartOf": {
        "@id": "https://ilyasergey.net/#organization"
      },
      "description": "Public business information published by the WebsDocs ASG Directory."
    }
  ]
}