a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment
ilex  ·  1749 days ago  ·  link  ·    ·  parent  ·  post: Pubski: June 12, 2019

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.