Maria Kusber
Developer at Patients Know Best
Oxford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolMaria Kusber is a software engineer with eight years of experience building and leading teams around Java-based program analysis and automated test generation. She progressed from research on formal verification and controller synthesis at Oxford to hands-on development and later management at Diffblue, where she helped deliver AI-driven unit test features (including generics and Spring projects) and even led a delivery that won a major customer. Technically fluent in Java, bytecode manipulation, static/dynamic analysis, reinforcement learning and code generation, she also contributes to open-source tooling such as the C Bounded Model Checker (cbmc) through focused backend and test automation work. Comfortable toggling between deep technical problem solving and team facilitation, she recently returned to a hands-on developer role while maintaining leadership training from Harvard Business School Online. An analytical thinker grounded in mathematics and formal methods, she brings a blend of research rigor and product-facing delivery.
9 years of coding experience
9 years of employment as a software developer
Doctoral Degree Program (Ph.D.), Computer Science, Doctoral Degree Program (Ph.D.), Computer Science at Masarykova univerzita BrnoOther; Certificate in Leadership Principles, Complete, Other; Certificate in Leadership Principles, Complete at Harvard Business School OnlineStudent Exchange Program (Socrates Erasmus), Information and Computer Sciences, Student Exchange Program (Socrates Erasmus), Information and Computer Sciences at Université de LuxembourgVisiting Research Scholar, Visiting Research Scholar at Boston University
Github Skills (7)
unit-testing10
javas10
java10
test-automation9
reflection9
reflect9
reflections9
Programming languages (3)
Github contributions (5)
diffblue/cbmc
Oct 2017 - Jul 2019
C Bounded Model Checker
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:185 commits, 66 PRs, 20 pushes in 1 year 9 months
Contributions summary:Maria primarily focused on adding and modifying unit tests for Java bytecode parsing, particularly concerning generic classes and methods. They implemented tests for parsing generic arrays, recursive generic classes, and handled issues related to signature/descriptor mismatches in methods. Additionally, the user made various code cleanup and refactoring changes, including those related to documentation and the handling of unsupported generic signatures.
model-checkermodel-checkingcppcheckertla
svorenova/cbmc
Oct 2017 - Jul 2019
C Bounded Model Checker
Contributions:266 pushes, 134 branches in 1 year 9 months
model-checkermodel-checkingcppchecker
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.