(formerly Business Information Management) in Kingston Business School and part of Kingston University.
The Business School is situated near the top of Kingston Hill
(gmap) in the South West of Greater London.
Background
I have a background in Computer Science (MSc and PhD) and Maths (BSc) and I lectured in Computer Science for many years before coming to Kingston Business School.
Interests
I have long had interests in programming language theory. This has included functional programming (see book), type theory and, more recently, formalisms and foundations for programming the Internet.
I have also done work in Geometric Modelling and in Applications of Formal Methods. (See Research Link for Details).
Details of Living Labs and the Workshop held on 13th,14th May 2005.
Contact
(Room 341 of the Business Building)
Chris Reade
Research
General Research Interests
My interests have included Functional Programming, Functional GUI construction, Programming Language Theory, Type Theory, Higher Order Programming and Concurrency, Application of the above to WWW, Mobile and Global Computing, Formal Methods, Geometric Modelling
Presentations
University 2.0 : Web 2.0 and Implications for the University (html slides), Kingston University, 2nd July 2007
A System for Automatic Evaluation of Programs for Correctness and Performance (pdf), WEBIST 2006, Setubal, Portugal
A Formal Verification method of Scheduling in High-Level Synthesis (pdf), ISQED 2006, San Jose, CA
Future Work for Living Labs (Living Labs Workshop, Dorich House, Kingston, May 2005)
The Rise of Model Checking (Kingston, May/June 2002) pdf
Haskell, LDAP and Concurrency (UKC, March 2002) pdf
Recent Projects
Platypus (Consortium looking at Web Technologies for personal and group Information Management in a global, mobile context)
A System for Automatic Evaluation of 'C' Programs - features and interfaces, International Journal of Web-Based Learning and Teaching Technologies (IJWLTT ISSN: 1548-1093 EISSN: 1548-1107), vol.2, No. 4, pp 24--39, 2007; Amit K. Mandal, C Mandal, Chris Reade.
A Scheme for Recipient Specific Yet Anonymous and Transferable Electronic Cash by Chittaranjan Mandal, Chris Reade, Proc. of WEBIST 2007, Barcelona, Spain, Volume SeBeG/eL pp 204-209, March 3-6, 2007. ISBN 978-972-8865-79-5
Animating Algorithms over the Web by Chittaranjan Mandal, Chris Reade; Proc. of WEBIST 2006 , Setúbal, Portugal, pp 403-407, Apr 11-13, 2006, ISBN 978-9728865-47-4.
A System for Automatic Evaluation of Programs for Correctness and Performance ; Proc. of WEBIST 2006, Setúbal, Portugal, pp 196-203, Apr 11-13, 2006 (ISBN 978-9728865-47-4). Amit Kumar Mandal, Chittaranjan Mandal, Chris Reade. [Also reproduced in the book Web Information Systems and Technologies, Lecture Notes in Business Information Processing, Volume 1, Springer (2007), pp 367-380 ISBN 978-3-540-74062-9 (Print) 978-3-540-74063-6 (Online) DOI 10.1007/978-3-540-74063-6_29]
A Technique for Algorithm Animation Over the Web by Chittaranjan Mandal, Chris Reade; Proc. of International Conference on Emerging Applications of IT, Elsevier, Science City, Calcutta, pp 163-166, Feb 10-11, 2006.
Design and Implementation of an Automatic Program Evaluation System by Amit Mandal, Chittaranjan Mandal, Chris Reade; Proc. of International Conference on Emerging Applications of IT, Elsevier, Science City, Calcutta, pp 325-328, Feb 10-11, 2006
A Web-based Automatic Evaluation System by Chittaranjan Mandal, Vijay Luxmi Sinha, Chris Reade; Proc 3rd European Conference on eLearning 2004, Universite Paris Dauphine, pp 189-196, pub. Academic Conferences International 2005, ISBN 0-9547096-7-5 (ECEL2005)
Web-Based Course Management and Web Services by C. Mandal, V. L. Sinha, Chris Reade; revised paper in Electronic Journal of E-Learning, (pp 135-144, Vol 2, No 1, paper 19), March 2004 (ISSN 1479-4403)
A Web-Based Course Management Tool by C. Mandal, V. L. Sinha, Chris Reade; Proc. of the 2nd European Conference on e-Learning, Nov 6-7, Glasgow, UK, pp 293-302, 2003 (abstract) (pdf slides)
Formal Methods
Hand-in-hand verification of high-level synthesis. Proceedings of IEEE 17th great lakes symposium on Great lakes symposium on VLSI (GLSVLSI'07) Stresa-Lago Maggiore, Italy, pp 429--434, March 11-13, 2007, Chandan Karfa, Dipankar Sarkar, Chittaranjan Mandal and Chris Reade (acm library)
Register Sharing Verification During Data-path Synthesis Proceedings of IEEE International Conference on Computing, Theory and Applications (ICCTA'07), Calcutta, India, pp 135-140, March 5-7, 2007, C Karfa, C Mandal, D Sarkar, Chris Reade
A Formal Verification Method of Scheduling in High-level Synthesis by Chandan Karfa, Chittaranjan Mandal, Dipankar Sarkar, Satyam R Pentakota, Chris Reade; Proceedings of ACM/IEEE 7th International Symposium on Quality Electronic Design (ISQED 2006), San Jose, USA, pp 71-78, March 27-29, 2006, ISBN: 0-7695-2523-7
Verification of Scheduling in High-level Synthesis, by Chandan Karfa, S R Pentakota, Chittaranjan Mandal, Dipankar Sarkar, Chris Reade; Proceedings of IEEE Computer Society Annual Symposium on VLSI, Karlsruhe, Germany, pp 141-146, Mar 2-3, 2006.
An Efficient Algorithm for scheduling verification by Chittaranjan Mandal, Dipankar Sarkar, Chris Reade; Proc. of International Conference on Emerging Applications of IT, Elsevier, Science City, Calcutta, pp 397-400, Feb 10-11, 2006.
Process Algebra in the specification of Graphics Standards by Chris Reade; Computer Standards and Interfaces, 17(3) pp. 277-290, North Holland, June 1995
Formal Methods for Reliability by Chris Reade, Peter Froome; Chapter 3 in CSR Software Reliability Handbook (ed. P.Rook) pp. 51-82, Elsevier, March 1990
Geometric Modelling
Least Stratifications and Cell-Structured Objects in Geometric Modelling by C.M.P. Reade, A.E. Middleditch, A.J.Gomes; International Journal of Shape Modelling. , Vol 8, No 1, 2002. World Scientific Publishing. (abstract)
Point Sets and Cell Structures Relevant to Computer Aided Design by A.Middleditch, C.M.P. Reade; International Journal of Shape Modeling, Vol 6, No 2, December 2000. World Scientific Publishing (ISSN 0218-6543)
Theories of Shape and Cell Structure for Computer Aided Design by A.Middleditch, C.M.P. Reade; Proc. First Korea-UK Workshop on Geometric modeling and Computer Graphics 2000, April 2000. Seoul, Korea pp 181-187, Kyung Moon Publications
Improvements for the Djinn API to a geometric modelling kernel by A. Middleditch, C.M.P. Reade; International Journal of Shape Modeling, Vol 6, No. 1, June 2000 pp.79-103 (ISSN 0218-6543)
Point-Sets and Cell Structures Relevant to Computer Aided Design, by A. Middleditch, C.M.P. Reade, A. Gomez International Journal of Shape Modeling, Vol.6, No. 2 pp. 175-205, 2000. (ISSN 0218-6543)
Set-combinations of the mixed dimension cellular objects of the Djinn API by A. Middleditch, C.M.P. Reade, A. Gomez; Computer Aided Design 31 (1999) p.683-694, Elsevier (ISSN: 0010-4485)
Functional Programming
Haskell, A Language for Business Systems by D. Steinitz, D. Russell, Chris Reade; Trends in Functional Programming, 3rd Scottish Functional Programming Workshop, August 2001. Published in Trends in Functional Programming 3, Intellect (2002). (abstract)
Using ML for Windows Programming by P. Argiris, Chris Reade; Taller de Programacion Funcional, Jornadas Argentinas de Informatica e Investigacion Operativa 25 (Ed. G Baum) , Buenos Aires, Argentina, pp19-33 Sept. 1996 (PDF or PS)
Terminating Comprehensions by Chris Reade; Journal of Functional Programming 3(2) pp. 247-250, Cambridge University Press April 1993
Balanced Trees: An Exercise in Rewriting and Proof by Chris Reade; Science of Computer Programming 18(2) pp. 181-204, Cambridge University Press, 1992
ML Workshop - Material for learning functional programming with ML. For use with the above book.
Formal Specification and Development. Examples for use with the B tool (no longer maintained).