Blog Publications Github About FPC


How do you buy food and shelter?

I'm a PhD candidate at Oregon State University.

What have you been up to?

Finishing that damned PhD, hacking sbv or vsat/vsmt or likely programming

How to contact you?

Why "doyougnu" for everything online?

My legal name Jeffrey M. Young is extremely common, so I resort to a