Nikos Aréchiga

Nikos Arechiga 

Nikos Arechiga, Ph.D.
Formerly at Electrical and Computer Engineering,
Carnegie Mellon University



I am a researcher at Toyota Research Institute.

My research focus is on formal verification of software and cyberphysical systems. I am especially interested in issues of scalability, automation, and computing abstractions for different purposes.

I graduated with a Ph.D. in Electrical and Computer Engineering at Carnegie Mellon working with Professor Bruce Krogh. My thesis work was in working with an abstraction of controllers called a control envelope, which represents a class of controllers that ensure the closed-loop system is kept inside a parametrized class of invariants. I worked on verifying control envelopes with the theorem prover KeYmaera, as well as providing a technique for incroporating control envelopes into a traditional control design scenario.