Advised by Darko Marinov
Advised by Marcelo d'Amorim
Dynamic Slicer - A dynamic program slicer that does not recompile the code every iteration.
Security on the Internet of Things - Addressing security problems and developing solutions on the IoT context, this is a joint project supported by the NSF and RNP (US and Brazil National Science Foundations, respectively) and involves researchers from the University of Illinois at Urbana-Champaign, University of Michigan, and the Federal University of Pernambuco.
—THERE’S NO SUCH THING AS A FREE LUNCH. (Milton Friedman)