Build Safe Systems

Edge Case Research was formed by leading autonomy and software safety experts from Carnegie Mellon University who believe that safety should be built into all software products from the ground up. Our customers demand tools and techniques that help them go to market with products that are safe, secure, and reliable. Edge Case Research helps them by delivering software and services to tackle the most complex machine learning challenges and embedded software problems quickly.

Management

 Mike is the CEO of Edge Case Research, a company he founded to make autonomous systems safer, and put together a team that brings together experts from the fields of software safety and autonomy. His experience with autonomous vehicles began nearly twenty years ago starting at Carnegie Mellon University. He built lunar rovers for Red Whittaker, autonomous scientists that explored Antarctica, and self driving technology for tackling harsh off road terrain. Ten years ago Mike and Philip Koopman began researching techniques to design and verify autonomous systems, and today he applies this experience to lead Edge Case Research with the goal of providing validation technology for autonomy across a range of industries including self driving cars, materials handling, and robotic work cells.

Mike is the CEO of Edge Case Research, a company he founded to make autonomous systems safer, and put together a team that brings together experts from the fields of software safety and autonomy. His experience with autonomous vehicles began nearly twenty years ago starting at Carnegie Mellon University. He built lunar rovers for Red Whittaker, autonomous scientists that explored Antarctica, and self driving technology for tackling harsh off road terrain. Ten years ago Mike and Philip Koopman began researching techniques to design and verify autonomous systems, and today he applies this experience to lead Edge Case Research with the goal of providing validation technology for autonomy across a range of industries including self driving cars, materials handling, and robotic work cells.

Michael Wagner
CEO

 Phil Koopman has been involved in autonomous vehicle safety for over 20 years. He is one of the world's leading authorities on embedded software and autonomous system safety. Dr. Koopman was the leader of the Ballista project at Carnegie Mellon, and has 20 years of experience with applying robustness testing to real-world systems. A faculty member at Carnegie Mellon University with appointments in the Department of Electrical & Computer Engineering, the Institute for Software Research, and the Robotics Institute, his background includes time as a submarine officer for the US Navy, a principal in a several startups, an embedded CPU architect for Harris Semiconductor, and an embedded system architect for United Technologies Research Center. 

Phil Koopman has been involved in autonomous vehicle safety for over 20 years. He is one of the world's leading authorities on embedded software and autonomous system safety. Dr. Koopman was the leader of the Ballista project at Carnegie Mellon, and has 20 years of experience with applying robustness testing to real-world systems. A faculty member at Carnegie Mellon University with appointments in the Department of Electrical & Computer Engineering, the Institute for Software Research, and the Robotics Institute, his background includes time as a submarine officer for the US Navy, a principal in a several startups, an embedded CPU architect for Harris Semiconductor, and an embedded system architect for United Technologies Research Center. 

Philip Koopman, PhD
Chief Technologist and Co-Founder

 
  Jen joined ECR in 2018 and is responsible for Product Development and Management, where she oversees the strategy, vision and execution behind ECR’s products.  Jen is an experienced professional with a career that spans over 20 years in software engineering and management in roles ranging from software design, information delivery and analytics, mobile products, eCommerce systems, and IT services.  Prior to joining ECR, Jen was responsible for overseeing development of new high profile mobile products at Smith Micro Software, global expansion of managed help desk product at Continuum Managed Services as well as various technical and leadership roles in the financial and healthcare sectors.   Jen holds a Bachelor of Science in Computer Science and Master of Science in Information Science from the University of Pittsburgh.  


Jen joined ECR in 2018 and is responsible for Product Development and Management, where she oversees the strategy, vision and execution behind ECR’s products.  Jen is an experienced professional with a career that spans over 20 years in software engineering and management in roles ranging from software design, information delivery and analytics, mobile products, eCommerce systems, and IT services.

Prior to joining ECR, Jen was responsible for overseeing development of new high profile mobile products at Smith Micro Software, global expansion of managed help desk product at Continuum Managed Services as well as various technical and leadership roles in the financial and healthcare sectors. 

Jen holds a Bachelor of Science in Computer Science and Master of Science in Information Science from the University of Pittsburgh.
 

Jennifer Gallingane
Vice President of Product Development

  Brendon Ouimette  Brendon is ECR's VP of Business Development. He brings prior experience with startups as well as work in to corporate world to the team, working in a variety of industries and locations. Like the rest of the ECR team, Brendon is focused on ensuring that the software that enables future robotics, autonomy, and the broader connected world is a safe and secure one. Brendon earned his MBA from the Thunderbird School of Global Management in 2005.

Brendon Ouimette
Brendon is ECR's VP of Business Development. He brings prior experience with startups as well as work in to corporate world to the team, working in a variety of industries and locations. Like the rest of the ECR team, Brendon is focused on ensuring that the software that enables future robotics, autonomy, and the broader connected world is a safe and secure one. Brendon earned his MBA from the Thunderbird School of Global Management in 2005.

