Paolo Di Biase

Paolo Di Biase is a PhD student in Computer Science at the Gran Sasso Science Institute (GSSI).

He earned his BSc from the University of Molise (UniMol) in 2023 and began an MSc in Software Systems Security the same year, specializing in program analysis and software verification.
In January 2025, he started collaborating with Gennaro Parlato in the Program Analysis in the Clouds Lab (PAC Lab) through a UniMol research scholarship, working on bounded model checking for concurrent programs and the parallelization of SAT solving.
In February 2025, he joined the Erasmus+ Traineeship program and completed a two-month internship at Diffblue in Oxford (UK), under the supervision of Peter Schrammel, contributing to the research for his master’s thesis.
He completed his MSc in October 2025 and joined GSSI as a PhD student in November 2025.

Research Interests

• SAT/SMT solvers
• Program analysis and software verification
• Model checking: algorithms and tools
• Verification of Concurrent Software

Current Research Projects

• Heuristics for SAT / Decision Procedures for SMT
• Parallel SAT solving
• Iekke: Bounded Model checking of concurrent programs via sequentializzation and partial order

Papers

• Iekke: A SAT-based Bounded-Round Verifier for Multi-threaded Programs (Competition Contribution)
  P. Di Biase, B. Fischer, S. La Torre, P. Schrammel, G. Parlato
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026), LNCS 16506, Springer, 2026. [DOI]

Software/Tools

• Iekke: BMC tool for concurrent C programs

Academic Service

• Mar. 2026 — Artifact Evaluation Committee, 37th International Conference on Computer Aided Verification (CAV 2026).

Talks

• Apr. 2026 — Presented Iekke: A SAT-based Bounded-Round Verifier for Multi-threaded Programs (Competition Contribution) at TACAS 2026.

Awards

• Jun. 2026 — Petrone Award, University of Molise.

Curriculum Vitae

His CV is available here.