Christopher Kindberg

Undergraduate Director of Programmes

Department: Computer Communications

Contact

Qualifications

BA, LLB, MSc (Pure Mathematics), DIC, MSc(Eng), MIEEE, MIEE, MBCS

Research Interests

One family of topics of enduring personal interest concern what originally appeared in extensionalist guise as the bearing of impredicative totalities on underlying principles of mathematical concept formation. This has manifest itself in establishing properties of the Continuum, the proofs of Incompleteness Theorems, aspects of recursive function theory and constraints on various aggregates. Alongside this, I have worked on two intractable problems concerning large cardinals and ineffable numbers (inspired by discussions with Robin Gandy) -over a fairly long period of time! I am interested in the issue of synthesising hitherto relatively discrete areas of locale theory, program logics, information systems and domain theory using principles and concepts from Stone Space Theory and regard this of central concern within theoretical computer science.

My work at Middlesex began as a Research Fellow, funded by Alvey for a two-year period. This was a collaborative programme involving Middlesex, Imperial College and City University and focused on the feasibility of the design and implementation of a massively concurrent architecture fabricated on single silicon wafers. My work concerned the efficient code-generation for Fifth-generation languages to execute on such a system based on up-to-date abstraction algorithms and the use of abstract interpretation at compile-time. Of continuing interest is the use of higher-order functional programming and the use of abstraction for dynamically aggregating higher-order objects (e.g. functional programs satisfying given properties).

At a another point in the spectrum of interests, I passionately believe in the importance of being able to manipulate a given design representation formally so as to allow transformations which have the same reference as the original but which possess desirable properties perhaps absent in the original. This becomes very exciting too, given the existence of frameworks for "executable specifications". Finally, I'm not averse to formally specifying various signalling schemes and network protocols in order to construct proofs/disproofs of various important system characteristics.

Teaching Interests

  • CCM2413 - Network Routers and Protocols (Module Leader)
  • CCM3402 - Embedded Systems (Module Leader)
  • CCM2426 - Professional Project Development and Management  
  • CMT3992 - Individual Project Supervision

Recent Teaching:

  • CCM1418 - Computer Architecture, Operating Systems and Networks
  • CCM2052 - Specification and Software Systems (Module Leader)

Biography

Positions:

  • Undergraduate Director of Programmes
  • Course Leader - Transitional students on the CCM Joint Honours provision

 

Bookmark and Share