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/


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