Sriram Sami

Lecturer at the National University of Singapore

I teach introductory courses for Computer Engineering students and Parallel Computing for Computer Science students. I proudly advise the NUS Student High-Performance Computing Team :)

My graduate research focused on security and privacy issues, and novel use-cases for active sensors such as LIDARs.

Office:COM2 03-29, School of Computing

GitHubLinkedInEmail

HomeResearchTeachingBlogProjectsGPG KeySSH Key

Selected Projects

View all

SinglangA programming language for Singaporeans, written with Singlish syntax and a browser playground.PID Flight LabAn interactive teaching tool for building intuition about PID controllers through drone simulations.TurboAnimatorBrowser extension to automate tedious animation tasks in Google Slides with a single keyboard shortcut.NUS Timetable OptimizerA free and efficient tool to find the best timetable for your NUS modules.Singapore Blood StocksA Telegram bot and cheeky scrapers to get the latest blood stock levels in Singapore.

Recent Writing

Blog archive

(Maybe) Tracking Singapore's Blood Stock FluctuationsA beginner's experience with TLAPS (The TLA+ Proof System)A beginner's experience with TLAPS (The TLA+ Proof System)Learning TLA+ to write formal specificationsLearning TLA+ to write formal specificationsRandom LWN Kernel ArticleRedirects to a random LWN kernel article.Optimizing Haskell ProgramsOptimizing a memory-hungry Haskell Program