Paolo Di Biase

I'm Paolo Di Biase, I graduated in 2023 at University of Molise (UNIMOL), in Computer Science.
Now I am a master's student in Software Systems Security at the same university and I should get my master's degree in 2025.

Research Interests

My interests are in software development, analysis and verification.
These interests led me to get closer to the research being carried out at my university in these fields.

Accademic position

My academic position today consists of taking part the research that takes place within the Program Analysis in the Cloud Lab (PAC Lab), which deals with research and development in the field of model checking to find bugs in programs.

Curriculum Vitae

You can download a copy of my Curriculum Vitae here.