Ryan McCleeary

Research Engineer at Galois, Inc.
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Greater Fort Collins Area

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
You need to have a working account to view this content.

Experience

    • United States
    • Software Development
    • 1 - 100 Employee
    • Research Engineer
      • Apr 2023 - Present

    • 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.

    • 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.

    • 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.

    • 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

    • 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.

    • 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.

    • 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
    2012 - 2019
  • University of Iowa
    Master’s Degree, Computer Science
    2012 - 2015
  • Coe College
    BA, Mathematics, Computer Science
    2008 - 2012

Community

You need to have a working account to view this content. Click here to join now