His main interests lie in philosophy, mathematics, computer science, physics and engineering. Since taking John Baez’s Category Theory Seminar at UC Riverside, he now follows his Applied Category Theory Seminar on the Azimuth Forum. In general, he is interested in applications of category theory to programming language theory (operational semantics), networks, control systems, physics (quantum gravity), homotopy type theory and univalent foundations.
He currently approaches engineering from the theoretical and applied extremes by reading about network theory and ROS. He plans on steadily filling the gaps by learning traditional electrical engineering and gaining hands-on experience with mechanical engineering design.
He works as a computer engineer, freelances his services as a full-stack developer, system administrator and webmaster, and researches artificial intelligence.