Bio

Dr. Karel's background is in programming languages, type systems, garbage collection, and security.

Prior to joining Aarno, Ben earned his MS and PhD in Computer Science from the University of Pennsylvania. His research interests at the time involved the design and implementation of programming languages. His dissertation investigated an augmented interface for providing proactive programmer control over a programming language's memory management subsystem.

At Aarno, his work has spanned the gamut from exploit generation for PHP code using finite-automaton based static analysis, to formalization of a targeting DSL for autonomous agents, to the co-design and implementation of a binary patching system.

Outside of work, Ben enjoys reading, listening to music, and spending time with his family.

Papers