Meru Gopalan
AI Safety, Formal Verification, Language, Computers, Religion, and Philosophy.
I study Computer Science at the Georgia Institute of Technology. I write technical AI safety workshops and run them as an affiliate of the UChicago XLab. I also organize and run technical fellowships/curriculums/workshops at GT AISI. I participated in the Fall '25 SPAR cohort and currently work on research in formal methods - trying to win the SAT comp! I previously did some linguistics work and am currently learning German and Khmer.
I'm part of club swimming and my race of choice is the sprint triathlon. I won a hackathon with an AI management software. I daily-drive Arch Linux with dwm. To relax I enjoy listening to and trying my hand at Carnatic music.
LinkedIn — Github — Substack— meru[at]gatech[dot]edu
I also go by Dasan and Nitya