Hello!你好!こんにちは!안녕하세요!Hola!Bonjour!Guten Tag!Ciao!Olá!Привет!مرحبا!नमस्ते!Hej!Hallo!Γεια σας!Merhaba!שלום!Sawubona!Jambo!Xin chào!สวัสดี!Selamat!Kumusta!Salam!Halo!Chào!Salut!Ahoj!హలో!வணக்கம்!Hello!你好!こんにちは!안녕하세요!Hola!Bonjour!Guten Tag!Ciao!Olá!Привет!مرحبا!नमस्ते!Hej!Hallo!Γεια σας!Merhaba!שלום!Sawubona!Jambo!Xin chào!สวัสดี!Selamat!Kumusta!Salam!Halo!Chào!Salut!Ahoj!హలో!வணக்கம்!
Welcome to my Personal Portfolio

I'm Vincent, a student at Boston University studying Computer Science

/me_teki.svg
Beyond Code: Tennis, Astronomy, F1, and learning languages
;
I constantly try to improve
My tech skills
vLLM
vLLM
vLLM
Cursor
Cursor
Cursor
/grid.svg
/waymo.svg
CS Student with a passion for Computer Vision & AI Research
/b5.svg
/grid.svg
Currently Building
Talentora: AI-Powered Interview Platform Revolutionizing Recruitment
Do you want to start a project together?

A small selection of recent projects

bg-img
Automating Theorem Proving with LLMs and KGs

Automating Theorem Proving with LLMs and KGs

Research project on automating mathematical proof generation using large language models and knowledge graph powered retrieval augmented generation.

bg-img
Talentora: AI Interview Bot

Talentora: AI Interview Bot

AI-powered interview bot to augment resume screening, providing recruiters with a comprehensive understanding of candidates beyond traditional methods.

bg-img
Recyclify: Making Recycling Simpler

Recyclify: Making Recycling Simpler

A binary image classification program determining recyclability of personal waste using Keras from Tensorflow.

bg-img
College Mart: Get More for Less

College Mart: Get More for Less

A platform where college students can trade, sell, or buy items with each other.

My Experiences

My Research

Surveillance Policies as a Means for Pandemic Prevention and Monitoring

Policy analysis exploring the ethical and practical implications of surveillance technology in public health response

Automating Mathematical Proof Generation Using Large Language Models and Knowledge Graphs

Novel approach combining LLMs with knowledge graph traversal for automated theorem proving - advancing AI reasoning capabilities