Bob Keller
Professor Of Computer Science at Harvey Mudd College
Claremont, California, United States
Summary
👤
Senior🎓
Top SchoolBob Keller is a veteran computer science professor and researcher with over three decades of academic and industry experience spanning logic, computability, parallel computing, model-checking, and neural networks. Based at Harvey Mudd College since 1991, he blends rigorous teaching of formal foundations with hands-on research in intelligent music software, leading the open-source Impro-Visor project that advises jazz improvisation. His background includes applied work at JPL and Aerospace Corporation on language design and self-aware software, and earlier leadership in R&D for Prolog technology. Trained with a PhD from UC Berkeley and an MSEE from Washington University, he pairs deep theoretical expertise with practical system-building and a distinctive intersection of CS and jazz education.
11 years of coding experience
6 years of employment as a software developer
PhD, Electrical Engineering and Computer Science, PhD, Electrical Engineering and Computer Science at University of California, BerkeleyMSEE, Engineering, MSEE, Engineering at Washington University in St. Louis
French
Github Skills (12)
circuit10
designer10
logic10
uvm9
simulator9
simulation8
vhdl8
digital-logic8
python8
image-processing2
grammar2
generative-art1
Programming languages (1)
Github contributions (5)
Impro-Visor/Impro-Visor
Jul 2015 - Jun 2019
The Impro-Visor program source
Contributions:68 commits, 1 PR, 391 pushes in 3 years 11 months
impropython
Impro-Visor/Markov-Music
Jul 2015 - Jul 2015
Contributions:1 push in 1 day
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.