pirlea.net - George Pîrlea

home > domains > pirlea.net

Description: PhD student at NUS. Interested in formal methods, programming languages and distributed systems. Advised by Ilya Sergey.

Example domain paragraphs

Bio / Blog / Teaching / CV

I am a third-year PhD student at the National University of Singapore, supervised by Ilya Sergey .

My interests include formal methods, programming languages, distributed systems, and cryptography.

Links to pirlea.net (8)

• ilyasergey.net Ilya Sergey
• nus-plse.github.io NUS PLSE - Programming Languages & Software Engineering @ NUS
• verse-lab.github.io VERSE Lab
• icfpcontest2019.github.io ICFP Programming Contest 2019
• reasoningaboutfinancialsystems.org Formal Reasoning about Financial Systems | Workshop at Gates 403, Stanford Computer Science
• yasunari.net Yasunari Watanabe
• certichain.github.io CertiChain
• ywatana.be Yasunari Watanabe