Background
David A.Wolfram was born in Melbourne, Australia.
- Photos
- Works
Main Photo
David Wolfram
2019
Father: Hans G. Wolfram, BCE (Melbourne), FIEAust, F.ASCE, FICE, FIStructE, FIE (Malaysia), FIGEM
1977
Hans Wolfram offers a hardhat to HRH The Prince of Wales on his visit to the bridge site. From left to right the photo also includes Sir Bernard Callinan and Sir Oscar Meyer.
- Photos
- Works
book
The Clausal Theory of Types
(This book presents the theoretical foundation of a higher...)
This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
http://www.amazon.com/gp/product/0521395380/?tag=2022091-20
David A. Wolfram
Edit ProfileEducation
Bachelor of Science with honors, U. Melbourne, 1984; Master of Science, U. Melbourne, 1986; Doctor of Philosophy, U. Cambridge (England), 1990; Doctor of Philosophy, U. Oxford (England), 1991 (by incorporation); Master of Business Administration (Executive), U. New South Wales and U. Sydney, 2003.
Career
Research assistant, U. Oxford, 1990; Junior research fellow, Christ Church, Oxford, 1990-1994; Lecturer in Computer Science, Australian National U., Canberra, 1995-2000. Program Manager, Microsoft, Redmond, 2000-2002; Senior Manager, Infosys, 2003-2008; Senior Manger, Accenture, 2008-2010. Visitor, College of Engineering & Computer Science, Australian National U., Canberra, 2020-
Achievements
-
Fellow of the British Computer Society (FBCS); Senior Member of the Institute of Electrical and Electronics Engineers; Senior Member of the Association for Computing Machinery; Life Fellow of the Cambridge Philosophical Society (FCPS); Fellow of the Royal Society of Arts (FRSA), London
DPhil, by incorporation, University of Oxford; Junior Research Fellow, Christ Church, Oxford
Chartered Information Technology Professional (CITP), British Computer Society; Chartered Engineer (CEng), The Engineering Council, London; European Engineer (Eur Ing), European Federation of National; Engineering Associations, (FEANI), Brussels
Project Management Professional (PMP); PRINCE2-2009 Foundation; Certified Scrum Master
David A. Wolfram has been listed as a notable Computer scientist by Marquis Who's Who.
Works
book
-
The Clausal Theory of Types
(This book presents the theoretical foundation of a higher...)
-
The Clausal Theory of Types
Membership
Melbourne Cricket Club, Ordre du Tastevin (chevalier).
Interests
Connections
- Father:
- Hans G. Wolfram, BCE (Melbourne), FIEAust, F.ASCE, FICE, FIStructE, FIE (Malaysia), FIGEM
- Sister:
- Julie Wolfram Cox
- Cousin:
- Hans Peter Wolfram Gottlieb
- grandmother:
- Linda Phillips, OBE
Director of Engineering for the Reconstruction of the West Gate Bridge, Melbourne. 1972 - 1978. (dec.)
Hans Wolfram offers a hardhat to HRH The Prince of Wales on his visit to the bridge site. From left to right the photo also includes Sir Bernard Callinan and Sir Oscar Meyer.
Professor of Management, Monash University
Applied Mathematician and Physicist, Griffith University (ret.)
Composer, Pianist, Music Critic, Journalist, Aria Adjudicator. (dec.)
