Matt Weber is a highly skilled software engineer with a diverse background in computer science, robotics, embedded systems, IoT, optimization and formal verification. He holds a PhD in Computer Science from the prestigious University of California, Berkeley and a Bachelor of Science in Computer Engineering and Computer Science from the University of Virginia. Weber worked at the University of California, Berkeley as a postdoctoral researcher and graduate student instructor and researcher. Currently, Weber works as a software engineer at Anyscale. He possesses broad technical expertise in full-stack web applications, algorithms, higher math, and satisfiability solvers.