Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
가입 October 2008
993 팔로잉 중 8.2K 팬
