Area 51 » Nike Dattani

Matter Modeling

For materials design and spectroscopy.

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.

Matter Modeling

For materials design and spectroscopy.

Cardano

For users and developers of the Cardano cryptocurrency ecosystem.

Programming Language Design and Implementation

For designers and implementers of computer programming languages

Anthropology and Sociology

For those interested in the study of human behavior, human cultures, societies, social patterns, social change, and the social causes and consequences of human behavior.