M.S.E. in Computer Science · University of Pennsylvania

Hi, I'm Sophia Szczepek

See my projects Get in touch
Sophia S.

01About me

I'm pursuing a Master's degree in Computer Science at the University of Pennsylvania, and my academic interests are randomized and sublinear algorithms. I also studied mathematics at Penn as an undergraduate.

Outside of coursework I enjoy Pokemon VGC.

02Projects

C Systems

Unix-like Operating System

Includes a priority scheduler, FAT file system, and user-shell interactions.

Available Upon Request
Python Cryptography

Blockchain Implementation

A simple blockchain system using ECDSA public/private keys for addresses and spending authorization, a hash table UTXO set in the validator, AES-GCM-based encrypted wallet storage using a passphrase-derived key, wallet scanning, and cached taint propagation.

View on GitHub
Lean Algorithms

Randomized Max-Cut Formalization

Developed a formal verification of weighted randomized Max-Cut in Lean 4. Formalized graph cuts, expected cut weight, and the randomized 1/2-approximation guarantee. Currently working on deriving a deterministic algorithm via conditional expectation, and investigating reusable abstractions for formally verifying approximation algorithms.

View on GitHub

03Skills & Coursework

⚙ Skills

Languages
C++ C Java JavaScript / TypeScript Python
Frameworks & Tools
PyTorch React Docker Git
Areas
Algorithms ML

📚 Coursework

  • CIS 6770 Randomized Algorithms
  • CIS 5200 Machine Learning
  • MATH 3710 Abstract Algebra
  • MATH 3610 Analysis

Let's connect