Michael Green

Performing pre-silicon validation of hardware root of trust using SystemVerilog, Ruby, Python, C++, ARM architecture, and SoC design.Updated validation testbench and found bugs in silicon IP to enable the team to hit a key bringup milestone using SystemVerilog, C++, and ARMv7 assembly programming. Wrote complex test scenario to verify in HDL simulation the ability of the hardware root of trust to be boot-able by firmware using SystemVerilog, C++, ARM assembly programming. Updated verification infrastructure to perform HW/SW debug of the hardware root of trust RTL model. This enabled faster test development time and debugging, increasing productivity of the entire team.

Performed statistical analysis to determine product strategy for Bot Manager using Python, plotly, Jupyter Notebooks, and SQL.Helped to optimize the product by performing false-negative risk analysis of various bot detection features within Bot Manager. Resolved customer issues with Bot Manager by recommending changes to the complex features of the product to improve customer experience (fewer false-positives or false-negatives).

Develop geo-spatial visualizations to evaluate ML model (using SQL and kepler.gl) that classifies urban areas, enabling marketing strategists to leverage, size, and locate opportunities globally. Analyze location-based network performance data. Visualize analysis results using Jupyter notebooks and dashboards while providing marketing and product mangers with insights to inform product development. Segmented locations into classes of network performance using SQL, data pipelines in Python, KMeans and DBSCAN clustering.Helped Meta maximize product impact by analyzing data to identify locations with greatest opportunities to reach the most users based on their internet access type. Built dashboard depicting day-to-day network performance and improvement opportunities at country level using SQL and Python. Supported marketing in prioritizing network enhancement interventions.