Quinn Dougherty

Quinn Dougherty is a versatile professional with experience in research and software engineering. Currently serving as a Research Engineer at Casper Association since February 2023, Quinn also works as a Logician at Platonic.Systems. Prior roles include Software Engineer at Quantified Uncertainty Research Institute and Coq Programmer at Orbis Labs, where Quinn focused on emulating vnTinyRAM. As an Auditor at Ardana, Quinn researched security vulnerabilities in the Cardano decentralized application ecosystem. Additional experiences include a Researcher position at Stanford Existential Risks Initiative and work as a Grantee at CEEALAR. Quinn began a career in software engineering at Sandbox Banking and held a leadership role at Lambda School, where supervision of teaching assistants and curriculum development occurred. Educational background includes studies at BloomTech and Community College of Philadelphia.