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 4 weeks |
Browse archives
Active forum topics
|
Recent comments
18 weeks 5 days ago
23 weeks 12 hours ago
24 weeks 4 days ago
24 weeks 4 days ago
27 weeks 2 days ago
31 weeks 6 days ago
31 weeks 6 days ago
32 weeks 2 days ago
32 weeks 2 days ago
35 weeks 1 day ago