AeroLeads people directory · profile
Eric Bond Email & Phone Number
PHD Student
at
University of Michigan
1 work email found
@twosixtech.com
3 phones found area 317 and 952
LinkedIn matched
4 data sources
Profile completeness 100%
Who is Eric Bond? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Eric Bond is listed as PHD Student at University of Michigan, based in Ann Arbor, Michigan, United States. AeroLeads shows a work email signal at twosixtech.com, phone signal with area code 317, 952, and a matched LinkedIn profile for Eric Bond.
Eric Bond previously worked as Lead Research Scientist - Formal Methods at Two Six Technologies and Senior Research Scientist - Formal Methods at Two Six Technologies. Eric Bond holds Master Of Science - Ms (Incomplete), Computer Science from Purdue University.
Company email context
Email format at University of Michigan
This section adds company-level context without repeating Eric Bond's masked contact details.
{first}.{last}@twosixtech.com
86% confidence
AeroLeads found 1 current-domain work email signal for Eric Bond. Compare company email patterns before reaching out.
Profile bio
About Eric Bond
NOTE: I will not be on the job market for many years as I am starting a PhD program in Fall 2023.Math enthusiast and programming language polyglot. I formalize math and program semantics in interactive theorem provers. I'm interested in writing mathematically sound code. https://gist.github.com/bond15https://github.com/bond15Professional Experience with: Coq, Isabelle, Agda, Haskell, Scala, Python, C++ and more.
Listed skills include C, C++, Java, Javascript, and 2 others.
Current workplace
Eric Bond's current company
Company context helps verify the profile and gives searchers a useful next step.
20 roles
Eric Bond work experience
A career timeline built from the work history available for this profile.
Aug 2023 - Present
Lead Research Scientist - Formal Methods
Apr 2022 - Aug 2023
Senior Research Scientist - Formal Methods
Conduct research in applied mathematics.Apply techniques in interactive and automated theorem proving to complex problems.Mechanically prove correctness of hardware accelerator primitives.Assist principal researchers with proposal writing and identifying research opportunities.Tech: Isabelle Theorem Prover, AutoCorres, Coq, Agda, Haskell
Apr 2021 - Apr 2022
Software Engineer 2 - Functional Programming / Scala
47 Degrees (Acquired By Xebia)
Scala Engineer and functional programming consultant.Develop type-safe solutions in the Typelevel ecosystem. (https://typelevel.org/projects/)We work with the good stuff: free monads, tagless-fInal interpreters, recursion schemes, generic programming, algebraic effects, typeclasses and even some formal verification.Let us help you write pure and proven.
Jan 2020 - Mar 2021
Graduate Research Intern
Worked on various projects related to formal verification of software.Aided in the initial design and development of an automata-based api usage checker for the Crucible symbolic simulator.Learned type-level haskell programming from wizzards.Tech: Haskell, LLVM, Z3
May 2019 - Aug 2019
Graduate Teaching Assistant Cs 252
Taught students entry-level systems programming in C/C++.Organized, presented, and graded labs as well as aided in exam creation.
Jan 2019 - May 2019
Quantum Information And Computation - Researcher
Investigated mathematical formalizations for quantum programming languages for the quantum gate/circuit model. Surveyed various existing languages and frameworks such as Quantomatic, Quipper, QASM, QWire, Qiskit and others.Group webpage: http://www.chem.purdue.edu/kais/
Aug 2017 - Oct 2018
Graduate Research Intern
Member of the 2018 Data Science Summer Institute.Aided in the generation of simulation data for quantum chemical systems using VASP.Prototyped an extension of TopoMS, a tool for topological data analysis of molecular systems, which allowed for the analysis of potential fields.Technologies: C++, Python, Keras, TopoMS, VASP, MPIDSSI 2018 webpage.
May 2018 - Aug 2018
Software Development Engineer (Intern)
Summer intern working on the Alexa Machine Learning Platform.Designed and implemented a data access and visualization tool for scientists and engineers to view critical data for machine learning applications/training.Technologies: Java, Javascript, AWS (S3, DynamoDB, Lambda), Mockito
May 2017 - Aug 2017
Nsf Reu - Undergraduate Research Participant
- Member of the Collaborative Robotics Lab at Purdue University. We are working on ReFrESH, a self-adaptive framework to support fault tolerance in multi agent robotic systems.
- Paper: A Software Architecture Supporting Self-Adaptation of Wireless Control Networks for IEEE CASE 2017
- Researched and implemented methods for self-adaptation reasoning using Ontology and Semantic Networks.
- Technologies: Protégé, RDF, OWL, Apache Jena
Jan 2017 - Jun 2017
Software Verification Engineer
Extended functionality of web workflow management tool, Polarion, via plugins.Developed and presented business logic and technical solutions.Technologies/languages: Ajax, Apache Tomcat, Polarion API, Java, JavaScript, HTML, CSS.
May 2015 - Nov 2016
Software Development Engineer (Intern)
Worked on enterprise level Java web applications utilizing the Spring MVC framework. Exercised test focused development, stateless design, and pipeline deployment.Technologies/languages: Ajax, Git, Mockito, Junit, Java, JavaScript, HTML, CSS
Jun 2016 - Aug 2016
Mar 2015 - Jun 2015
Lab Assistant/ Grader
Taught students the fundamentals of programming through the C language. Graded homework and labs for the course.
Sep 2014 - Dec 2014
It Intern
Town Of Fishers
Re-imaged town/fire/police laptop/desktop, setup and troubleshot virtual desktops, took inventory for move to new building, installed specialized software,
Jul 2014 - Aug 2014
Landscaper
Shenghai Lil
Worked with owner and a small team of highly motivated individuals to design and build outdoor seating area for Shanghai Lil.
May 2014 - Aug 2014
Landscaper/Handyman
Self Employed
Paint, Mulch, Tear up flooring, drywall, mowing, trimming
Aug 2012 - Aug 2014
Mover
May 2014 - Jul 2014
Manual Laborer
Jun 2011 - Jul 2013
3 education records
Eric Bond education
Master Of Science - Ms (Incomplete), Computer Science
Purdue University
Bachelor'S Degree, Major: Computer Science, Minor: Mathematics
Purdue University
Core 40 With Academic Honors
Fishers High School
FAQ
Frequently asked questions about Eric Bond
Quick answers generated from the profile data available on this page.
What company does Eric Bond work for?
Eric Bond works for University of Michigan.
What is Eric Bond's role at University of Michigan?
Eric Bond is listed as PHD Student at University of Michigan.
What is Eric Bond's email address?
AeroLeads has found 1 work email signal at @twosixtech.com for Eric Bond at University of Michigan.
What is Eric Bond's phone number?
AeroLeads has found 3 phone signal(s) with area code 317, 952 for Eric Bond at University of Michigan.
Where is Eric Bond based?
Eric Bond is based in Ann Arbor, Michigan, United States while working with University of Michigan.
What companies has Eric Bond worked for?
Eric Bond has worked for University Of Michigan, Two Six Technologies, 47 Degrees (Acquired By Xebia), Galois, Inc., and Purdue University.
How can I contact Eric Bond?
You can use AeroLeads to view verified contact signals for Eric Bond at University of Michigan, including work email, phone, and LinkedIn data when available.
What schools did Eric Bond attend?
Eric Bond holds Master Of Science - Ms (Incomplete), Computer Science from Purdue University.
What skills is Eric Bond known for?
Eric Bond is listed with skills including C, C++, Java, Javascript, Html5, and Java Web Applications.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial