about me

[will maybe find a photo]

Aglaia Norza

rome, italy

university student


i'm currently finishing up the third year of my bsc in computer science @ sapienza (i'm graduating in july with a thesis on Norm Synthesis for ATL*); i'm very interested in logics (computational and classical), computability, formal methods, and anything related.

outside of uni, i spend most of my time making very specific playlists, drinking tea, and consuming any type of medium.

INTERESTS:

logics!!

  • classical and computational logics
  • formal methods, automata- + game-theoretic approaches

things i am exploring (but don't know enough about yet):

  • automated deduction
  • type theory & category theory
  • (more) semantics of programming languages

literature / poetry

  • i am very weak to fitzcarraldo editions
  • some of my favourite works (excluding obvious picks) include the wasteland, the years, anything Han Kang, drive your plough over the bones of the dead, água viva, Anne Carson's works, Sarah Kane's pieces & various poetry

music / cinema

  • i'm slowly building a CD collection !
  • i enjoy anything from classic rock to more modern stuff (e.g. bowie, dire straits, bruce springsteen, air, italian cantautorato, nina simone, radiohead, daft punk, massive attack, fontaines dc... (i have most of the music i listen to on my spotify !))
  • i love melancholic, often dreamlike (sometimes existential ?) films (big wong kar-wai fan !)

visuals & design

  • i make small graphics in my spare time
  • i really like collages/mixed media/type-heavy designs

i'm extremely fascinated by language ! currently catching up with some philosophy of language and plan to learn about linguistics as well

  • i am very fond of wittgenstein
my blog a digital garden of sorts. a place where i talk about what i find interesting, share inspirations, and ramble about whatever's on my mind. [not very academic].
links
cv github linkedin email spotify


EDUCATION:

BSc in Computer Science

Sapienza University · Rome

September 2023 - July 2026


Classical High School

Liceo T. Tasso · Rome

2018 - 2023