Source
Rajeev Alur, Wikipedia
Web Source
Facts
Urlhttps://en.wikipedia.org/wiki/Rajeev_Alur
Sources
Rajeev Alur, Wikipedia
Lead sectionQuote, Lead section
Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata (Alur and Dill, 1994) and nested words (Alur and Madhusudan, 2004).
Claims Backed By This Source (5 claims)
This source backs 5 claims across the atlas. As facts: 2 well-attested. As cited relationships: 1 holds. Plus 2 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Pioneers, 4 claims: 1 well-attested, 1 holds, 2 general references.
- Sources, 1 claims: 1 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.