James Chapman is a seasoned professional in the field of computer science with extensive experience in formal methods and software engineering. Currently serving as the Head of Formal Methods at Input Output (IOHK) since September 2018, James has previously held roles as a Software Engineer and Research Associate at the University of Strathclyde from September 2015 to August 2018, and as a Senior Researcher at the Institute of Cybernetics at Tallinn University of Technology from February 2009 to August 2015. Earlier in his career, James worked as a Teaching Fellow at The University of Nottingham Ningbo China and as a Software Engineer at ADP. James holds a Doctor of Philosophy (PhD) in Computer Science from the University of Nottingham, where a Bachelor of Science (BSc) in Computer Science was also earned.
This person is not in any teams
This person is not in any offices