Write a Blog >>
Aleksey Nogin

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 Using formal tools to develop high-assurance software for autonomous ground vehicles
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile