I'm a graduate student at MIT majoring in Computer Science and Engineering and researching formal verification in the PDOS group. I have been interested in computer science ever since playing with drag-and-drop coding in middle school. Something about the process of logically thinking through every step of what you want your program to do is so mesmerizing to me.
I have six internship experiences under my belt, and thanks to them I have been able to explore front end and back end development as well as working in a Jira driven environment. Building this website also provided a great way to expand my skillset. I've done work with Python, TypeScript, Go, Kotlin, C++, C, Vue, React, PHP, and SQL. I particularly enjoyed the challenge of working with Kotlin because the language has many unique features I haven't seen in other languages, such as trailing lambdas and extension functions. Go was also a fun challenge because I hadn't worked with distributed systems before that. I'm always eager to learn new languages and build interesting software.
