
Registered user since Thu 1 Jun 2017
Name: Aleksey Nogin
Country: United States
Affiliation: HRL Laboratories, LLC
Personal website: https://nogin.org/
Contributions
DSW 2017 | Author of Using formal tools to develop high-assurance software for autonomous ground vehicles within the DSW 2017-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile