
Professor David Duke
- Position: Professor Emeritus of Computer Science
- Areas of expertise: Maths for Program construction; pure functional programming - Haskell, I have broad exp icl: databases formal methods programming technology computer graphics, sci- snd info- vis parallelism
- Email: D.J.Duke@leeds.ac.uk
- Phone: +44(0)113 343 6800
- Location: 6.24 E C Stoner Building
- Website: LinkedIn | Googlescholar | Researchgate
Profile
Note I am now retired.
My PhD (KeyCentre for Software Technology, University of Queensland) set out the denotational semantics of the Object-Z specification language that I helped to develop In computer graphics I'm interested in 'minimal graphics' inspired by differences in artistic traditions.In visualzation my work includes graph and technology for large-scale graph visualization, and
with Hamish Carr ground-breaking work on extracting and visualising multi-field topology of continuous data , including aplications in nuclear fission, oceanography.
I have substantial practical experience withThe Visualization Toolkit (VTK).
I have worked extensively in functional programming using Haskell to parallelise challenging computations in topological data analysis including work on.
One recent PhD project examined profiling for optimized Haskel, resulting in improvements to the GHC code-base.
Other Haskell work includes
:- streaming implementation of iso-surfaces for vis(lazy polytypic grid project
- pure fuctional solution to the IEE Vis 2008 contest. Haskell at TB scale
-multiple DSLs in vis
combinators for local search (with Richard Sennington)
- profiling supportfor GHC in the presence of optimisations ( with Peter Wortmann)
Research interests
My work and research interests lie in multiple areas:
(i)rigorous methods for software development, including formal specification, refinement, verification;
- Z, CSP, Object-Z
- their application to challenging problems: concurrency, parallelism
- tool support for the above
- software engineering
(ii) pure functional programming Haskell
- algorithmics
- performance profiling and vis
- DSLs for exotic hardware
(iii) high performance graphics and visualization, esp for large-scale data (TB+):
- multi-field topology
- linking depiction to semantics
- ‘minimal graphics’
(iii) pure functional programming - applications in data analysis
- profiling support
(iv) computer graphics New techniques for image synthesis, that draw on different artistics traditions, and exploit affect see e.g.'minimal graphics'
<h4>Research projects</h4> <p>Any research projects I'm currently working on will be listed below. Our list of all <a href="https://eps.leeds.ac.uk/dir/research-projects">research projects</a> allows you to view and search the full list of projects in the faculty.</p>
Qualifications
- PhD computer science (UQ)
- BSc Honours( 1st class) Computer Science
Professional memberships
- member: ACM
- member:IEEE
- Fellow: European Association for Computer Graphics
Student education
Please note that I am now retired from the University, whilst I stil undertake some research, I am not involved in any grants nor do I supervise any students.
My teaching expertise is extremely broad, I have previously taught: software engineering, introductory programming, systems programming, networks,
concurrency (theory and practice) algorithms and data structures, computer graphics, functional programming networks, operating systems, and scientific visualization.
I served as Head of School from 2012 until 2017 when I was forced to step back due to illness. I am not able to accept any students, interns or visitors.
Research groups and institutes
- Computational Science and Engineering