Educational Technology, Computer Science Education, Mathematical Logic, Agent-based Systems, and Functional Programming.
View All Projects
ACM DL Publications
During term, I am usually available 08:30-09:00 weekdays.
Alternatively, email Mike (m dot s dot joy at warwick dot ac dot uk) for an appointment.
“Introducing UNIX and Linux”