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

Learn more about how to search on this page.
© 2016-2025 ICDST, All rights reserved.
Sorry! You have reached the limit of 100 accesses per IP in 24 hours!