ALFA Group UROP Openings - Summer 2016

Project 1: "Machine Learning, CyberSecurity and Software Defined
Networks": Software defined networks are constantly growing in
popularity, but the security is still an issue. This project involves
applying machine learning to replicate how topology poisoning exploits
manage to escape detection.

Project 2: "Coding the Tax Code": AI techniques translate case law to
software, but rarely the Tax Code. In addition, when the law is
formalized in software, the correctness needs to be verified. This
project will investigate how to translate tax regulation to software
and verify the software.

Erik Hemberg-