Software Engineer

Rodrigo de Salvidea

832-***-**** *****************@*****.*** linkedin.com/in/rodrigodesalvidealozano Education

University of Massachusetts Amherst Amherst, MA

Bachelor of Science in Computer Science With Honors Aug. 2022 – May 2025 GPA: 3.9

• Relevant coursework: Machine Learning, Systems Programming, Operating Systems, Programming Methodology, Artificial Intelligence, Data Structures, Algorithms for Data Science, Probability, Reverse Engineering and Exploitation

• Relevant Extracurriculars: Cybersecurity Club, Machine Learning Club. Experience

Research Assistant — Formal Verification of ESIM Specifications February - August 2025

• Read through ESIM protocol requirements specifications and translated described protocols into formal logic rules to verify protocol correctness with automated proof assistants

• Built a Python tool using LLMs and PDF parsing to automatically extract and identify key protocol steps, reducing manual analysis time

• Modeled ESIM profile acquisition protocols, confirming the architecture as the root cause of known security vulnerabilities

Data Analytics Intern — Remax February 2026

• Analyzed Houston housing market trends using Power BI to develop realtor marketing strategies

• Built interactive dashboards in Tableau used by agents and clients to track pricing and inventory trends Projects

Health Insurance Claims Data Analysis Python, R, pandas, Machine Learning 2025

• Used random forest and xgboost models to achieve a .9 r 2

score

• Ensured high quality of data by addressing possible class imbalances and missing values

• Optimized features to prevent overfitting and improve performance of regression models

• Presented findings as a Quarto Document with explanation of data science methodology to communicate insights. UMass Events Map React, Node.js, Full Stack Development 2024

• Led a team of seven to develop a full stack interactive events map for UMass Amherst organizations.

• Worked in an agile environment in two week sprints as part of a software engineering course to meet client requirements.

• Implemented Supabase Auth to allow UMass students to create accounts.

• Built a mobile app in React Native and TypeScript as our front end and an ExpressJS backend to meet CRUD functionalities for the app, implementing the REST api. Skills

Frameworks: Express, Spring, Expo, Django

Programming Languages: Javascript, Typescript, Java, Python, C, C++, HTML/CSS, R, VBA, SQL Data: Power BI, MS SQL Server, Tableau, Pandas, Matplotlib, Numpy, Plotly, Quarto, Postgresql, Excel Developer Tools: Git, Github, Gdb, Valgrind, VSCode, RStudio, Vim, Cursor Design: Figma

Developer Methodologies: Agile, Scrum

Languages: Native speaker of English and Spanish

Contact this candidate