Every system grounded in first principles. Built from axioms up, not assembled from frameworks down.
AI microservice for car insurance policy renewal via WhatsApp. Formally specified as ⟨S, A, P, π, R, M⟩. Hybrid policy architecture combining rule-based reasoning (π_R) with learned components (π_L), orchestrated by a decision engine with ethical constraint filtering C(s,a). Dual memory: Redis for working memory, PostgreSQL for long-term persistence. 90% intent accuracy. 95% reduction in lead processing time. Built solo during internship with full production deployment.
This system generated a formal research paper. Theory and implementation developed simultaneously.
Hybrid neural-symbolic system for algorithmic understanding. Formal verification core in Haskell combined with neural pattern recognition in Python. Treats algorithms as living architectures of logic — representing, reasoning about, and explaining them formally.
Modular NLP pipeline for ethical compliance analysis of ML models. Parses model cards and configurations, automates structural and ethical compliance checks across PyTorch, TensorFlow, and scikit-learn. Reduces manual review time by 40%.
Public record of mathematical work done independently. Proofs written in full LaTeX, definitions stated precisely. Covers logic, TOC, linear algebra, set theory, quantum foundations. One entry per week, no exceptions.
AI-driven vocational guidance iOS app. SwiftUI frontend, FastAPI backend, BRAIN microservice for conversational AI, gamified career exploration with persistent user profiles. Built end-to-end solo in under 24 hours at HackPue.
Emotional media iOS app with Gen Z-inspired design. Mood boards, song of the week, vibe tracking, manifest board. Designed as a private, expressive alternative to social media. Demonstrates modern iOS 17 design principles and MVVM architecture.
Educational iOS app teaching children healthy eating through interactive gameplay. Comic book storytelling, Flappy Bird-style minigames, drag-and-drop food mechanics, nutrition encyclopedia. Demonstrates Swift, SwiftUI, and mobile game development.
Personal knowledge engine with robust backend API. Demonstrates strong software engineering practices: FastAPI, Pydantic, OpenAPI documentation, comprehensive Pytest coverage. A foundation for productivity tools and structured knowledge management.
First professional experience. Developed and maintained a patient record database in SQL, optimizing queries across 2,000+ entries. Built automated data analysis pipelines in Python with NumPy and Pandas for cohort analytics, improving reporting accuracy by 82%.
Streaming service implementation demonstrating strong OOP principles. Applied design patterns, polymorphism, and inheritance to model a real-world content platform. Relevant for system design discussions and demonstrating core CS fundamentals.
Tool to process and sort log files using linked list manipulation and QuickSort. Demonstrates DSA fluency through practical application — implementation of foundational algorithms in C++ with real-world data processing context.