I’ve been lurking for a bit, but with the influx of academics, good time for a quick (re-)intro? CS prof at Carnegie Mellon, specialty Software Engineering, especially all kinds of code transformation/program repair (so yes, a lot of AI codegen these days), plus SE4robotics sometimes. 1/