Arvind (computer scientist)

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Export map as:

Research this topic

Explore the main themes, entities and connections around Arvind (computer scientist). Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

Career

Formal verification Digital systems Atomic Memory models Cache coherence

33 related topics

Published works

Journal of Functional Programming

1 related topics

Overview

Mononymously Computer Science Engineering Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology

12 related topics

Awards

IEEE Computer Society Charles Babbage Award

1 related topics

Key facts & relationships

High-confidence facts extracted from structured source data. Use them as anchors for further research.

Known for: Formal verification of large digital systems Development of dynamic dataflow architectures Parallel computing programming languages Id, pH Compiling languages on parallel machines
Education: IIT Kanpur (B.Sc., 1969) University of Minnesota (M.S., 1972, Ph.D., 1973)
Born: Arvind Mithal (1947-05-18)18 May 1947 India
Children: 2
Died: 17 June 2024(2024-06-17) (aged 77)
Doctoral advisor: Richard Yerkes Kain

Topics to explore

Browse the full topic structure. Each item opens a new analysis centered on that subject.

Awards

IEEE Computer Society Charles Babbage Award International Parallel and Distributed Processing Symposium

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

Map overview Semantic statistics

Nodes52

Edges51

Triples13

Avg. degree1.96

Density0.038462

Components1

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

Arvind (computer scientist)

Top relations

Doctoral students · 3

Arvind (computer scientist) → David Culler, James Hoe, Keshav K Pingali

Born · 1

Arvind (computer scientist) → Arvind Mithal (1947-05-18)18 May 1947 India

Children · 1

Arvind (computer scientist) → 2

Died · 1

Arvind (computer scientist) → 17 June 2024(2024-06-17) (aged 77)

Doctoral advisor · 1

Arvind (computer scientist) → Richard Yerkes Kain

Education · 1

Arvind (computer scientist) → IIT Kanpur (B.Sc., 1969) University of Minnesota (M.S., 1972, Ph.D., 1973)

Fields · 1

Arvind (computer scientist) → Computer science

Known for · 1

Arvind (computer scientist) → Formal verification of large digital systems Development of dynamic dataflow architectures Parallel computing programming languages Id, pH Compiling languages on parallel machines

Spouse · 1

Arvind (computer scientist) → Gita Singh

Thesis · 1

Arvind (computer scientist) → Models for the Comparison of Memory Management Algorithms (1973)

Important terminology Word statistics

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

arvind computer engineering science mit ph programming computing university parallel also dataflow kanpur systems massachusetts institute served june ieee high-level

Entity relationships Subject–Predicate–Object triples

Subject	Predicate	Object	Confidence	Src
Arvind (computer scientist)	Born	Arvind Mithal (1947-05-18)18 May 1947 India	1.00	infobox
Arvind (computer scientist)	Children	2	1.00	infobox
Arvind (computer scientist)	Died	17 June 2024(2024-06-17) (aged 77)	1.00	infobox
Arvind (computer scientist)	Doctoral advisor	Richard Yerkes Kain	1.00	infobox
Arvind (computer scientist)	Doctoral students	David Culler	1.00	infobox
Arvind (computer scientist)	Doctoral students	James Hoe	1.00	infobox
Arvind (computer scientist)	Doctoral students	Keshav K Pingali	1.00	infobox
Arvind (computer scientist)	Education	IIT Kanpur (B.Sc., 1969) University of Minnesota (M.S., 1972, Ph.D., 1973)	1.00	infobox
Arvind (computer scientist)	Fields	Computer science	1.00	infobox
Arvind (computer scientist)	Known for	Formal verification of large digital systems Development of dynamic dataflow architectures Parallel computing programming languages Id, pH Compiling languages on parallel machines	1.00	infobox
Arvind (computer scientist)	Spouse	Gita Singh	1.00	infobox
Arvind (computer scientist)	Thesis	Models for the Comparison of Memory Management Algorithms (1973)	1.00	infobox
Arvind (computer scientist)	Workplaces	University of California, Irvine Indian Institutes of Technology Massachusetts Institute of Technology (MIT) University of Tokyo Sandburst Bluespec	1.00	infobox

Related concept clusters Concept neighborhoods

These clusters group vocabulary that occurs around closely connected concepts in the source material.

Connections between topic areas Semantic bridges

Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

Min side: 3