Ilya Sergey (@ilyasergey) — Twitter ブラウザ

登録して招待リンクを共有すると、動画再生報酬と紹介報酬を獲得できます。

今すぐ登録

コレクションに追加

Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.

993 フォロー中 8.2K ファン

人気のあるユーザー

GIGA特撮ヒロイン【公式】

63K ファン

オリコンニュース

1.9M ファン

4.2M ファン

100.8K ファン

ツイッター速報〜BreakingNews

256.7K ファン

26.4M ファン

568.7K ファン

ファミ通.com

1.4M ファン

モデルプレス

2.1M ファン

PR TIMESテクノロジー

28.2K ファン

@Kongkongda5882

34K ファン

吴说区块链

@wublockchain12

181.4K ファン

3.4M ファン

一劍浣春秋

0 ファン

MANTANWEB／毎日キレイ

68.9K ファン