Joe is an Associate Professor at IT University of Copenhagen, working in the Software Development Group and the Programming, Logic and Semantics Group. He leads the KindSoftware: Software Engineering with Applied Formal Methods research group. Previously, he was a Lecturer in the School of Computer Science and Informatics at University College Dublin, where he co-founded the Systems Research Group. More information about Joe is available on his KindSoftware page.
Dan is an Assistant Professor in the Institute of Technology at the University of Washington Tacoma, where he leads the Applied Formal Methods research group. More information about Dan is available on his academic home page.