Ana Mainhardt

Biography

Ana Maria Mainhardt studied Control and Automation Engineering at the Federal University of Santa Catarina (UFSC), Florianópolis, Brazil. From the same university, she received her Master’s degree in Automation Systems Engineering. Currently she is a PhD candidate at the Max-Planck Institute for Software Systems, Kaiserslautern, Germany, in the Cyber-Physical Systems group. Her ongoing research lies in the field of Supervisory Control Theory, but her interests include Formal Verification and Systems Biology.