Davide Sangiorgi is an Italian professor of
computer science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...
at the
University of Bologna
The University of Bologna (, abbreviated Unibo) is a Public university, public research university in Bologna, Italy. Teaching began around 1088, with the university becoming organised as guilds of students () by the late 12th century. It is the ...
.
He has previously held research positions at the
University of Edinburgh
The University of Edinburgh (, ; abbreviated as ''Edin.'' in Post-nominal letters, post-nominals) is a Public university, public research university based in Edinburgh, Scotland. Founded by the City of Edinburgh Council, town council under th ...
and at
Inria
The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on computer science and applied mathematics.
It was created under the name French Institute for Research in Comp ...
.
He received his PhD from the
University of Edinburgh
The University of Edinburgh (, ; abbreviated as ''Edin.'' in Post-nominal letters, post-nominals) is a Public university, public research university based in Edinburgh, Scotland. Founded by the City of Edinburgh Council, town council under th ...
under the supervision of
Robin Milner
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.[Centrum Wiskunde & Informatica
The (abbr. CWI; English: "National Research Institute for Mathematics and Computer Science") is a research centre in the field of mathematics and theoretical computer science. It is part of the institutes organization of the Dutch Research Cou ...](_blank ...<br></span></div> in 1993.
He has had visiting positions at the <div class=)
(CWI, Amsterdam),
University of Cambridge
The University of Cambridge is a Public university, public collegiate university, collegiate research university in Cambridge, England. Founded in 1209, the University of Cambridge is the List of oldest universities in continuous operation, wo ...
, and
University of Oxford
The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest un ...
.
His research interests are in the fields of
concurrent system
Concurrency refers to the ability of a system to execute multiple tasks through simultaneous execution or time-sharing (context switching), sharing resources and managing interactions. Concurrency improves responsiveness, throughput, and scalabi ...
s,
semantics
Semantics is the study of linguistic Meaning (philosophy), meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction betwee ...
and
formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics.
Formal ver ...
techniques.
He is a member, and past chairman, of
IFIP Working Group 2.2 on the formal description of programming concepts, and a member of
Academia Europaea
The Academia Europaea is a pan-European Academy of humanities, letters, law, and sciences.
The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europe ...
. He is the head of the Research Team FOCUS, a joint laboratory between the
University of Bologna
The University of Bologna (, abbreviated Unibo) is a Public university, public research university in Bologna, Italy. Teaching began around 1088, with the university becoming organised as guilds of students () by the late 12th century. It is the ...
and
Inria
The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on computer science and applied mathematics.
It was created under the name French Institute for Research in Comp ...
.
External links
Davide Sangiorgi's home page Curriculum vitae
References
Living people
1931 births
Italian computer scientists
Alumni of the University of Edinburgh
Academic staff of the University of Bologna
{{compu-scientist-stub