Ryan McCleeary
Research Engineer at Galois, Inc.- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
Topline Score
Bio
Experience
-
Galois, Inc.
-
United States
-
Software Development
-
1 - 100 Employee
-
Research Engineer
-
Apr 2023 - Present
-
-
-
Numerica Corporation
-
United States
-
Defense and Space Manufacturing
-
1 - 100 Employee
-
Research Engineer
-
Mar 2021 - Mar 2023
Fort Collins, Colorado, United States Worked on maintaining and improving software used for tracking multiple objects with multiple radars on a distributed network to create a single cohesive track picture.
-
-
-
Dwolla
-
United States
-
Technology, Information and Internet
-
1 - 100 Employee
-
Software Engineer
-
May 2019 - Feb 2021
Des Moines, Iowa Area Creating and maintaining micro services in Scala using the latest functional programming methods to deliver reliable and scalable software.
-
-
-
University of Iowa
-
United States
-
Higher Education
-
700 & Above Employee
-
Research Assistant / Teaching Assistant
-
Aug 2012 - Aug 2019
Iowa City, Iowa Area My research area is with the Computational Logic Center at Iowa, with a focus on semantics and type theory for programming languages. Currently I am looking into a coinductive (lazy) approach to exact real arithmetic using floating point operations.
-
-
-
Grand View University
-
United States
-
Higher Education
-
200 - 300 Employee
-
Assistant Professor
-
Jul 2015 - May 2019
Des Moines, Iowa Area Taught a wide variety of Computer Science courses as well as a complete revamp and development of the Computer Science program
-
-
-
RecBob
-
United States
-
Spectator Sports
-
1 - 100 Employee
-
Code Caddie
-
May 2012 - Aug 2012
Cedar Rapids, Iowa Area Developing a facebook application in order to ease the headaches of players in recreational leagues.
-
-
-
Coe College
-
United States
-
Higher Education
-
400 - 500 Employee
-
Math Help Room and CS Lab Assistant
-
Aug 2009 - Jun 2012
Help out students in introductory Math and CS classes.
-
-
Math Research
-
May 2010 - Aug 2010
I worked with the cellular automata Langton's Ants and Conway's Game of Life as well as other mathematical interests.
-
-
-
Genova Technologies
-
Software Development
-
1 - 100 Employee
-
Software Engineer Intern
-
May 2011 - Aug 2011
Cedar Rapids, Iowa Area Developed an internal web app gaining experience in the full cycle of software development.
-
-
Education
-
University of Iowa
Doctor of Philosophy (PhD), Computer Science -
University of Iowa
Master’s Degree, Computer Science -
Coe College
BA, Mathematics, Computer Science