Resume.

Thomas J. Watson College of Engineering and Applied Science

Master of Science in Computer Science with a Focus in Artificial Intelligence (GPA: 3.85)

Relevant Coursework: Algorithms, Principles of Programming Languages, Machine Learning

Utica, NY

Bachelor of Engineering in Computer Science with a Minor in Information Systems (GPA: 3.65)

Relevant Coursework: Artificial Intelligence, LLMs, Data Structures and Algorithms, Linear Algebra

Wenye Xue, Joseph Nissen, Yiming Zeng. “Verified Connection Establishment for End-to-End Entanglement in Quantum Networks.” Under submission, IEEE INFOCOM 2027.

• Built and debugged the NetSquid/SquidASM simulations benchmarking Verified Connection Establishment against VBQT and other baselines
• Prepared the paper’s figures and contributed to writing, revision, and consistency review across drafts

NYCM Insurance

• Automated data extraction from third-party sources using Python and pandas
• Curated and cleaned datasets for downstream analysis and modeling
• Built models to support underwriter decision-making
• Delivered finished results through a Tableau dashboard for underwriting teams

SUNY Polytechnic Institute

• Built a personal knowledge management system for analyzing AI chatbot conversations on an open-source wiki
• Extended the tool to support multiple concurrent users using MERN full-stack development
• Managed two-week Agile sprints; led code reviews and system testing across a 3-person research team
• Authored a TiddlyWiki guide adopted in a SUNY Poly master’s course; presented results in a poster session

• Fine-tuned multiple instruction-based large language models to teach programming in Lua
• Used model distillation techniques to create a synthetic dataset
• Compared various models and training variables and explained findings in paper format

• Generated synthetic records from the UCI Adult census dataset, comparing GAN-based and VAE-based synthesizers
• Trained classifiers on real and synthetic data and scored both against a held-out real test set to measure utility
• Built the preprocessing pipeline handling mixed categorical and continuous features and one-hot column alignment