This post has
0
votes
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.

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>