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 ""
Hey there! I'm Paul, a Computer Science student at Cornell University and I'm from Rochester, NY. When I'm not coding, you'll find me in the gym, on the golf course, or hitting the slopes. I love trying new things, whether it's a new food, game, or activity. I have a passion for building things that try to solve real problems and I'm excited to learn more about SWE and entrepreneurship.
~/memories
paul@IAC22: ~/memories
paul@IAC22:~/memories$ cd ~/memories
paul@IAC22:~/memories$ ls -lah
total 2.4G
2021-02-14_first_dunk.mov
# First time dunking!
2023-10-12_varsity_football.mov
# Varsity football clips
2024-03-10_first_frontflip_skiing.mov
# First frontflip on skis!
2025-06-20_berkeley_ai_hackathon.jpg
# UC Berkeley AI Hackathon
2025-07-03_bench_press_275.mov
# New bench PR!
paul@IAC22:~/memories$ _
paul@IAC22:~/memories$ cat filename.jpg
Experience
L3Harris Technologies
Software Engineering Intern
- Developed and customized open-source software solutions using Go programming language
- Built custom Linux distributions and embedded systems for deployment and testing
- Collaborated on enterprise software systems and platform integrations
rapStudy
Software Engineering Intern
- Built React frontend components and integrated Firebase backend
- Focused on UI/UX improvements
- Optimized JavaScript for educational platform
Projects
The Lion Project
- Trained model to tell apart human from AI voices with 90%+ accuracy
- Used that model in a desktop app, mobile app, and chrome extension
- ONNX, Huggingface, PyTorch, Sci-kit Learn, Flask, Librosa, Kivy
Vocera: AI Deepfake Detection App
- React Native mobile app with biometric authentication
- FastAPI backend with advanced machine learning
- Secure voice verification platform
OCaml Theorem Prover
- Automated theorem proving algorithms in OCaml
- Comprehensive LaTeX documentation
- Formal verification methods implementation
Stock Backtesting Engine
- High-performance C++ trading system with PyTorch ML models
- Market prediction and backtesting capabilities
- Quantitative analysis tools for trading strategies
LockedIn: Professional Networking
- Full-stack web application with Python Flask backend
- Firebase integration and SQLAlchemy ORM
- Docker containerization for scalable deployment
Intelligent Image Cropping GUI
- Java desktop application with advanced algorithms
- Automated intelligent image processing and cropping
- Seam carving techniques for content-aware resizing
Harbor: Dating App
- React Native mobile application with Node.js backend
- Express.js API with TypeScript for type safety
- Real-time messaging features and user matching
Cornell Portfolio Management Club
- Responsive club website built with HTML, CSS, JavaScript
- Bootstrap framework for professional presentation
- Member engagement features and event management
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
EMAIL
LINKEDIN
GITHUB