Runtime Vеrification
Aellison Cassimiro received his M.Sc. degree from the Federal University of Paraíba, Brazil, where he applied formal methods to solve the NP-Complete time-sensitive traffic scheduling problem. Previously, he worked as a software analyst and researcher exploring various fields, including computer and network security, IoT systems, networks, finance and monetary fraud detection/prevention. Currently, he is interested in tackling challenging and thought provoking problems, which lead him to join the RV team.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.