CV - Electronic Systems
CV - Electronic Systems
CV - Electronic Systems
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2 Education<br />
1978 to 1984<br />
Secondary school: Cobbenhagen College, Brittendreef 5, 5012 AE Tilburg,<br />
The Netherlands. Completing the VWO secondary education (Preparatory<br />
Scientific Education) gives a right of entry to a Dutch university.<br />
October 1984 to June 1986 and October 1987 to June 1988<br />
Undergraduate degree in Computer Science and Pure Mathematics at the<br />
University College of Wales, Aberystwyth. Department of Computer Science,<br />
Penglais, Aberystwyth, SY23 3BZ, Dyfed, Wales.<br />
I received a class II(i) BSc (Hons) degree.<br />
October 1988 to December 1992<br />
27 May 1993 PhD defence (viva). Postgraduate degree (PhD) at the Laboratory<br />
for Foundations of Computer Science, Department of Computer<br />
Science. University of Edinburgh. James Clerk Maxwell Building, The<br />
King’s Buildings, Edinburgh EH9 3JZ, Scotland.<br />
In my thesis, Embedding Hardware Description Languages in Proof <strong>Systems</strong>,<br />
I gave a static and dynamic operational semantics for a subset of the<br />
ella hardware description language, and embedded this semantics in the<br />
higher-order-logic proof system Lambda, and proved various properties<br />
about the embedded semantics, formal hardware synthesis, and symbolic<br />
simulation. Prof. M. P. Fourman was my promotor.<br />
3 Employment History<br />
4 August 1986 to 24 July 1987<br />
Full-time employment as a software engineer at Praxis <strong>Systems</strong> Plc. 20<br />
Manvers Street, Bath BA1 1PX, England.<br />
One project involved porting a relational database from a personal computer<br />
to a mini computer, another implementing various parts of a compiler<br />
(Algol68 to C translator).<br />
October 1988 to July 1991<br />
Part-time employment as an undergraduate supervisor (for first-year students)<br />
and tutor (for third-year students) at the Department of Computer<br />
Science, University of Edinburgh, Scotland.<br />
1 July 1991 to 30 August 1992<br />
Part-time (0.5 FTE) appointment as a research associate at the Department<br />
of Computer Science, University of Edinburgh, Scotland on the<br />
SERC-funded project Formal System Design Tools.<br />
1 December 1992 to 31 September 1993<br />
Full-time appointment as a research fellow at the Department of Computer<br />
3