Aleksey Nogin

Aleksey Nogin has extensive work experience in the field of cybersecurity and software reliability. Aleksey is currently serving as the Head of Research at Red Balloon Security, Inc. Since 2022. Prior to this, they worked at HRL Laboratories for over 15 years, holding positions such as Research Staff Computer Scientist and Senior Computer Scientist. During their tenure at HRL Laboratories, Aleksey managed and led various projects in cybersecurity and software reliability with a budget of approximately $31M. Aleksey played a crucial role in the growth of the company's cybersecurity efforts and established the Center for Secure and Resilient Systems in 2016. Before joining HRL Laboratories, Aleksey worked as a Postdoctoral Scholar at the California Institute of Technology, where their research focused on computer-aided and formal software engineering. Aleksey also served as the Development Coordinator and a Lead Developer for the MetaPRL toolkit. Aleksey started their career as a Research Assistant at Cornell University, working on projects related to logical frameworks and increasing the logical speed of the MetaPRL system.

Aleksey Nogin completed their education in a chronological order as follows:

From 1989 to 1992, they attended Moscow's Fifty-Seventh School, where they focused on Mathematics. There is no mention of any specific degree obtained during this period.

From 1992 to 1997, Aleksey pursued their higher education at Lomonosov Moscow State University (MSU), where they earned a Diploma. Their field of study expanded to Mathematics and Applied Mathematics during this period.

From 1997 to 2002, Aleksey Nogin attended Cornell University, where they obtained their Ph.D. degree. Aleksey specialized in Computer Science during their time at Cornell.

These three education experiences formed Aleksey Nogin's academic background, with a progression from Mathematics to Applied Mathematics and Computer Science.