Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Rajeev_Alur> ?p ?o. }
Showing items 1 to 62 of
62
with 100 items per page.
- Rajeev_Alur abstract "Rajeev Alur is Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, USA.Alur obtained his bachelor's degree in computer science from the Indian Institute of Technology at Kanpur, India, in 1987, and PhD 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 Fellow of the ACM, a Fellow of the IEEE, and recently served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems).".
- Rajeev_Alur birthPlace India.
- Rajeev_Alur thumbnail Rajeev_Alur_FLoC_2006.jpg?width=300.
- Rajeev_Alur wikiPageExternalLink ~alur.
- Rajeev_Alur wikiPageID "14583730".
- Rajeev_Alur wikiPageRevisionID "592164387".
- Rajeev_Alur hasPhotoCollection Rajeev_Alur.
- Rajeev_Alur name "Alur, Rajeev".
- Rajeev_Alur placeOfBirth India.
- Rajeev_Alur shortDescription "American computer scientist".
- Rajeev_Alur description "American computer scientist".
- Rajeev_Alur description "American computer scientist".
- Rajeev_Alur subject Category:American_computer_scientists.
- Rajeev_Alur subject Category:American_people_of_Indian_descent.
- Rajeev_Alur subject Category:Fellow_Members_of_the_IEEE.
- Rajeev_Alur subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Rajeev_Alur subject Category:Formal_methods_people.
- Rajeev_Alur subject Category:Indian_Institute_of_Technology_Kanpur_alumni.
- Rajeev_Alur subject Category:Indian_expatriates_in_the_United_States.
- Rajeev_Alur subject Category:Living_people.
- Rajeev_Alur subject Category:Place_of_birth_missing.
- Rajeev_Alur subject Category:Scientists_at_Bell_Labs.
- Rajeev_Alur subject Category:Stanford_University_alumni.
- Rajeev_Alur subject Category:University_of_Pennsylvania_faculty.
- Rajeev_Alur subject Category:Year_of_birth_missing_(living_people).
- Rajeev_Alur type Associate109816771.
- Rajeev_Alur type CausalAgent100007347.
- Rajeev_Alur type Colleague109935990.
- Rajeev_Alur type FellowsOfTheAssociationForComputingMachinery.
- Rajeev_Alur type FormalMethodsPeople.
- Rajeev_Alur type LivingPeople.
- Rajeev_Alur type LivingThing100004258.
- Rajeev_Alur type Object100002684.
- Rajeev_Alur type Organism100004475.
- Rajeev_Alur type Peer109626238.
- Rajeev_Alur type Person100007846.
- Rajeev_Alur type PhysicalEntity100001930.
- Rajeev_Alur type Whole100003553.
- Rajeev_Alur type YagoLegalActor.
- Rajeev_Alur type YagoLegalActorGeo.
- Rajeev_Alur type Agent.
- Rajeev_Alur type Person.
- Rajeev_Alur type Person.
- Rajeev_Alur type Q215627.
- Rajeev_Alur type Q5.
- Rajeev_Alur type Agent.
- Rajeev_Alur type NaturalPerson.
- Rajeev_Alur type Thing.
- Rajeev_Alur type Person.
- Rajeev_Alur comment "Rajeev Alur is Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, USA.Alur obtained his bachelor's degree in computer science from the Indian Institute of Technology at Kanpur, India, in 1987, and PhD 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.".
- Rajeev_Alur label "Rajeev Alur".
- Rajeev_Alur sameAs m.03d8n3v.
- Rajeev_Alur sameAs Q7285926.
- Rajeev_Alur sameAs Q7285926.
- Rajeev_Alur sameAs Rajeev_Alur.
- Rajeev_Alur wasDerivedFrom Rajeev_Alur?oldid=592164387.
- Rajeev_Alur depiction Rajeev_Alur_FLoC_2006.jpg.
- Rajeev_Alur givenName "Rajeev".
- Rajeev_Alur isPrimaryTopicOf Rajeev_Alur.
- Rajeev_Alur name "Alur, Rajeev".
- Rajeev_Alur name "Rajeev Alur".
- Rajeev_Alur surname "Alur".