Angelic Verification

成立时间:January 1, 2015

下载

人员

Researcher team

Akash Lal的肖像

Akash Lal

Senior Principal Researcher

Shuvendu Lahiri的肖像

Shuvendu Lahiri

Senior Principal Researcher

Interns

Shaobo He的肖像

Shaobo He

Intern

University of Utah

Yi Li的肖像

Yi Li

Intern

University of Toronto

Alexander Nutz的肖像

Alexander Nutz

Intern

University of Freiburg