Hello, I'm Dakota

A CS PhD student at CU Boulder in the CUPLV Group.

I research programming languages and verification, with a current emphasis on program logics and static analysis.

Feel free to contact me via email at dakota.bryan@colorado.edu.

Featured Project