Courses

I am currently on teaching leave. I will be teaching next in Spring 2027.

Previous Courses

CSE 305, Spring 2026
CSE 702, Fall 2025

Office Hours

My office is Davis Hall 336.

I do not currently have regular office hours, but you can always reach out via email to schedule a meeting.

Get In Touch

hgoldste@buffalo.edu

Please feel free to email me about potential collaborations, committee invitations, speaking opportunities, etc.

I am currently not hiring new PhD students. If you are a student reaching out about working with me, I unfortunately may not have bandwidth to respond.

News

Aug 6 We'll be hosting the 1st Workshop on the Future of Property-Based Testing (FPBT'27), co-located with POPL in January.

Jun 18 Cassia Torczon just presented our new paper The Search for Constrained Random Generators at PLDI'26.

Links

CV (PDF) YouTube Beli