Recruitee started at Oxford

Kendra Lesser has joined the AMBI project through a one year position as a Marie Curie Researcher.  She will be working in the Computer Science Department at the University of Oxford.

Kendra recently received her Ph.D. in electrical engineering from the University of New Mexico in the United States.  Her main research focus is on formal verification methods for controlled stochastic systems subject to noisy sensor measurements, and in particular computational approaches for generating probabilistic guarantees of safety.  While completing her Ph.D. she developed several novel computational methods for safety verification, and applied her work to problems ranging from temperature regulation in buildings to motion planning in uncertain environments.  She also worked in collaboration with the Air Force Research Laboratories on applying formal verification methods to spacecraft rendezvous and docking problems.