I’m very happy to join the Logical Systems Lab at Carnegie Mellon here in Pittsburgh. Andre Platzer and his group do outstanding work on verified cyber-physical systems, from theory all the way to practice. It’s exciting to tackle problems in mathematical logic, algebra, and differential equations that have real-world implications for transportation, energy, and more!
Computing, logic, and algebra
William Simmons 