Tianyi Huang

> ./about.sh

I recently graduated with a B.S. in Computer Science from the University of Illinois at Urbana-Champaign.

This August, I'll be starting my PhD journey at the National University of Singapore.

Currently, I'm working (remotely) as a visiting researcher with Prof. Wenxi Wang at the University of Virginia, exploring how machine learning can make SAT solvers smarter and more efficient.

Research Interests: I'm passionate about compilers, formal verification, logic systems, and computational audio – basically anything that involves making computers understand and process complex structures, whether it's code or sound.

I'm always looking for opportunities to collaborate and work on anything cool – whether it's research projects, open-source contributions, or just interesting technical challenges. Feel free to reach out!

> cat experiences.txt

Aug 2024 – Present

Visiting Researcher

University of Virginia

Conducting research on leveraging machine learning to enhance SAT-solving algorithms with Prof. Wenxi Wang. Reviewing literature, designing algorithms, and performing experimental evaluations.

Aug 2022 – Dec 2022

Course Assistant

University of Illinois--Urbana-Champaign

Course Assistant for MATH 257: Linear Algebra with Computational Applications. Conducted weekly office hours and lab sessions.

> cat projects/

Octave

Music Programming Language

Octave is a Turing-complete language specifically designed for programmatic music composition. Write music using syntax similar to traditional notation, but with the power of variables, functions, conditionals, and loops. Compile your musical algorithms directly into MIDI files for seamless integration with digital audio workstations.

GitHub Live Demo

QSynth

Real-time Audio Synthesis Engine

A high-performance multi-layered audio synthesizer built in C for real-time audio processing. Features advanced instrument design capabilities with customizable effect pedals and signal chains. Optimized for low-latency performance, making it perfect for live performances and studio production workflows.

GitHub

Canfig

Strongly Validated Configuration Language

Canfig brings type safety and validation to application settings through SQL-like syntax and custom data types. Define precise validation rules with trigger-based error recovery to catch configuration errors before they reach production. Perfect for teams tired of deployment failures caused by configuration bugs.

GitHub

FeatherBase

Professional Bird Recording App

Developed in collaboration with 成都猛禽研究 (Chengdu Raptor Research). Features comprehensive bird attribute logging, location mapping, and photo integration with seamless local/cloud synchronization. One-click eBird data export and an intelligent search engine with 10,000+ species entries, including AI-powered image identification capabilities.

Demo

> ./about.sh

> cat experiences.txt