Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aleksey Nogin
conf.researchr.org general profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SPLASH 2017 profile
Registered user since Thu 1 Jun 2017
Name:
Aleksey Nogin
Country:
United States
Affiliation:
HRL Laboratories, LLC
Personal website:
https://nogin.org/
Contributions
2017
SPLASH
Author of A Verified Messaging System within the OOPSLA-track
DSW
Author of Using formal tools to develop high-assurance software for autonomous ground vehicles within the DSW 2017-track
Share
x
Thu 21 Nov 16:08
