Alessandro Scala

PhD Student @ University of Edinburgh
Developer @ Panda Cat Games

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

Panda Cat Games

Game Devleoper

Zerodivision Systems

Unity Developer

2026
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

Techniques for Authenticating Quantile Digests

2024

Interests

Academic

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

Personal

  • Music
  • Languages (formal 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

Curriculum Vitae

Read my CV