Working with JP Rosen at Adalog.
PhD student in static code analysis, in Ada, of course.