# Yue Chen Li > Agents @ Netic | CS, Neuro & Math @ MIT Location: Boston, Massachusetts, United States Profile: https://flows.cv/yuechenli I like building cool things at the intersection of artificial intelligence, systems, and programming languages. ## Work Experience ### Software Engineer @ Netic Jan 2026 – Present | San Francisco, California, United States Building the AI revenue engine for essential service industries ### Software Engineer Intern @ Jane Street Jan 2025 – Jan 2025 | New York, New York, United States ### Undergraduate Teaching Assistant @ MIT EECS Jan 2025 – Jan 2025 | Cambridge, Massachusetts, United States Held office hours and assisted with designing problem sets for 6.S057 Verified Software Engineering ### Undergraduate Researcher @ MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) Jan 2024 – Jan 2025 | Cambridge, Massachusetts, United States Parallel and Distributed Operating Systems ### Teacher @ MIT International Science & Technology Initiatives (MISTI) Jan 2025 – Jan 2025 | Diepholz, Lower Saxony, Germany - MISTI Global Teaching Labs program that challenges students to bridge cultural and language barriers learn through teaching - Developed and taught lessons in Computer Science, Mathematics, and Chemistry to students of Graf-Friedrich-Schule Gymnasium ### Grader @ MIT Department of Mathematics Jan 2024 – Jan 2024 | Cambridge, Massachusetts, United States Designed rubrics and graded assignments for 18.404 Theory of Computation working with the teaching team ### Software Development Engineering Intern @ Amazon Web Services (AWS) Jan 2024 – Jan 2024 | Boston, Massachusetts, United States - Researched and developed automated reasoning-assisted LLM-based code generation systems with applied scientists - Reviewed and replicated state-of-the-art automated reasoning-assisted code generation literature and benchmarks ### Undergraduate Research Assistant @ MIT Brain and Cognitive Sciences Jan 2024 – Jan 2024 | Cambridge, Massachusetts, United States - Researched deep learning models for human auditory memory of natural sounds using PyTorch Lightning in the Laboratory for Computational Audition (McDermott Lab) ### Undergraduate Research Assistant @ MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) Jan 2023 – Jan 2024 | Cambridge, Massachusetts, United States - Researched proving security against leak of secrets via timing-attacks by verifying strong isolation in a hardware system under Prof. Adam Chlipala and Stella Lau - Developed a symbolic model checker in Coq for the Kôika hardware description language - Researched Halide-like higher-level scheduling tactics for program optimization in the Verified ATL Framework under Prof. Adam Chlipala and Amanda Liu ### Machine Learning Research Intern @ Genesis Therapeutics Jan 2023 – Jan 2023 | Cambridge, Massachusetts, United States Experimented with alternative architectures for Genesis' internal PotentialNet ### Machine Learning Research Intern @ Genesis Therapeutics Jan 2023 – Jan 2023 | San Francisco Bay Area - Developed a system to fit molecular dynamics forcefields to quantum mechanical model simulations of small molecules - Proposed experiments, analyzed chemistry data and benchmarks in Python, and presented findings in team meetings - Optimized the efficiency and enhanced the software architecture of Genesis’ cloud infrastructure code and pipelines ### HKN Honor Society Peer Tutor @ Massachusetts Institute of Technology Jan 2023 – Jan 2023 Tutored students 1-to-1 in - 6.1210[6.006] Introduction to Algorithms - 6.1010[6.009] Fundamentals of Programming - 6.1900[6.0004] Introduction to Low-level Programming in C and Assembly ### Undergraduate Research Assistant @ MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) Jan 2023 – Jan 2023 | Cambridge, Massachusetts, United States - Researched on verified compilers under Prof. Adam Chlipala and Thomas Bourgeat in the MIT CSAIL Programming Languages & Verification Group - Developed and verified a hardware combinational logic circuit specification language operating on bitvectors in Coq - Implemented a parameterized barrel-shifter circuit generator and compiler optimizations such as constant propagation ### First-Year Trading and Technology Program @ Jane Street Jan 2023 – Jan 2023 | New York, United States ### HKN Honor Society Peer Tutor @ Massachusetts Institute of Technology Jan 2022 – Jan 2022 Tutored students 1-to-1 in 6.1220[6.046] Design and Analysis of Algorithms, MIT's capstone undergraduate algorithms class ### Blockchain Development Intern @ Gomu.co Jan 2022 – Jan 2022 | Singapore, Singapore - Developed an MVP with >2TB of data for indexing NFTs on the Solana blockchain solo using Rust, columnar databases & cloud services - Created an alpha Solana endpoint with >10000 NFTs supporting collections such as Okay Bears for the Gomu API, which was presented to potential customers - Contributed to the design and development of general data ingestion frameworks for the Gomu tech stack - Worked with cloud platforms for storage and monitoring ### Research Intern @ DSO National Laboratories Jan 2019 – Jan 2019 | Singapore Researched on "Incorporating Dilemma Reasoning into Modern SAT Solvers" under the guidance of Dr Kian Ming Adam Chai ## Education ### Bachelor of Science - BS in Mathematics, Computation and Cognition Massachusetts Institute of Technology ### NUS High School Diploma (High Distinction) in Honours in Mathematics, Computer Science and Chemistry, Major in Physics NUS High School of Mathematics & Science ### Non-Graduating Programme National University of Singapore ## Contact & Social - LinkedIn: https://linkedin.com/in/yue-chen-li --- Source: https://flows.cv/yuechenli JSON Resume: https://flows.cv/yuechenli/resume.json Last updated: 2026-03-28