Dual BS/MS Student @ University of Michigan-Flint
Andrew Haralambous
Application security engineer and full-stack developer — building secure, scalable software and researching type systems along the way.
About
I'm a Computer Science and Software Engineering student at the University of Michigan-Flint, pursuing a dual BS/MS with a concentration in Cybersecurity Engineering. I split my time between application security, full-stack product work, and research on type systems that catch runtime errors before they happen.
Currently —interning as an Application Security Engineer at Consumers Energy, building Skillfolio, and researching dependent-type systems as a Google-sponsored research assistant.
Timeline
Where I've been
Application Security Engineer Intern
Consumers Energy
- Selected for Summer 2026 Application Security Engineer internship. Learning OWASP Top 10.
- Developed an automated Secure Code Coverage key performance indicator (KPI) using Python, Checkmarx One APIs, and cross-team collaboration, to measure application security compliance, reporting repositories free of Critical and High vulnerabilities for enterprise security scorecards and dashboarding initiatives.
Founder & Project Lead
Skillfolio
- Architecting a full-stack SaaS platform featuring a Next.js/TypeScript/React/Tailwind frontend and a Java Spring Boot backend to deliver highly responsive personal branding and resume optimization tools.
- Engineering secure data pipelines utilizing Supabase with Row-Level Security (RLS) and synchronization plugins.
- Optimizing client-side performance during secure data mutations by implementing modern React patterns, including Server Actions and optimistic UI updates, reducing initial page load times by ~40%.
Google-Sponsored Research Assistant — Software Engineering & Type Systems
University of Michigan-Flint
- Collaborating with a Google software engineer and 2 faculty researchers on scalable software analysis.
- Developing a novel type system to prevent runtime errors like division by zero and array index out-of-bounds.
- Prototyping a dependent-type system in Java/Kotlin to enforce stronger correctness guarantees at compile time.
AI MOVE Fellowship
Handshake
- Reviewed 600+ criteria across 15 websites to validate website features and user interaction flows.
- Applied systematic software quality assurance practices to ensure 100% accuracy of data fed to AI models.
- Categorized and labeled content to enable consistent data interpretation across a remote research team.
- Collaborated with project leaders to clarify ambiguous evaluation criteria and improve overall data accuracy.
SURE "AI in Education" Research Fellow
University of Michigan-Flint
- Analyzed academic literature on student AI use in college/university courses for research survey development.
- Categorized and labeled 100+ course syllabi to identify patterns in AI policy and disclosure developed by faculty.
- Created a research survey to interview 100+ students about whether and how they would disclose their AI usage.
- Collaborated with 8+ faculty and 30 research peers to review findings, refining the direction of my research.
Freelance Roblox Fullstack Developer
Self-employed
- Designed and implemented real-time user interface systems for Roblox games using Lua and Roblox Studio.
- Owned features from concept to deployment and collaborated with designers and 30+ clients to refine usability.
- Delivered modular, production-ready code that optimized navigation responsiveness for 100+ concurrent players.
- Integrated UI with backend scripts to enable features like inventory management and customizable settings UIs.
Projects
Selected work
Skillfolio
Founder & Project Lead
A full-stack SaaS platform for personal branding and resume optimization — Next.js/TypeScript/React/Tailwind frontend, Java Spring Boot backend, and Supabase with Row-Level Security for secure data pipelines. Server Actions and optimistic UI cut initial load times by ~40%.
Dependent-Type System Research
Google-sponsored research
Prototyping a dependent-type system in Java/Kotlin with a Google software engineer and UM-Flint faculty researchers, aimed at catching runtime errors like division by zero and array index out-of-bounds at compile time.
Skills