Matt Lewis
Software Engineer at Jump Trading Group
Bristol, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolMatt Lewis is a software engineer and computer scientist with 13 years of experience designing, building and shipping large, complex systems across academia, startups and major firms. With a PhD from Oxford and early engineering experience at Google, he specialises in distributed systems, software verification and security while equally comfortable doing quant-style engineering as seen in his current role at Jump Trading. Matt has held senior and founding-CTO roles at energy and R&D-focused startups and enterprises, bringing both research depth and production rigor to systems serving millions. He is known for finding simple solutions to complex problems and for bridging research projects and rock-solid production code.
13 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at University of OxfordBA Computer Science, BA Computer Science at University of Cambridge
Github Skills (13)
synthesis10
serialization8
protobuf7
rpc7
verification6
tla6
protocol-buffers6
java5
benchmark5
protoc4
security3
marshalling3
unpack1
Programming languages (5)
Github contributions (5)
blexim/synth
Jun 2013 - Mar 2016
Program synthesis
Contributions:1273 commits, 76 pushes, 1 comment in 2 years 9 months
program-synthesissynthesis
blexim/faults
Jan 2014 - Mar 2014
Contributions:106 commits in 1 month
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.