About: Davide Sangiorgi

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Davide Sangiorgi Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatAlumniOfTheUniversityOfEdinburgh, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDavide_Sangiorgi&invfp=IFP_OFF&sas=SAME_AS_OFF

Davide Sangiorgi is an Italian professor of computer science at the University of Bologna. He has previously held research positions at the University of Edinburgh and at Inria.He has received his PhD from the University of Edinburgh under the supervision of Robin Milner in 1993. He has had visiting positions at Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge, University of Oxford. His research interests are in the fields of concurrent systems, semantics and verification techniques.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species schema:Person yago:WikicatLivingPeople Scientist yago:Alumnus109786338 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:WikicatItalianComputerScientists yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatAlumniOfTheUniversityOfEdinburgh
rdfs:label	Davide Sangiorgi (en)
rdfs:comment	Davide Sangiorgi is an Italian professor of computer science at the University of Bologna. He has previously held research positions at the University of Edinburgh and at Inria.He has received his PhD from the University of Edinburgh under the supervision of Robin Milner in 1993. He has had visiting positions at Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge, University of Oxford. His research interests are in the fields of concurrent systems, semantics and verification techniques. (en)
foaf:homepage	http://www.cs.unibo.it/~sangio/
dcterms:subject	Alumni of the University of Edinburgh Living people 1931 births University of Bologna faculty Italian computer scientists
Wikipage page ID	33318642 (xsd:integer)
Wikipage revision ID	957562529 (xsd:integer)
Link from a Wikipage to another Wikipage	Robin Milner University of Bologna University of Cambridge University of Edinburgh University of Oxford Alumni of the University of Edinburgh Living people Computer science 1931 births Centrum Wiskunde & Informatica Academia Europaea University of Bologna faculty Italian computer scientists IFIP Working Group 2.2 INRIA Inria
Link from a Wikipage to an external page	https://www.unibo.it/sitoweb/davide.sangiorgi/cv-en http://hdl.handle.net/1842/6569 http://www.cs.unibo.it/~sangio/
sameAs	Davide Sangiorgi Davide Sangiorgi Davide Sangiorgi Davide Sangiorgi Davide Sangiorgi Davide Sangiorgi Davide Sangiorgi Davide Sangiorgi
thesis title	Expressing mobility in process algebras: first-order and higher-order paradigms (en)
thesis url	http://hdl.handle.net/1842/6569
thesis year	1993 (xsd:integer)
workplaces	University of Bologna
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Use_dmy_dates dbt:Wikiquote dbt:Infobox_scientist dbt:Compu-scientist-stub
alma mater	University of Edinburgh
fields	Computer science
website	http://www.cs.unibo.it/~sangio/
has abstract	Davide Sangiorgi is an Italian professor of computer science at the University of Bologna. He has previously held research positions at the University of Edinburgh and at Inria.He has received his PhD from the University of Edinburgh under the supervision of Robin Milner in 1993. He has had visiting positions at Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge, University of Oxford. His research interests are in the fields of concurrent systems, semantics and verification 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. He is the head of the Research Team FOCUS, a joint laboratory between the University of Bologna and INRIA. (en)
doctoral advisor	Robin Milner
doctoral advisor	Robin Milner
institution	University of Bologna
gold:hypernym	Professor
schema:sameAs	Davide Sangiorgi
prov:wasDerivedFrom	wikipedia-en:Davide_Sangiorgi?oldid=957562529&ns=0
page length (characters) of wiki page	3711 (xsd:nonNegativeInteger)
academic discipline	Computer science
alma mater	University of Edinburgh
foaf:isPrimaryTopicOf	wikipedia-en:Davide_Sangiorgi
is Link from a Wikipage to another Wikipage of	Robin Milner School of Informatics, University of Edinburgh List of University of Edinburgh people International Conference on Concurrency Theory Symposium on Logic in Computer Science Coinduction European Association for Theoretical Computer Science

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software