Aglaia Norza
Rome, Italy
University student
I'm currently finishing 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.
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)
logics (the core)
- 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 (i am currently focusing on these areas for my BSc thesis, and it has been an incredibly interesting research experience which i am eager to continue !!)
- automated deduction and theorem proving - currently learning Lean! (my curiosity grew out of building a small Hoare proof assistant in SML for a university course and realizing it could be very fun !)
foundations of PLT
- my interest in this side of cs was shaped by two great courses i took, which covered programming language theory (including the curry-howard isomorphism, pure & typed λ-calculus, type systems, inductive algebras) as well as formal semantics (operational and denotational frameworks, CPOs, fixpoint theorems, co-induction, bisimulation, and some basic category theory)
* 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
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 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
Classical High School
Liceo T. Tasso · Rome
2018 - 2023
.jpg)