|
|
DJ Greaves is a Senior Lecturer in Computing Science and a Fellow of
Corpus Christi College .
| Consult Google regarding: |
|
|
|
Short (auto-)biography: Sep 07
Photo with a tie:
A,
B.
|
Sept 07: DJG Sabbatical Leave Starts
Sept 07: Journal publication by my student B Bastani:
High-level Open Evolvable Systems Design By Process-oriented Modeling:
Application to DNA Replication Mechanism accepted for ACM Software Engineering Notes Nov 07.
Sept 07: Communication-centric computation (C3D) project
grant approved by EPSRC (Moore, Mycroft, Mullins, Greaves).
June 07: Trade sale of Tenison EDA to Arc International.
(Tenison was founded by DJG in March 2000.)
Older news link...
|
Reading Group
Our reading group meets every tuesday during term in SC01 at 3:20 pm.
WIKI.
Reading group mission statement: "We look at joining components
together. This involves having the components and the glue, of
course, but also the necessary information to find and select the
components, to know they will fit and to know what the consequences
will be"
.
Current Activities Blog: 2Q07
Extending the Orangepath H2 compiler
to generate logic with
super pipelineing and out-of-order
execution as required by random access times to cached DRAM banks, and a
couple of related papers.
Experimenting with .net CIL version of Pushlogic.
Extending the Pushlogic bundle meta-info to support assume/guarantee
reasoning capability rather than trying to model check the whole of a domain.
Viewing dynamic binding in IDE/UML systems.
Older Research Areas,
Conference Program Committees,
Recent Publications,
Draft Publications,
Minor Research Notes,
Phd Students,
Undergraduate Teaching,
Miscellaneous Projects,
System Design Methodology.