# Ilya Sergey — WebsDocs ASG Directory Profile

This is a public business listing published by the WebsDocs ASG Directory.
It provides machine-readable public information and static answers. It is not a live seller AI.



Canonical Directory profile:
https://directory.websdocs.com/business/ilya-sergey

Canonical Directory JSON:
https://directory.websdocs.com/business/ilya-sergey.json

Machine-readable public profile:
https://aig.websdocs.com/ai/ilya-sergey/profile

Company profile JSON:
https://aig.websdocs.com/ai/ilya-sergey/data/aig-company-profile.json

Static Agent Card:
https://aig.websdocs.com/ai/ilya-sergey/.well-known/agent-card.json

Public discovery endpoints:
- Profile: https://aig.websdocs.com/ai/ilya-sergey/profile
- Company JSON: https://aig.websdocs.com/ai/ilya-sergey/data/aig-company-profile.json
- Services: https://aig.websdocs.com/ai/ilya-sergey/services
- Offers: https://aig.websdocs.com/ai/ilya-sergey/offers
- Schema: https://aig.websdocs.com/ai/ilya-sergey/schema.jsonld
- Agent Card: https://aig.websdocs.com/ai/ilya-sergey/.well-known/agent-card.json

Business summary:
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.

Status and boundaries:
- Directory public profile
- Customer-owned domain required: not applicable
- Active seller agent: false
- A2A messaging: unavailable
- Live reasoning or RAG: unavailable
- UCP and MCP: unavailable
- Checkout and payment execution: unavailable
- Private data access: unavailable

Use the canonical Directory profile for current public evidence.  Do not infer that a live AI Sales Gateway is active.