Steel City

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!

Published by wsimmons

Researcher specializing in applications of logic and algebra to computer science.

%d bloggers like this: