Ian Mason

Current

• Director of Engineering at Loyalty Ventures, Inc

Past

• Consulting Software Engineer at SRI International
• Senior Engineer at Loyalty Ventures, Inc
• Senior Lecturer at University of New England

• Lecturer at Univesity of Tasmania
• Research Associate at Stanford University
• Research Associate at University of Edinburgh

see less...

3 more...

Education

• Stanford University
• The Australian National University

Recommended

2 people have recommended Ian

Connections

33 connections

Industry

Computer Software

Ian Mason’s Summary

I spent 10 years doing research in CS, then 10 years teaching CS,
now I thought I'd round it out by 10 years of doing CS!

Ian Mason’s Specialties:

I started out writing Lisp code on sail.stanford.edu, these days I can write just about anything, though I'm still not fond of C++.

Ian Mason’s Experience

• Director of Engineering

  Loyalty Ventures, Inc

  (Computer Software industry)

  August 2009 — Present (4 months)

• Consulting Software Engineer

  SRI International

  (Non-Profit; Research industry)

  2005 — August 2009 (4 years )

• Senior Engineer

  Loyalty Ventures, Inc

  (Computer Software industry)

  2005 — August 2009 (4 years )

• Senior Lecturer

  University of New England

  (Educational Institution; 501-1000 employees; Higher Education industry)

  1996 — 2006 (10 years )

• Lecturer

  Univesity of Tasmania

  (Computer Software industry)

  1995 — 1996 (1 year )

• Research Associate

  Stanford University

  (Educational Institution; 10,001 or more employees; Higher Education industry)

  1988 — 1994 (6 years )

  Worked with Carolyn Talcott in John McCarthy's formal reasoning group.

• Research Associate

  University of Edinburgh

  (Educational Institution; 1001-5000 employees; Research industry)

  1986 — 1988 (2 years )

  Working in the, then newly formed, L.F.C.S.

Ian Mason’s Education

• Stanford University

  PhD , Logic , 1981 — 1986

• The Australian National University

  BA(Hons) , Pure Mathematics , 1976 — 1980

Additional Information

Ian Mason’s Groups:

Association for Symbolic Logic
Editor for "Higher-Order and Symbolic Computation"

•    Australian National University - ANU

Ian Mason’s Honors:

Fulbright Scholar
Hanna Neumann Prizewinner

Ian Mason’s Contact Settings

Interested In:

• career opportunities
• consulting offers
• new ventures
• job inquiries
• expertise requests
• business deals
• reference requests
• getting back in touch