Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
HoTT is just a side interest -- and actually I haven't had time for it for quite a while, unfortunately. (Although, now that I've learned more abstract math, I might actually stand a chance of understanding what it's getting at!) My research is on models of complex systems -- stuff with both a big physical component and digital control. Mostly I spend my time reading about formal methods in software engineering and then figuring out how to use those ideas elsewhere. It's interesting but slow going.