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.
Please complete the CAPTCHA to continue
A concise factual answer block for searchers comparing this professional profile.
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.
This section adds company-level context without repeating Raymond Baker's masked contact details.
Review company-level records connected to Raymond Baker before choosing the right outreach path.
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.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
Designing and developing custom in-house and client facing software. Leveraging the type safe and functional nature of Haskell to build robust and performant systems.
Boulder, Colorado, United States
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.
Boulder, Colorado, United States
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.
Other employees you can reach at masterword.com. View company contacts for 353 employees →
Ximena Medina Romero
Colleague at MasterwordHouston, Texas, United States
View →
NL
Norma Lopez-Calidonio
Colleague at MasterwordPflugerville, Texas, United States
View →
CM
Christine Mulvania
Colleague at MasterwordHouston, Texas, United States
View →
WE
Wiki E. Erickson, M.A.
Colleague at MasterwordUnited States
View →
AC
Alejandra Chaparro
Colleague at MasterwordEl Paso, Texas, United States
View →
MU
Marissa Urrutia
Colleague at MasterwordEl Paso, Texas, United States
View →
YM
Yenyfer M.
Colleague at MasterwordTulsa, Oklahoma, United States
View →
MP
Maria Paula Salomone
Colleague at MasterwordAllen, Texas, United States
View →
RS
Rifdy Smart
Colleague at MasterwordSri Lanka
View →
BV
Bhavna Venkataraman
Colleague at MasterwordKaty, Texas, United States
View →
Quick answers generated from the profile data available on this page.
Raymond Baker works for MasterWord.
Raymond Baker is listed as Functional Programmer | Mathematician at MasterWord.
Raymond Baker is based in Boulder, Colorado, United States while working with MasterWord.
Raymond Baker has worked for Masterword, Temple Grandin School, and Mathematics Academic Resource Center (Marc).
Raymond Baker's colleagues at MasterWord include Ximena Medina Romero, Norma Lopez-Calidonio, Christine Mulvania, Wiki E. Erickson, M.A., and Alejandra Chaparro.
You can use AeroLeads to view verified contact signals for Raymond Baker at MasterWord, including work email, phone, and LinkedIn data when available.
Raymond Baker holds Bachelor Of Arts - Ba, Mathematics, Philosophy from University Of Colorado Boulder.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contactsCheck these profiles if this is not the Raymond Baker you were looking for.