AeroLeads people directory · profile

Robert Smith Email & Phone Number

Software Engineering Director | Computational Math, Physics Researcher | Pianist at Association of Lisp Users, Inc.
Location: Los Angeles Metropolitan Area, United States, United States 17 work roles 3 schools
1 work email found @hrl.com LinkedIn matched
✓ Verified May 2026 4 data sources Profile completeness 100%

Contact Signals · 1 work email

Work email r****@hrl.com
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Association of Lisp Users, Inc.
Role
Software Engineering Director | Computational Math, Physics Researcher | Pianist
Location
Los Angeles Metropolitan Area, United States, United States

Who is Robert Smith? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Robert Smith is listed as Software Engineering Director | Computational Math, Physics Researcher | Pianist at Association of Lisp Users, Inc., based in Los Angeles Metropolitan Area, United States, United States. AeroLeads shows a work email signal at hrl.com and a matched LinkedIn profile for Robert Smith.

Robert Smith previously worked as President & Board Member at Association Of Lisp Users, Inc. and Chief of Quantum Software at Hrl Laboratories, Llc. Robert Smith holds (Auditing), Mathematics from University Of Minnesota.

Company email context

Email format at Association of Lisp Users, Inc.

This section adds company-level context without repeating Robert Smith's masked contact details.

{first_initial}{last}@hrl.com
86% confidence

AeroLeads found 1 current-domain work email signal for Robert Smith. Compare company email patterns before reaching out.

Profile bio

About Robert Smith

Mathematical software engineer, manager, and leader interested in the development of technically sophisticated software, scientific computing, and research in programming languages, computer algebra, and symbolic computation. Diverse start-up experience with Fortune 500 career maturity. Specializes in bootstrapping novel, early-state technologies into business solutions. Works in both technology and business strategy simultaneously.Proficient in C, Common Lisp, OCaml, Scheme, Python; conversant in C++, JavaScript, Haskell, Fortran 90+, Prolog, and dozens of other languages. Understanding of all levels of abstraction, from bare-metal to abstract specification.As a hobby, I play classical piano.

Listed skills include C++, Programming, Linux, Python, and 24 others.

Current workplace

Robert Smith's current company

Company context helps verify the profile and gives searchers a useful next step.

Association of Lisp Users, Inc.
Association Of Lisp Users, Inc.
Software Engineering Director | Computational Math, Physics Researcher | Pianist
Los Angeles, CA, US
17 roles · 19 years

Robert Smith work experience

A career timeline built from the work history available for this profile.

Role listed

Association Of Lisp Users, Inc.

Los Angeles, CA, US

President & Board Member

Current
Association Of Lisp Users, Inc.
  • Coordinate agenda for Board of Directors meetings
  • Manage allocation of funds.
  • Organize international academic and industrial conferences, such as the International Lisp Conference.
  • Partake in an effort to unify communities of various Lisp dialects.
Oct 2012 - Present

Chief Of Quantum Software

Malibu, California, US

Working on quantum computing R&D, with a focus on software.

2020 - Dec 2024

Director Of Software Engineering

Berkeley, California, US

Invented Quil and ran a team that built a state-of-the-art quantum optimizing compiler and simulator. Built out Forest 1.0 and helped design Quantum Cloud Services.

Mar 2016 - Mar 2020

Sr. Mathematics And Software Engineer

Redmond, WA, US

Writing advanced software for mobile satellite communications.(Continuation of work from Clozure Associates.)

2015 - 2015

Senior Engineer

US

Writing advanced software for mobile satellite communications.

2013 - 2015 ~2 yrs

Software Engineering Contractor

Boston, Massachusetts, US

Architected, developed, and deployed a Real-time auction engine for principally for high-priced artwork and flash auctions.(7 month contract. Company formerly known as Quick Technologies LLC.)

2013 - 2014 ~1 yr

Software Engineering Contractor

San Francisco, CA, US

  • On the Parsoid team, helped develop the backend to the VisualEditor project on Wikipedia.
  • Primarily dealt with bijective parsing, DOM transformations, round-tripping (ensuring idempotence of parsing functions across server boundaries), and concrete syntax trees.
  • Worked in JavaScript, node.js, git & gerrit, and PHP using the open source MediaWiki software.(3 month contract)
