Joseph ( Joey ) Coleman
 |
Position: |
Research Associate |
E-mail: |
J.W.Coleman ncl.ac.uk |
Telephone: |
|
Fax: |
|
Mail: |
School of Computing Science,
University of Newcastle upon Tyne,
Newcastle upon Tyne, NE1 7RU
United Kingdom |
Office: |
Room 1105 , Claremont Tower |
Disclaimer: |
Personal webpages |
Brief Biography
Joey earned a BSc (2001) in Applied Computer Science at Ryerson University in Toronto, Ontario. With that in hand he stayed on as a systems analyst in Ryerson's network services group. Following that he took a position at a post-dot.com startup as a software engineer and systems administrator.
Having decided that research was likely more interesting than what he had been doing, Joey moved to Newcastle and earned a MPhil (2005) in Computing Science, and is currently working part-time on his PhD.
He is involved primarily with the RODIN project, working on methodology. Other associations include the DIRC project.
His main interests lie in language design and semantics.
Publications
A list of publications by Joseph Coleman is available.
Research Groups
Joseph is a member of the [ Dependability ] [ Theoretical Computing Science ] research group(s)
Related OrganisationsJoseph is a member of the Centre for Software Reliability.
|