
About Me
paul@IAC22:~$ ls
Cornell_University CS_Major AI_Minor Applied_Economics_Minor interests
paul@IAC22:~$ cd interests
paul@IAC22:~/interests$ find . -name ""
Cornell_University CS_Major AI_Minor Applied_Economics_Minor interests
paul@IAC22:~$ cd interests
paul@IAC22:~/interests$ find . -name ""
Experience

L3Harris Technologies
Software Engineering Intern
Developed embedded systems software in C++ and implemented DevOps pipelines. Worked with Linux environments and real-time systems for defense applications.
Developed embedded systems software in C++ and implemented DevOps pipelines. Worked with Linux environments and real-time systems for defense applications.

rapStudy
Software Engineering Intern
Built React frontend components and integrated Firebase backend. Focused on UI/UX improvements and JavaScript optimization for educational platform.
Built React frontend components and integrated Firebase backend. Focused on UI/UX improvements and JavaScript optimization for educational platform.
Projects

OCaml Theorem Prover
Functional programming project implementing automated theorem proving
algorithms in OCaml with comprehensive LaTeX documentation and formal verification methods.

Stock Backtesting Engine
High-performance C++ trading system with PyTorch ML models for market
prediction, backtesting capabilities, and quantitative analysis tools.

LockedIn: Professional Networking
Full-stack web application with Python Flask backend, Firebase
integration, SQLAlchemy ORM, and Docker containerization for scalable deployment.

Intelligent Image Cropping GUI
Java desktop application with advanced algorithms for automated
intelligent image processing, cropping, and seam carving techniques.

Harbor: Dating App
React Native mobile application with Node.js backend, Express.js API,
TypeScript for type safety, and real-time messaging features.

Cornell Portfolio Management Club
Responsive club website built with HTML, CSS, JavaScript, and
Bootstrap for professional presentation and member engagement.
Skills
Languages
C++
Java
Python
HTML
CSS
TypeScript
JavaScript
OCaml
Go
Frameworks
React
React Native
Bootstrap
Node.js
Tools
Docker
Git
Firebase
Postman
JUnit
MongoDB
Linux