The Verification Engineers at Runtime Verification specialize in employing advanced formal methods to ensure the correctness and reliability of software systems. They rigorously analyze code and system behaviors to identify and rectify bugs and errors, ultimately aiming to enhance software quality and performance. This team plays a critical role in safeguarding the integrity of the company's software solutions through meticulous verification processes.
Aellison Cassimiro
Formal Verification Engineer
David Kretzmer
Formal Verification Engineer
Denisa Diaconescu
Formal Verification Engineer
Juan Conejero
Formal Verification Engineer
Maria Kotsifakou
Formal Verification Engineer
Mihai Calancea
Formal Verification Engineer
Qian Hu
Formal Verification Engineer
Rikard Hjort
Senior Formal Verification Eng...
Theodoros Kasampalis
Formal Verification Engineer
Yan Liu
Formal Verification Engineer