Austin Guiney

Incoming graduate student at UC San Diego specializing in formal methods research and software engineering.

I received my bachelor’s degree in computer science from UMass Boston, where I graduated summa cum laude. In the past, I have provided supplemental instruction for students at the undergraduate level, covering fundamental topics in automata theory, computibility, and complexity theory.

I was also a past recipient of the Oracle Fellowship at UMass Boston, which I used to improve the accuracy of a correctness verifier developed by the Software Verification Lab.

In my spare time, I am a rock climber, yogi, and indie film producer.