Chufeng (Beza) Jiang

My name is Chufeng Jiang (蒋楚枫), the pronunciation is [tʃu:fɛŋ]-[dʒɑːŋ]. I will be happy if you call me “Beza“(በዛ), the pronunciation is [beɪ za], an Ethiopian Christian name chosen by my colleagues, which means “good luck” and “the gift from the God”. I love this name so much because I am always on a lucky streak!

I am a 3rd year CS PhD student at The City University of New York, where I am advised by Dr. Neng-Fa Zhou. Concurrently, I am also pursuing an MS in Computer Science at The University of Texas at Austin.

I’m into a few exciting research areas:

1. Logic and Constraint Programming ( with Picat );

2. Machine Learning for SAT Solving;

3. LLM Alignment and Reasoning.