Software Developer
CurrentDesigning and developing custom in-house and client facing software. Leveraging the type safe and functional nature of Haskell to build robust and performant systems.
Aug 2024 - Present
AeroLeads people directory · profile
Raymond Baker Email & Phone Number
Functional Programmer | Mathematician
at
MasterWord
LinkedIn matched
✓ Verified July 2026
3 data sources
Profile completeness 86%
Current company
Role
Functional Programmer | Mathematician
Location
Boulder, Colorado, United States
Company size
Who is Raymond Baker? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Raymond Baker is listed as Functional Programmer | Mathematician at MasterWord, a with 353 employees, based in Boulder, Colorado, United States. AeroLeads shows a matched LinkedIn profile for Raymond Baker.
Raymond Baker previously worked as Software Developer at Masterword and Lead Mathematics Instructor at Temple Grandin School. Raymond Baker holds Bachelor Of Arts - Ba, Mathematics, Philosophy from University Of Colorado Boulder.
Company email context
Email format at MasterWord
This section adds company-level context without repeating Raymond Baker's masked contact details.
MasterWord
Review company-level records connected to Raymond Baker before choosing the right outreach path.
Profile bio
About Raymond Baker
I am a functional programmer and mathematician with a focus in category theory, type theory, and the application of these subjects to functional programming and the formal verification of proofs and programs. I have over two years of experience with Haskell and Haskell-like languages, dependently typed languages like Agda and Idris, and type driven development. I am a contributor to the agda-unimath repository, an open source encyclopedia of formalized mathematics and certified programs. Written in Agda, an extension of Haskell with dependent types, agda-unimath comprises nearly 400K lines of code. To learn more about my background and interests, see my personal site.
Current workplace
Raymond Baker's current company
Company context helps verify the profile and gives searchers a useful next step.
Masterword
3 roles
Raymond Baker work experience
A career timeline built from the work history available for this profile.
Lead Mathematics Instructor
Headed the mathematics department and led three mathematics classes at Temple Grandin School, serving students with Asperger's Syndrome and similar learning profiles. I planned, created and delivered curriculum to best serve students.
Sep 2023 - Jun 2024
Mathematics Tutor
Tutored a wide range of mathematics (from Calculus I-III to Linear Algebra and Discrete Math) to University of Colorado Boulder students in the Mathematics Academic Resource Center.
Oct 2020 - Jul 2023
Team & coworkers
Colleagues at MasterWord
Other employees you can reach at masterword.com. View company contacts for 353 employees →
PA
Patricia Arellano
Colleague at MasterwordEl Paso Metropolitan Area, United States
View →
LA
Laura Alvarado
Colleague at MasterwordLas Cruces, New Mexico, United States
View →
CN
Chloe Nguyenngoc
Colleague at MasterwordHouston, Texas, United States
View →
MB
Mary Blake
Colleague at MasterwordMemphis, Tennessee, United States
View →
OA
Olga Agirre
Colleague at MasterwordHouston, Texas, United States
View →
YW
Yuke Wang
Colleague at MasterwordHouston, Texas, United States
View →
MI
Masterword It
Colleague at MasterwordHouston, Texas, United States
View →
ER
Erick Romero
Colleague at MasterwordHouston, Texas, United States
View →
KV
Kara Valor
Colleague at MasterwordGreater Houston, United States
View →
PC
Patricia Cardona-Zapata
Colleague at MasterwordTexas City, Texas, United States
View →
Patricia Arellano
Colleague at MasterwordEl Paso Metropolitan Area, United States
View →
LA
Laura Alvarado
Colleague at MasterwordLas Cruces, New Mexico, United States
View →
CN
Chloe Nguyenngoc
Colleague at MasterwordHouston, Texas, United States
View →
MB
Mary Blake
Colleague at MasterwordMemphis, Tennessee, United States
View →
OA
Olga Agirre
Colleague at MasterwordHouston, Texas, United States
View →
YW
Yuke Wang
Colleague at MasterwordHouston, Texas, United States
View →
MI
Masterword It
Colleague at MasterwordHouston, Texas, United States
View →
ER
Erick Romero
Colleague at MasterwordHouston, Texas, United States
View →
KV
Kara Valor
Colleague at MasterwordGreater Houston, United States
View →
PC
Patricia Cardona-Zapata
Colleague at MasterwordTexas City, Texas, United States
View →
1 education record
Raymond Baker education
FAQ
Frequently asked questions about Raymond Baker
Quick answers generated from the profile data available on this page.
What company does Raymond Baker work for?
Raymond Baker works for MasterWord.
What is Raymond Baker's role at MasterWord?
Raymond Baker is listed as Functional Programmer | Mathematician at MasterWord.
Where is Raymond Baker based?
Raymond Baker is based in Boulder, Colorado, United States while working with MasterWord.
What companies has Raymond Baker worked for?
Raymond Baker has worked for Masterword, Temple Grandin School, and Mathematics Academic Resource Center (Marc).
Who are Raymond Baker's colleagues at MasterWord?
Raymond Baker's colleagues at MasterWord include Patricia Arellano, Laura Alvarado, Chloe Nguyenngoc, Mary Blake, and Olga Agirre.
How can I contact Raymond Baker?
You can use AeroLeads to view verified contact signals for Raymond Baker at MasterWord, including work email, phone, and LinkedIn data when available.
What schools did Raymond Baker attend?
Raymond Baker holds Bachelor Of Arts - Ba, Mathematics, Philosophy from University Of Colorado Boulder.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Raymond Baker you were looking for.
View similar profiles
