Alessandro Scala

PhD Student @ University of Edinburgh

Education

Now

Started a PhD @ University of Edinburgh

Laboratory for Foundations of Computer Science

2024

MSc. Computer Science @ University of Pisa

Software: Programming, Principles, and Technologies

2022

BSc. Computer Science @ University of Pisa

2019

Diploma di Maturità @ Liceo Classico Statale Umberto I

Work Experience

Now
2024

University of Pisa

Graduate Teaching Assistant

2023

Clockwork Society

Game and Tool Designer and Developer

2022
2020

Apple Developer Academy

Apple Developer

2018

Publications

Interests

Academic

  • Interruptable Behaviours
  • Process Algebras
  • Formal Language Semantics
  • Logic Systems
  • Language Techniques for Security
  • Software Verification

Personal

  • Music
  • Languages (programming and human)
    • Italian (Native)
    • English (C2 Fluent)
    • German (A1-2)
    • Japanese (N4 - actively studying)
    • Finnish (on my TODO list)
  • 書道 (Japanese calligraphy)
  • Crochet
  • Archery
  • Current and retro games and technology

Featured Projects

Read more about my projects

Music

Read more about my music