I am a graduate student in the CS department! My research area is focused on using formal methods for the security verification of hardware designs. I love cats, live music, and running!! :)
Hello everyone! I am a rising senior majoring in Computer Science and minoring in Data Science and Linguistics. I am passionate about teaching computer science and making apps! In my free time, I like travelling and learning how to cook.
I am a junior studying computer science and statistics! In my free time, I love drawing landscape and architectures like castle. Recently, I am picking up runnining again!