Home

Anny Beatriz Azevedo

I am a Master’s student at IME-USP, working under the supervision of Professor Benjamin Merlin Bumpus. During my Bachelor’s I studied some Model Theory and internal logic of toposes. Now in my Master’s, I have shifted my focus towards applications of Category Theory in Computer Science. Currently, I am interested in using Sheaf Theory to describe computational problems.

Interests:

• Toposes and their internal logic
• Sheaf Theory
• Applied Category Theory in Computer Science
• Set Theory, Forcing technique
• Point Set Topology