This post has
vote for this article

Matt Windsor

Matt is a postdoc in the York RoboStar group, working on notations for capturing verifiable properties of models of robotic systems.  Matt’s interests include automatic verification and testing of concurrent software, and producing tools and languages for formal reasoning.

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes:

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>