About
I am a postdoctoral researcher in the Compositional Systems and Methods group at Tallinn University of Technology.
Before that, I was a research fellow in the Principles of Programming, Logic and Verification group at University College London.
I obtained my PhD from the University of Pisa, under the supervision of Prof. Filippo Bonchi.
Research interests
- Programming language semantics
- Categorical semantics
- String diagrams
- Logic
Contact
alessandrodgr [at] gmail [dot] com