Brendon Ouimette
Vice President of Business Development

 

Team

  Justin Ray, PhD  As technology becomes more and more integrated into our lives, we interact with computers and software systems in new ways every day. The rapid growth of robotics, autonomy, and the Internet of Things is outstripping the industry's ability to deploy systems that are safe. Justin works on projects that make systems safer through better design and software better through more effective testing. Justin received his PhD in Electrical and Computer Engineering from Carnegie Mellon in 2013.

Justin Ray, PhD
As technology becomes more and more integrated into our lives, we interact with computers and software systems in new ways every day. The rapid growth of robotics, autonomy, and the Internet of Things is outstripping the industry's ability to deploy systems that are safe. Justin works on projects that make systems safer through better design and software better through more effective testing. Justin received his PhD in Electrical and Computer Engineering from Carnegie Mellon in 2013.

Justin Ray, PhD
Lead Engineer

  Ryan McNulty  Ryan has a very diverse programming background; working on mobile app, web app, IoT and embedded systems projects. Coming from a development agency in Seattle, he has been able to hone his development skills and gain experience with XP, TDD and pair programming. Having spent several years at commercial and startup companies Ryan has become the "process guru" ensuring code quality and development best practices to guarantee Edge Case provides the best long-term service to its customers. Ryan received his MS in Computer Science from the University of Pittsburgh in 2013.

Ryan McNulty
Ryan has a very diverse programming background; working on mobile app, web app, IoT and embedded systems projects. Coming from a development agency in Seattle, he has been able to hone his development skills and gain experience with XP, TDD and pair programming. Having spent several years at commercial and startup companies Ryan has become the "process guru" ensuring code quality and development best practices to guarantee Edge Case provides the best long-term service to its customers. Ryan received his MS in Computer Science from the University of Pittsburgh in 2013.

Ryan McNulty
Lead Software Developer

  Jennifer Black, PhD  Jen specializes in embedded system safety and dependability, with experience in automotive, aviation, rail, and consumer products. She completed her PhD in Electrical & Computer Engineering from Carnegie Mellon University where she was a member of the General Motors Collaborative Research Lab.  Her thesis research focused on approaches for defining safety requirements for sub-systems in complex composite systems. Prior to obtaining her PhD she worked in system test, installation and support  in the telecommunication software industry.

Jennifer Black, PhD
Jen specializes in embedded system safety and dependability, with experience in automotive, aviation, rail, and consumer products. She completed her PhD in Electrical & Computer Engineering from Carnegie Mellon University where she was a member of the General Motors Collaborative Research Lab.  Her thesis research focused on approaches for defining safety requirements for sub-systems in complex composite systems. Prior to obtaining her PhD she worked in system test, installation and support  in the telecommunication software industry.

Jennifer Black, PhD
Lead Engineer

  Aaron Kane, PhD  Aaron received his PhD in Computer Engineering from Carnegie Mellon in 2015. His thesis work dealt with structured safety cases for run-time assurance architectures, a technology that is thoroughly relevant to the proposed work. His work at Edge Case Research has also involved stress testing safety-critical, complex software. Prior to graduation he worked on the “Automated Stress Testing for Autonomy Architectures” (ASTAA) project at Carnegie Mellon, and served as a Visiting Scientist at the General Motors R&D center in Warren, MI.

Aaron Kane, PhD
Aaron received his PhD in Computer Engineering from Carnegie Mellon in 2015. His thesis work dealt with structured safety cases for run-time assurance architectures, a technology that is thoroughly relevant to the proposed work. His work at Edge Case Research has also involved stress testing safety-critical, complex software. Prior to graduation he worked on the “Automated Stress Testing for Autonomy Architectures” (ASTAA) project at Carnegie Mellon, and served as a Visiting Scientist at the General Motors R&D center in Warren, MI.

Aaron Kane, PhD
Lead Engineer

   Jacob Nelson  Jacob received his M.S. in Electrical and Computer Engineering from Carnegie Mellon in 2016. While there, he focused on the design and testing of embedded systems and the Internet of Things. He sees the world's growing dependence on technology as creating a need for greater focus on sound software design principles and rigorous, meaningful testing.


Jacob Nelson
Jacob received his M.S. in Electrical and Computer Engineering from Carnegie Mellon in 2016. While there, he focused on the design and testing of embedded systems and the Internet of Things. He sees the world's growing dependence on technology as creating a need for greater focus on sound software design principles and rigorous, meaningful testing.

Jacob Nelson
Safety Engineer

  Elizabeth Osyk, PhD  Safe systems start with a solid theoretical foundation, follow through with a dependable implementation, and prove robust through testing and analysis. Beth brings Internet of Things and automotive experience to the team. As UC Berkeley research staff, she helped to build and test a disciplined, multi-host IoT development and execution environment as part of the TerraSwarm center. Prior to that she analyzed engine control software at a Tier 1 automotive supplier. Beth received her PhD in Electrical and Computer Engineering from Carnegie Mellon University, focusing on a methodology for assessing the reliability of safety-critical in-vehicle networks.

