Angelic Verification

Établi : January 1, 2015

Publications

Publications par année

Filtre par zone de recherche

Publication Type

Personne

Researcher team

Portrait de Akash Lal

Akash Lal

Senior Principal Researcher

Portrait de Shuvendu Lahiri

Shuvendu Lahiri

Senior Principal Researcher

Interns

Portrait de Shaobo He

Shaobo He

Intern

University of Utah

Portrait de Yi Li

Yi Li

Intern

University of Toronto

Portrait de Alexander Nutz

Alexander Nutz

Intern

University of Freiburg