Staff
Instructors

Tim Nelson
HTA

Anirudh Narsipur he/him/his
I’m a mysterious person but some say I study Computational Biology and like sci-fi.

Megan Frisella she/her/hers
I study Math and Computer Science at Brown. My interests include formal verification + cryptography, frisbee, and crocheting!

Phunn Boonchouchouy he/him/his
I’m a senior from Thailand, concentrating in CS and Econ. I love listening to music and watching series!
GTA

Elijah Rivera
I’m a PhD student working at the intersection of Computer Science Education (CSEd) and Programming Languages (PL). My research interests include program synthesis, formal verification/testing, and student development of abstractions and plans. In my spare time I play music, play League, and help out at my church.
UTA

Ben Ryjikov he/him/his
I’m a senior studying CS and Math! Please tell me music and stand-up comedy recommendations!

Carter Cobb they/them
I’m a senior studying math and CS, and I also like crosswords and punk music!



Qianfan Chen
I am a senior concentrating in Math-CS. I love formal methods, graph theory, traveling, and photography.
UTA/STA

Swetabh Changkakoti he/him/his
hello! I really like pine leaves, adrianne lenker, STS twitter, and programming languages. I would love to talk about any of these, SRC (especially in global south contexts), or anything formal methods!
STA

Tanya Wadhawan she/her/hers
My name is Tanya Wadhawan and I am currently a Master’s of Science student concentrating in Cybersecurity. I graduated from Vanderbilt University in 2018 and worked in federal consulting in Washington D.C. for the past 4 years. I am very excited to be an STA!