Ilya Sergey
ilyasergey@types.pl
<p>Associate Prof at NUS School of Computing. PL, proofs, systems, pictures of corgi.</p><p><a href="https://ilyasergey.net" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">ilyasergey.net</span><span class="invisible"></span></a></p>
Posts
-
View post
@markusde @krismicinski @kha yes, we are working on this right now, taking a lot of inspiration from Pulse and recent Iris-related works. Stay tuned. :)
-
View post
@krismicinski have you considered making one day (or two, or three) a week fully clear from teaching, meeting, and admin, focusing it solely on research?
-
View post
@krismicinski on those days I (1) don’t check email until late afternoon and (2) work from a coffee shop.
-
View post
@krismicinski send me an email.