Elizabeth Osyk, PhD
Safe systems start with a solid theoretical foundation, follow through with a dependable implementation, and prove robust through testing and analysis. Beth brings Internet of Things and automotive experience to the team. As UC Berkeley research staff, she helped to build and test a disciplined, multi-host IoT development and execution environment as part of the TerraSwarm center. Prior to that she analyzed engine control software at a Tier 1 automotive supplier. Beth received her PhD in Electrical and Computer Engineering from Carnegie Mellon University, focusing on a methodology for assessing the reliability of safety-critical in-vehicle networks.

Elizabeth Osyk, PhD
Lead Engineer

  Mark Shepherd  Mark received his B.S. in Computer Science from Indiana University in 2017 with a specialization in Programming Languages. Mark is passionate about creating correct software whether that involves dependently typed languages, generating verified code, using better development practices, or testing, testing, and more testing. He believes that as software and robots get more intertwined with the physical world, safety and correctness become ever more important.

Mark Shepherd
Mark received his B.S. in Computer Science from Indiana University in 2017 with a specialization in Programming Languages. Mark is passionate about creating correct software whether that involves dependently typed languages, generating verified code, using better development practices, or testing, testing, and more testing. He believes that as software and robots get more intertwined with the physical world, safety and correctness become ever more important.

Mark Shepherd
Software Engineer

  Zachary Rousselle  Zach first became interested in building and testing dependable embedded systems while earning his M.S. in Electrical and Computer Engineering at Carnegie Mellon University. The current proliferation of smart devices and autonomous systems promises to make our lives easier, but also makes us more exposed to software vulnerabilities. It became clear to him that discovering and fixing those vulnerabilities before deployment through improved design processes and testing is the best way to mitigate those vulnerabilities. Zach’s additional experience with the Automated Stress Testing for Autonomy Architectures (ASTAA) project at Carnegie Mellon brings robustness testing expertise on top of his expert embedded systems knowledge.

Zachary Rousselle
Zach first became interested in building and testing dependable embedded systems while earning his M.S. in Electrical and Computer Engineering at Carnegie Mellon University. The current proliferation of smart devices and autonomous systems promises to make our lives easier, but also makes us more exposed to software vulnerabilities. It became clear to him that discovering and fixing those vulnerabilities before deployment through improved design processes and testing is the best way to mitigate those vulnerabilities. Zach’s additional experience with the Automated Stress Testing for Autonomy Architectures (ASTAA) project at Carnegie Mellon brings robustness testing expertise on top of his expert embedded systems knowledge.

Zachary Rousselle
Software Engineer

   Patrick was first exposed to complex, safety-critical problems while serving as a field intelligence leader attached to Joint Task Force Paladin in Afghanistan during the 2011-2012 campaign, where he successfully used mathematics to predict local insurgent activity. Since then, he has worked as a software engineer on cloud native projects for Fortune 100 clients, including a 2017 Webby Award winning application. He is passionate about applying the insights found in the intersection of topology, cognitive science, and computing to the high-stakes challenges surrounding the emergence of autonomous systems. In 2018, he earned a BS in Mathematics from Indiana University, a BS in Computer Information Systems from the California University of Pennsylvania, and completed studies in artificial intelligence.

  Patrick was first exposed to complex, safety-critical problems while serving as a field intelligence leader attached to Joint Task Force Paladin in Afghanistan during the 2011-2012 campaign, where he successfully used mathematics to predict local insurgent activity. Since then, he has worked as a software engineer on cloud native projects for Fortune 100 clients, including a 2017 Webby Award winning application. He is passionate about applying the insights found in the intersection of topology, cognitive science, and computing to the high-stakes challenges surrounding the emergence of autonomous systems. In 2018, he earned a BS in Mathematics from Indiana University, a BS in Computer Information Systems from the California University of Pennsylvania, and completed studies in artificial intelligence.

Patrick Beam
Software Engineer

  Samuel Yim  Sam received an MS in robotics from Carnegie Mellon University in 2016. He was a member of the Field Robotics Center, and, as part of his thesis research, developed a system for localizing a rover within a barren desert using only a pair of stereo cameras. He has experience with computer vision and machine learning systems, having previously worked on automated science analysis of stromatolite fossils and reliably identifying rocks in the desert. These problems have given Sam insight into how difficult it can be to make a truly robust perception system. At Edge Case Research, he works toward solving this fundamental challenge.

Samuel Yim
Sam received an MS in robotics from Carnegie Mellon University in 2016. He was a member of the Field Robotics Center, and, as part of his thesis research, developed a system for localizing a rover within a barren desert using only a pair of stereo cameras. He has experience with computer vision and machine learning systems, having previously worked on automated science analysis of stromatolite fossils and reliably identifying rocks in the desert. These problems have given Sam insight into how difficult it can be to make a truly robust perception system. At Edge Case Research, he works toward solving this fundamental challenge.

Samuel Yim
Robotics Engineer