My name is Chiara Travesset (pronounced Kee-ar-a Trah-veh-set) and I use she/her pronouns. I completed my Bachelor's in mathematics at Purdue University and am now pursuing a Ph.D. in mathematics at the University of Wisconsin Madison. I am a third year and so far, I like computability theory.
Speaking of computability theory, here's a set of notes I wrote to help people study for the logic qual: A Careless Introduction to Computability Theory. These are supposed to be a companion text to Logan Heath's A Careful Introduction to Model Theory (his notes are a lot better than mine!).
In my free time, I like to lift, bike, and hang out with my bunnies.
You can contact me at travesset (at) wisc.edu. Feel free to reach out if you're a prospective student stalking my website :)
In the summer of 2022, I worked on generating mission-time linear temporal logic truth tables with regular expressions under Dr. Kristin Rozier at the Iowa State University REU. This work was presented at the iFM Conference in Amsterdam.
My group at the Iowa State REU. They taught me how to solve a Rubik's cube.
In the summer of 2021, I worked on classifying all the unitary representations of almost Abelian Lie groups under Dr. Zhirayr Avetisyan at the UCSB REU.
Visiting the capybaras at the Santa Barbara zoo.
In the spring of 2021, I worked on constructing a measure that is m-adic and n-adic doubling for m,n coprime, but not doubling, under Dr. Theresa Anderson. This resulted in a publication. I unfortunately don't have any pictures associated with this project :(