Hispanopedia Wiki
Articulo de referencia

Ilya Sergey

[[Programming language]]s [[Formal methods]]"},"workplaces":{"wt":"[[University College London]] [[National University of Singapore]] [[Yale-NUS College]]"},"alma_mater":{"wt":"...

Hispanopedia WikiContenido en espanolLectura gratuita

Ilya Sergey (nacido en 1986) es un científico informático ruso y profesor asociado en la Escuela de Informática de la Universidad Nacional de Singapur , [ 1 ] donde dirige el laboratorio de Ingeniería de Sistemas Verificados. [ 2 ] Sergey investiga en diseño e implementación de lenguajes de programación , verificación de software , sistemas distribuidos , síntesis de programas y reparación de programas. Es conocido por diseñar el lenguaje de programación Scilla para contratos inteligentes. [ 3 ] Es autor del libro gratuito en línea Programs and Proofs: Mechanizing Mathematics with Dependent Types, Lecture notes with exercises , que introduce los conceptos básicos del razonamiento mecanizado y la demostración interactiva de teoremas usando Rocq (anteriormente conocido como Coq ).

Sergey tiene un nombramiento conjunto en Yale-NUS College [ 4 ] y es diseñador principal de lenguajes en Zilliqa. [ 5 ] Obtuvo su maestría en 2008 en la Universidad Estatal de San Petersburgo y su doctorado en 2012 en la KU Leuven . Antes de unirse a NUS, fue investigador postdoctoral en el IMDEA Software Institute y profesor en el University College London . Previamente a su carrera académica, trabajó como desarrollador de software en JetBrains .

Premios y distinciones

  • Premio Júnior Dahl-Nygaard 2019
  • Premio al Artefacto Distinguido OOPSLA 2019 [ 7 ] por el artefacto [ 8 ] Scilla comentado en el artículo [ 3 ]
  • Premio POPL 2019 al artículo distinguido [ 9 ] por el artículo Estructuración de la síntesis de programas de manipulación de montón [ 10 ]
  • Premio PLDI 2021 al artículo destacado [ 11 ] por el artículo Síntesis de programas cíclicos [ 12 ]
  • Premio Yale-NUS 2021 al Investigador Distinguido [ 13 ]

Referencias

  1. ↑ "Directorio fotográfico del profesorado de informática de la NUS" . Consultado el 5 de octubre de 2022 .
  2. ↑ "Verso: Ingeniería de Sistemas Verificados@US" . Consultado el 5 de octubre de 2022 .
  3. 1 2 Sergey, Ilya; Nagaraj, Vaivaswatha; Johannsen, Jacob; Kumar, Amrit; Trunov, Anton; Hao, Ken Chan Guan (octubre de 2019). Stephen N. Freund; Eran Yahav (eds.). "Programación de contratos inteligentes más segura con Scilla" . Proc. ACM Program. Lang . Actas de la ACM sobre lenguajes de programación (PACMPL). 3 (OOPSLA). Association for Computing Machinery : 1–30 . doi : 10.1145/3360611 . S2CID 203577198 . 
  4. ↑ "Yale NUS College: Ilya Sergey" . Consultado el 5 de octubre de 2022 .
  5. ↑ "Zilliqa: Nuestro equipo" . Consultado el 5 de octubre de 2022 .
  6. ↑ «Artefactos OOPSLA» . Consultado el 6 de octubre de 2022 .
  7. ↑ El anuncio de los cuatro artefactos elegidos como distinguidos aparece a dos tercios de la página web [ 6 ].
  8. ↑ Sergey, Ilya; Vaivaswatha Nagaraj; Johannsen, Jacob; Kumar, Amrit; Trunov, Antón; Hao, Ken Chan Guan (2019). "ilyasergey/scilla-benchmarks: Artefacto OOPSLA 2019" . doi : 10.5281/zenodo.3368504 . Consultado el 7 de octubre de 2022 .{{cite journal}}: Para citar una revista se requiere |journal=( ayuda )
  9. ↑ "Artículo destacado de POPL 2019" . Consultado el 6 de octubre de 2022 .
  10. ↑ Polikarpova, Nadia; Sergey, Ilya (enero de 2019). "Estructuración de la síntesis de programas que manipulan el montón" . Proc. ACM Program. Lang . Actas de la ACM sobre lenguajes de programación. 3 (POPL). ACM : 1–30 . arXiv : 1807.07022 . doi : 10.1145/3290385 . S2CID 49867437 . 
  11. ↑ "Artículos destacados" . Consultado el 6 de octubre de 2022 .
  12. ↑ Itzhaky, Shachar; Peleg, Hila; Polikarpova, Nadia; Rowe, Reuben NS; Sergey, Ilya (junio de 2021). "Síntesis cíclica de programas". PLDI 2021: Actas de la 42.ª Conferencia ACM SIGPLAN sobre Diseño e Implementación de Lenguajes de Programación . Vol. 2. ACM . págs. 994–969 . doi : 10.1145/3453483.3454087 .  
  13. ↑ "Los premios anuales de reconocimiento a la investigación celebran los logros del profesorado de Yale-NUS" . Consultado el 7 de octubre de 2022 .