Experience
Education
Bio
Research interests:
Program analysis, software testing, automatic programming.
Safety and explainable artificial intelligence