User loginNavigation |
AJHSimonsPersonal informationCurrently Senior Lecturer in Computer Science at the University of Sheffield, I work in all areas of object-oriented programming, design and testing. I came to this through phonetics at the University of Cambridge (1976-80) to automatic speech recognition (1986-1990) and object-orientation at Sheffield, where I completed a PhD in OO type theory (1992-5). I digressed into OO design methodology (1993-2002) and have since worked mostly in verification and testing (2000-date). I work in all areas of object-oriented programming, from language design, type theory, analysis and design methods, verification and testing, to model-driven engineering. I also like functional and logic programming as paradigms. I'd like to develop a practical OO language based on the theory of F-bounds. History16 years 8 weeks |
Browse archives
Active forum topics |
Recent comments
1 day 11 hours ago
1 day 15 hours ago
1 day 15 hours ago
22 weeks 2 days ago
26 weeks 4 days ago
28 weeks 1 day ago
28 weeks 1 day ago
30 weeks 6 days ago
35 weeks 4 days ago
35 weeks 4 days ago