Aglaia Norza
⚲ Rome / Vienna (incoming)
get in touch: [email] · [linkedin]
I recently graduated with a BSc in computer science @ sapienza (with a thesis titled "Complexity Characterization for Norm Synthesis in Alternating-Time Temporal Logic"), and i am currently preparing to start my MSc studies in Logic and AI @ TU Wien. I'm very interested in logics, 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.
I also take a lot of (film) photos of subway stations and trains
(these are all in berlin ! which is one of my favourite cities)
- classical, computational & mathematical logic: formal systems and the boundaries of computability !
- strategic & temporal logics: modal and strategic frameworks like ATL*
formal methods / verification
- game- & automata-theoretic approaches
- automated deduction (currently learning Lean! (i realised it could be very fun after building a small Hoare proof assistant in SML for a university course !))
areas i want to dive deeper into
- foundations of programming language theory (type theory, lambda calculus, semantics of programming languages etc)
- i'm extremely fascinated by language ! currently catching up with some philosophy of language and plan to learn about linguistics (and its relationship with cs and logic) as well
* overall, i am most drawn to the mathematical side of computer science and the relationship between logic and computation
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
my blog a digital garden of sorts. a place where i talk about things i find interesting, share inspirations, and ramble about whatever's on my mind. [not very academic].
BSc in Computer Science
Sapienza University · Rome
September 2023 - July 2026
110/110 cum laude
Classical High School
Liceo T. Tasso · Rome
2018 - 2023
100/100 cum laude
.jpg)