2013 - 2013

Software Engineer

  • Developed tools from scratch to assist in analysis of programming languages.
  • Contributed to Facebook projects which assist the software development cycle and help analyze PHP code.
  • Contributed to the open source Phabricator project, as well as internal Facebook extensions.
  • Increased the fault tolerance of massively distributed asynchronous web servers.
  • Deployed numerous enhancements to user-facing features on facebook.com.
2012 - 2013 ~1 yr

Symbolic Systems Engineer

Evergreen, Colorado, US

  • Helped design and implement software for a portable, livescan executive fingerprinting system.
  • Designed and implemented a database whose data is highly volatile.
  • Designed and implemented federal and state fingerprint card printing. Data items printed included federally standardized fingerprint images at precise resolutions and measurements.
  • Designed and implemented a novel database communication system which automatically parses and formats data dynamically according to locale, medium, and datum.
  • Optimized the display of fingerprints as they are scanned in real time.
  • Implemented many state and federal data format specifications for storage and transmission.
2011 - 2012 ~1 yr

Technical Typesetter, Printer, Binder, Book Repairman

Freelance Technical Services
  • Typeset masters/doctoral theses in mathematics, computer science, and physics. Edited and corrected scientific prose and document structure. Provided technical illustrations to clients as both raster and vector images.
  • Prepared documents for printing on a variety of paper sizes, weights, and styles.
  • Printed paperback and hardcover books for clients and bound them by hand via perfect binding, thermal binding, and stitching.
  • Created personalized books, including custom headbands, bookmark ribbons, customized covers, etc.
  • Repaired paperback and hardcover books whose bindings were damaged. Rebound books entirely, as well as reinforced book spines.
2007 - 2012 ~5 yrs

Autocad® Programmer/Packaging Engineer Intern

Print Craft, Inc.
  • Used AutoCAD® to design and implement various kinds of product packaging (from boxes for soap to DVD cases). Everything was prototyped on a robotic plotting/cutting table.
  • Completed miscellaneous technical system administrative tasks.
2010 - 2010

Numerical Consultant

Freelance Software Consulting

(18 month contract)Identified issues with a current implementation of high-speed numerics for a stack-based programming language compiler, and developed a custom tailored arbitrary precision numerical system for the client.(4 month contract)Critiqued the design of an algorithm for financial market prediction via the use of high-dimensional convex polytopes.

2008 - 2009 ~1 yr
3 education records

Robert Smith education

(Auditing), Mathematics

University Of Minnesota

Mathematics

University Of Minnesota-College Of Continuing Education

Education record

Mounds View Senior High School
FAQ

Frequently asked questions about Robert Smith

Quick answers generated from the profile data available on this page.

What company does Robert Smith work for?

Robert Smith works for Association of Lisp Users, Inc..

What is Robert Smith's role at Association of Lisp Users, Inc.?

Robert Smith is listed as Software Engineering Director | Computational Math, Physics Researcher | Pianist at Association of Lisp Users, Inc..

What is Robert Smith's email address?

AeroLeads has found 1 work email signal at @hrl.com for Robert Smith at Association of Lisp Users, Inc..

Where is Robert Smith based?

Robert Smith is based in Los Angeles Metropolitan Area, United States, United States while working with Association of Lisp Users, Inc..

What companies has Robert Smith worked for?

Robert Smith has worked for Association Of Lisp Users, Inc., Hrl Laboratories, Llc, Rigetti Computing, Dimensionalmechanics, and Kymeta Corporation.

How can I contact Robert Smith?

You can use AeroLeads to view verified contact signals for Robert Smith at Association of Lisp Users, Inc., including work email, phone, and LinkedIn data when available.

What schools did Robert Smith attend?

Robert Smith holds (Auditing), Mathematics from University Of Minnesota.

What skills is Robert Smith known for?

Robert Smith is listed with skills including C++, Programming, Linux, Python, Lisp, Computer Science, Mathematics, and Latex.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.