Aellison Cassimiro

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.