Jeremy Shaw
Learning Engineer at Computing Talent Initiative
Salinas, California, United States
Summary
👤
Senior🎓
Top SchoolJeremy Shaw is a Learning Engineer with 21 years of experience who blends classroom pedagogy and systems-level software expertise to design practical learning experiences. A first-generation college student now pursuing an EdD in Educational/Instructional Technology, he has taught computer science and math at high school and university levels while building embedded and runtime software for open-source projects. His GitHub work includes adapting the Idris runtime for non-pthread environments and adding Arduino support, and he contributed Teensy 3.x support to a popular Arduino Makefile—demonstrating deep comfort with portability, low-level C, and IoT toolchains. Based in Salinas, California, Jeremy pairs hands-on embedded systems development with instructional design, helping learners and code run reliably in constrained environments.
21 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Cum Laude, Bachelor of Science - BS, Computer Science, Cum Laude at California State University, Monterey BayMaster of Arts - MA, EDUCATION, Master of Arts - MA, EDUCATION at Alder Graduate School of EducationKorean Language and Literature, Korean Language and Literature at Kookmin UniversityDoctor of Education - EdD, Educational/Instructional Technology, Doctor of Education - EdD, Educational/Instructional Technology at University of South Carolina
Github Skills (19)
runtimes10
crossbuild10
run-time10
teensy10
c1110
makefile10
c1710
idris10
sys10
embedded10
cross-compiling10
arduino10
runtime-environment10
data-structure9
build-automation9
Programming languages (12)
Github contributions (5)
idris-lang/Idris-dev
Mar 2014 - Sep 2014
A Dependently Typed Functional Programming Language
Role in this project:
Back-end Developer & Systems Programmer
Back-end Developer & Systems ProgrammerContributions:16 commits in 6 months
Contributions summary:Jeremy primarily focused on modifying the runtime system (RTS) of the Idris language. Their work involved adapting the RTS for environments without pthreads, implementing pointer alignment, and making changes to data structures, notably with the introduction of `uint32_t` types for specific fields. Furthermore, the user added support for Arduino, including an `idris_main.c` file tailored for the platform and integrating RTS source files into the build process for cross-compilation. These modifications suggest a focus on portability and system-level programming within the Idris ecosystem.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
sudar/Arduino-Makefile
Oct 2014 - Oct 2014
Makefile for Arduino sketches. It defines the workflows for compiling code, flashing it to Arduino and even communicating through Serial.
Role in this project:Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:10 commits, 1 comment in 9 days
Contributions summary:Jeremy primarily contributed to the `Teensy.mk` file, which is a Makefile used for building Arduino sketches for Teensy boards. Their work focused on adding support for Teensy 3.x boards, improving the build process, and incorporating the necessary tools for uploading and resetting the boards. They added examples of the build and also modified core build settings for optimal functionality.
serialarduino-sketchesarduinoflashingmakefile
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.