Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jeremy Johnson
conf.researchr.org general profile
POPL 2021 profile
SIGCSE TS 2023 profile
SIGCSE TS 2024 profile
SPLASH 2017 profile
Not registered as user yet
Name:
Jeremy Johnson
Affiliation:
Drexel University, USA
Contributions
2024
SIGCSE TS
Author of Moving forward with LogicWriterActual, a web app for early undergraduate writing with mathematical logic within the Lightning Talks-track
2023
SIGCSE TS
Author of Proof Buddy: A tool to aid students in proof construction within the Demos-track
2021
CoqPL
Author of Verification of Algorithm and Code Generation for Signal Transforms within the CoqPL-track
2017
GPCE
Author of A Haskell Compiler for Signal Transforms within the GPCE 2017-track
Share
x
Thu 21 Nov 12:30