The Engineering Team at Runtime Verification is responsible for developing and maintaining cutting-edge software analysis tools that identify and rectify bugs and errors in software systems. This diverse team, composed of experts in full stack development, compilers, DevOps, and research, collaborates to enhance product functionality and reliability through innovative engineering solutions. Their work is pivotal in ensuring the robustness and efficiency of the company’s software offerings.
Adam Fiedler
Research Engineer
Bruce Collie
Compiler Engineer
Burak Yalçınkaya
Research Engineer
Chenglong Ma
Full Stack Engineer
Freeman Wenzl
DevOps Engineer
Guy Repta
Software Engineer
Jost Berthold
Haskell Engineer
Musab A. Alturki
Senior Research Engineer
Noah Watson
Research Engineer
Ralph Johnson
Embedded Lead
Roberto Rosmaninho
Compiler Engineer
Samuel Balco
Haskell Engineer
Scott Guest
Compiler Engineer
Virgil Nicolae Șerbă...
Senior Software Engineer
Yi Zhang
Software Engineer
View all