Mgr. Ada Bӧhm, Ph.D.

Ada Böhm earned a Ph.D. in computer science. She works as a research engineer specializing in artificial intelligence safety. She also deals with task schedulers for supercomputing systems and complexities in the field of formal verification.