Static Analysis for Security

Worked on Mariana Trench (https://mariana-tren.ch/), an open source tool to detect security issues in Android and Java codebases.

I worked with Dr Sycara in the Advanced Agent Robotics Technology Lab on multi-robot path planning algorithms and controls in dynamic and uncertain environments, specifically in the context of non-combatant evacuation. I improved the re-planning time of an existing risk aware path planning algorithm (by a factor of about 2-3 on the cases studied).

I worked on searching for and analyzing areas of twitter bots exerting social influence in election related discussions (with a focus on the midterm elections in 2018). We collected tweets based on relevant hashtags and then marked the bots with a bot detector. I worked (using python) on visualizing the tweet-retweet graph of the collected tweets, analyzing the influence of bots based on their positions in the graph and coming up with ways to improve our predictions of candidate influence.

I worked with my team to build predictive and diagnostic financial models based on available data.

To this end, we also built an automated data querying library to speed up our workflow. I worked on input data processing and the testing as well as tuning of several machine learning paradigms to find one that worked best.