Experience
Education
Bio
Logic in computer science; linear dynamical systems; automated verification.