Harvey Tuch

Current

Senior Member of Technical Staff at VMware

Past

Research Engineer at National ICT Australia
PhD student at National ICT Australia
Graduate intern at Intel

see less...

Education

University of New South Wales
University of New South Wales

Connections

87 connections

Industry

Computer Software

Websites

My Website

Harvey Tuch’s Experience

Senior Member of Technical Staff

VMware

(Public Company; 1001-5000 employees; VMW; Computer Software industry)

March 2008 — Present (1 year 5 months)

Mobile Virtualization Platform - http://www.vmware.com/technology/mobile/.
Research Engineer

National ICT Australia

(Government Agency; 201-500 employees; Research industry)

December 2007 — March 2008 (4 months)

C source code verification theory and tools related to the L4.verified project (http://nicta.com.au/research/projects/l4.verified/).
PhD student

National ICT Australia

(Educational Institution; 201-500 employees; Research industry)

March 2003 — March 2008 (5 years 1 month)

PhD student in the Embedded and Real-time Operating Systems research group, working with microkernels and formal verification.
Graduate intern

Intel

(Public Company; 10,001 or more employees; INTC; Computer Hardware industry)

August 2005 — February 2006 (7 months)

Working on design, implementation and formalisation of a VT-x based microhypervisor in the core virtualisation research group.

Harvey Tuch’s Education

University of New South Wales

PhD , Computer Science and Engineering , 2003 — 2008
University of New South Wales

BE (Hons I) , Computer Engineering , 1999 — 2002

Additional Information

Harvey Tuch’s Websites:

My Website

Harvey Tuch’s Interests:

Operating systems, microkernels, security, embedded systems, virtual memory, virtualisation, L4, formal methods, formal verification, theorem proving, real-word language semantics, program verification, Isabelle/HOL.