Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
993 正在關注 8.2K 粉絲
載入中...
熱門用戶
