Lillian Tsai

Systems Research Engineer at MIT EECS

Mountain View, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Lillian Tsai is a systems research engineer and PhD candidate with 11 years of experience designing and prototyping infrastructure for privacy- and security-focused systems, currently researching in Systems Research at Google and as a Communications Lab Fellow at MIT EECS. Her background spans high-impact research internships and fellowships at Microsoft Research, Max Planck, and Harvard, with hands-on work in speculative-execution memory analysis, encounter-based secure Bluetooth communication, and transactional memory systems. She combines deep systems and distributed-systems expertise with teaching and course development experience (including serving as TA for MIT’s 6.824), enabling clear translation of research into practical, deployable prototypes. Based in Mountain View, she pairs rigorous academic training from Harvard and MIT with a track record of cross-disciplinary collaboration on the social and ethical dimensions of computing. Off the clock she’s an avid violinist and climber who still sightreads chamber music, a detail that reflects her penchant for rapid pattern recognition and collaborative problem-solving.
code11 years of coding experience
job6 years of employment as a software developer
bookHigh School, High School at Henry M. Gunn High School
bookDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Massachusetts Institute of Technology
bookA.B./S.M. Computer Science, A.B./S.M. Computer Science at Harvard University
github-logo-circle

Github Skills (29)

concurrent10
verification10
coq10
concurrency10
rust9
transactional7
ntfs6
act5
lock-free5
android-app5
nfs5
server4
jsinterop4
sdk4
c-library4

Programming languages (6)

JavaC++RustCCoqGo

Github contributions (5)

github-logo-circle
tslilyai/edna

Jul 2023 - May 2024

Data disguising and revealing for web applications
Contributions:1 release, 20 PRs, 470 pushes in 10 months
tslilyai/tslilyai.github.io

Dec 2017 - Jun 2024

Contributions:89 pushes, 1 branch in 6 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Lillian Tsai - Systems Research Engineer at MIT EECS