Jonathan Bell
Assistant Professor at Northeastern University
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolJonathan Bell is an Assistant Professor of Software Engineering at Northeastern University with 15 years of experience building tools that make software more reliable and secure. His research—spanning software testing, flaky-test mitigation, and program analysis—has produced widely adopted JVM runtime systems like Phosphor and CROCHET, an NSF CAREER award, and an ACM SIGSOFT Distinguished Paper Award. He has translated research into impact through open-source contributions to Maven and PIT mutation testing and by improving Java fuzzers and coverage tooling (notably work on JQF/Zest and Pitest performance and instrumentation). A former teacher of distinction at George Mason, he blends rigorous systems research with practical engineering and industry collaborations, including a startup born from the Clowdr virtual-conference project he co-founded. Outside academia he pursues photography, cooking, and cycling—interests that mirror his hands-on, iterative approach to tooling and experimentation.
15 years of coding experience
14 years of employment as a software developer
Ph D, Computer Science, Ph D, Computer Science at Columbia UniversityMS, Computer Science, MS, Computer Science at Columbia Engineering
Github Skills (14)
javas10
code-coverage10
mutation-testing10
fuzzing10
junit10
code-analysis10
performance-optimization10
bytecode10
java10
testing10
automated-tests9
javassist8
property-based-testing8
afl-fuzz8
Programming languages (13)
Github contributions (5)
hcoles/pitest
Nov 2018 - Jun 2019
State of the art mutation testing system for the JVM
Role in this project:
Backend Developer & Test Automation Engineer
Backend Developer & Test Automation EngineerContributions:8 commits, 4 PRs, 14 comments in 7 months
Contributions summary:Jonathan primarily contributed to the improvement and refactoring of the Pitest mutation testing system. They addressed coverage collection, refining how the system handles basic block boundaries, and incorporated exception handling. The user also refactored code to target mutations by instruction location, along with writing integration tests. They enhanced coverage collection performance and addressed potential issues, ensuring the system's stability and efficiency.
jvm-bytecodeartmutation-analysismutationmutation-testing
rohanpadhye/JQF
Dec 2021 - Jan 2022
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Role in this project:Backend Developer & QA Engineer
Backend Developer & QA EngineerContributions:4 reviews, 6 commits, 3 PRs in 1 month
Contributions summary:Jonathan significantly contributed to the project's fuzzing capabilities, particularly in performance and coverage improvements. They refactored the coverage instrumentation by implementing a faster, collision-free approach and optimized code within the fuzzing guidance logic. Furthermore, the user implemented functionality to record additional coverage information and failure details, enhancing the analysis of fuzzing runs. These changes included adding instrumentation for branch probes and reducing memory overhead for storing failures.
property-based-testingsemanticcoverage-guidedzestsecurity
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.