Giulio Garbi

Research Assistant at Università degli Studi del Molise
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
IT
Skills

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Experience

  • Università degli Studi del Molise
    • Italy
    • Higher Education
    • 200 - 300 Employee
    • Research Assistant
      • Apr 2022 - Present

      I am working on a research project that aims to develop and implement distributed model checking algorithms to find bugs in concurrent programs. The project is partially supported by Amazon Research Awards - "Program Analysis in the Clouds (PAC): a distributed symbolic algorithm to scale up bug-finding in concurrent programs" (PI: Gennaro Parlato). I am working on a research project that aims to develop and implement distributed model checking algorithms to find bugs in concurrent programs. The project is partially supported by Amazon Research Awards - "Program Analysis in the Clouds (PAC): a distributed symbolic algorithm to scale up bug-finding in concurrent programs" (PI: Gennaro Parlato).

Education

  • IMT Lucca
    Studente di Dottorato di ricerca
  • Università degli Studi di Torino
    Laurea Magistrale LM in scienze e tecnologie informatiche, 110/100 con Lode e Menzione per l'eccezionale curriculum
  • Università degli Studi di Torino
    Laurea triennale, Scienze informatiche
    2011 - 2014

Community

You need to have a working account to view this content. Click here to join now