Search time: 0.18 seconds ←Prev Results for "related:lics.siglog.org" - Page 3 Ilya sergey coordinates associate professor at... I am a tenured associate professor at the 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. i serv

https://ilyasergey.net

- Related

• Welcome to lse research online - lse research online welcome to lse r...

  	Welcome to lse research online, the institutional repository for the london school of economics and political science. lse research online contains research produced by lse staff, including journal articles, book chapters, books, working papers, conf

  https://eprints.lse.ac.uk

  - Related

• 小林研究室 小林研究室 新着ニュース 教職員 東大小林研（�...

  	東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 （詳しい研究内容は 本研究室では，ソフトウェアに関する基礎理論とそのプログラム検証などへの応用についての研究を行っ

  https://www-kb.is.s.u-tokyo.ac.jp

  - Related

---

Sorry! You have reached the limit of 100 accesses per IP in 24 hours!