👻

Ke Du

3rd Year Ph.D. student advised by William Mansky at UI Chicago. Concurrency, verification, wee bit of type theory, whole lot of milktea (no bubbles).

GitHub E-Mail Twitter 🐔 Lab

Um..! 1 post. Keep on posting.

2023

05-19

Powered by Hexo & NexT.Gemini

0%