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

Are you still doing homotopy type theory (or was that your side-interest? it's been a while)? Tell more about your research, if only to remind me of some of the details, please.

By the way, by the looks, you remind me of my geography teacher. It's definitely a compliment, I had a major crush on her in high school. :)





ilex  ·  1749 days ago  ·  link  ·  

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.