Mr Joseph Harrison
PhD Project Summary
I am correcting perceived flaws and gaps in Erlang's communications via static analysis and runtime verification.
I am a member of the following research groups:
I am a part-time technician in The Shed.
I have a foundation license for amateur radio in the UK. My callsign is M6LOX and I have a QRZ.com profile.
I am a student member of the RSGB.
I do some sessional teaching in the school (seminars, terminals, drop-in sessions) for subjects I enjoy teaching
I currently teach:
- CO320 - Introduction to Object-Oriented Programming, an undergraduate Java course.
- CO545 - Functional and Concurrent Programming, an undergraduate Erlang course.
- CO838 - Internet of Things and Mobile Devices, an embedded and distributed systems course using C++.