George Pîrlea

pirlea.net

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

立即前往返回首页