Background
David A.Wolfram was born in Melbourne, Australia.
(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 was born in Melbourne, Australia.
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.
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-
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.
(This book presents the theoretical foundation of a higher...)
Melbourne Cricket Club, Ordre du Tastevin (chevalier).
Director of Engineering for the Reconstruction of the West Gate Bridge, Melbourne. 1972 - 1978. (dec.)
Professor of Management, Monash University
Applied Mathematician and Physicist, Griffith University (ret.)
