It was about how to prove they were correct. That’s when I first got know more about the work they were doing and it was inspiring - it was much more than rockets and airplanes. They said to me, ‘It would be great for you to present the work you’re doing on directed model checking to scientists at Ames.’ I flew to California and did a presentation. I didn’t know anything about automated reasoning, but that was part of the attraction for me - that I didn’t know what it was and wanted to learn more about it.Īt the time, people in my research lab were collaborating with some folks at NASA Ames. So, I joined the research lab that was related to doing automated reasoning as an undergrad. I’m really more of an ‘explorer.’ I’m attracted to the unknown - my parents encouraged me to follow my own path. When I was an undergraduate at BYU, I started to think, ‘OK, what should I be doing?’ Some people have their entire careers laid out, along with what they want in life. She earned a PhD in computer science from Brigham Young University in 2009.Īmazon Science recently spoke with Rungta about her career path and her work on automated reasoning. Prior to joining AWS, Rungta was already well-known for her work on symbolic execution, automated program analysis, and airspace modeling at the NASA Ames Research Center. Neha Rungta is a senior principal applied scientist in the Automated Reasoning Group with Amazon Web Services (AWS), working on formal verification techniques for cloud security.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |