Skip to content
View isr413's full-sized avatar
  • University of Tulsa
  • RH 2150

Highlights

  • Pro

Block or report isr413

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
isr413/README.md

Hi My name is Ian Riley

Father, Programmer, Professor

I've had a passion for programming languages since I first started back in 2012. I completed my BS in CS and Mathematics in 2016 at the University of Tulsa. During those four years, I participated in research under the direction of Dr. John and Dr. Rose Gamble. I also completed two internships and participated in free lance development for companies both in Oklahoma and California. These four years had a huge impact on me and my love for this field. When I graduated, I was possessed with a hunger to know more about the theoretical foundations of Computer Science. I entered into the Ph.D. CS program at the University of Tulsa under the supervision of Dr. Rose Gamble. Under her direction, I participated in research for local companies, for the University, for the US Air Force, and for the US Army Corps of Engineers. Ph.D. research was an amazing time for ingenuity and also an extremely trying time, but I learned so much in large part to my supervisor and my fellow colleagues. I completed my Ph.D. this past May (2024) and have been working as an Instructional Assistant Professor of Computer Science at the University of Tulsa teaching Algorithms & Data Structures, Compute Networks, and Software Engineering. If you have any interest in formal systems, autonomous systems, self-adaptive systems, or software engineering, I'd love to talk anytime.

  • 🌍  I'm based in Tulsa, Oklahoma
  • 🖥️  See my portfolio at https://github.com/isr413
  • ✉️  You can contact me at [email protected]
  • 🚀  I'm currently working on https://github.com/isr413/CASSim
  • 🧠  I'm learning Rust and Zig
  • 🤝  I'm open to collaborating on Autonomous systems, embedded systems, formal proofs of system properties, web and mobile applications
  • ⚡  I've always loved participating in competitive activities; I'm currently the ICPC coach for the University of Tulsa and have participated in the PT for various TCGs; If there is ever a good puzzle to solve, I'm in.

Skills

RustPythonJavaGitGNU BashNeovimVS CodeAngularReactHTML5PostgreSQLFirebaseHerokuFlaskSupabasePhotoshopPremiere ProFigmaFilebaseFlutterBlenderDockerLinuxMacOSRaspberry Pi

Socials

Popular repositories Loading

  1. CASSim CASSim Public

    An implementation of an urban rescue scenario that employs unmanned aerial vehicles for my research dissertation.

    Jupyter Notebook

  2. EgUnityRepo EgUnityRepo Public

  3. MissionDemolition MissionDemolition Public

    A Unity Project for class.

    C#

  4. CometWordle CometWordle Public

    Java 1

  5. isr413 isr413 Public