About: Rajeev Alur     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatScientistsAtBellLabs, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRajeev_Alur

Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, United States. Prof. Alur was born in Pune. He obtained his bachelor's degree in computer science from the Indian Institute of Technology at Kanpur, India, in 1987, and Ph.D. in computer science from Stanford University, California, USA, in 1991. Before joining the University of Pennsylvania in 1997, he was with the Computing Science Research Center at Bell Laboratories. Alur's research spans formal modeling and analysis of reactive systems, hybrid systems, model checking, software verification, and design automation for embedded software. His contributions include timed automata and temporal specifications based on languages of nested words and trees. He is a

AttributesValues
rdf:type
rdfs:label
  • Rajeev Alur
  • Rajeev Alur
rdfs:comment
  • Rajeev Alur, né le 5 mars 1966, est un informaticien théoricien de citoyenneté américaine d'origine indienne. Il est professeur au département d'informatique et des sciences d'information à l'université de Pennsylvanie, aux États-Unis, sur la chaire Zisman Family.
  • Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, United States. Prof. Alur was born in Pune. He obtained his bachelor's degree in computer science from the Indian Institute of Technology at Kanpur, India, in 1987, and Ph.D. in computer science from Stanford University, California, USA, in 1991. Before joining the University of Pennsylvania in 1997, he was with the Computing Science Research Center at Bell Laboratories. Alur's research spans formal modeling and analysis of reactive systems, hybrid systems, model checking, software verification, and design automation for embedded software. His contributions include timed automata and temporal specifications based on languages of nested words and trees. He is a
sameAs
foaf:depiction
  • External Image
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
dbp:wikiPageUsesTemplate
Faceted Search & Find service v1.17_git93 as of Oct 15 2021


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3322 as of Dec 9 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (62 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2022 OpenLink Software