Davide Sangiorgi is affiliated with the University of Bologna in Italy. Their research principally spans the field of Computer Science, with a significant focus on several subfields including Artificial Intelligence, Computational Theory and Mathematics, Economics and Econometrics, Information Systems, and Computer Networks and Communications.
The primary topics covered in their work include Logic, Programming, and Type Systems; Logic, Reasoning, and Knowledge; Formal Methods in Verification; Semigroups and Automata Theory; Blockchain Technology Applications and Security; Health Systems, Economic Evaluations, Quality of Life; and Pharmaceutical Economics and Policy.
Frequent publication venues for Sangiorgi's research are diverse, with the most recurrent being:
Coauthors who have worked repeatedly with Sangiorgi include:
Selected recent papers authored by Davide Sangiorgi or in collaboration include:
The body of research reflects a mixture of theoretical computer science and formal methods, often addressing foundational aspects of computation, programming languages, and process calculi. The contributions span both the development of theoretical frameworks and their applications within computational logic and verification.
Davide Sangiorgi;David Walker
Benjamin C. Pierce;Davide Sangiorgi
Davide Sangiorgi
Robin Milner;Davide Sangiorgi
B. Pierce;D. Sangiorgi
Davide Sangiorgi
Davide Sangiorgi
Roberto M. Amadio;Ilaria Castellani;Davide Sangiorgi
Francesca Levi;Davide Sangiorgi
Davide Sangiorgi
Davide Sangiorgi;Jan Rutten
Davide Sangiorgi;Robert de Simone
Davide Sangiorgi;Robin Milner
Davide Sangiorgi
Davide Sangiorgi
Davide Sangiorgi;Naoki Kobayashi;Eijiro Sumii
Massimo Merro;Davide Sangiorgi
M. Boreale;R. Bruni;L. Caires;R. De Nicola
Davide Sangiorgi
Davide Sangiorgi
Benjamin C. Pierce;Davide Sangiorgi
M. P. Fiore;E. Moggi;D. Sangiorgi
If you think any of the details on this page are incorrect, let us know.
Exploring online degree options can open new doors for students interested in computer science and related fields. For those passionate about science, pursuing an online theoretical physics degree can provide a strong foundation in analytical thinking and problem-solving.
Data science is another booming discipline with numerous opportunities. Choosing among the best data science programs can help you acquire in-demand skills for careers in tech, research, and beyond.
For those interested in building, designing, or maintaining advanced technology, consider enrolling in accredited online electrical engineering programs. These programs are designed to fit your schedule and provide practical skills employers value.
Alternatively, if you are looking for a fast track to high-paying jobs, you might explore certifications that pay well. These certifications can boost your resume and help you qualify for specialized roles in a matter of months.
No matter which path you choose, online education offers flexibility and access to valuable credentials that can advance your tech career.
French Institute for Research in Computer Science and Automation - INRIA
Publications: 28
University of Vermont
Sungkyunkwan University
Auburn University
Boston Children's Hospital
University of Southern California
Wageningen University & Research
Utrecht University
Complutense University of Madrid
University of Antwerp
University of Sheffield
University of Würzburg
DeepMind (United Kingdom)
Peking University
Kumamoto University
University of Duisburg-Essen
Nottingham Trent University
