Dr. Ken Roe

Who Am I?

I now work at Intel doing formal verification of microprocessors. I recently worked at SiFive using the Coq theorem prover to develop a formally verified CPU. I also recently worked in the Hopkins Medical Center doing Medical Informatics research. I hold a PhD in Computer Science from Johns Hopkins. I defended my thesis titled "Toward a tool to verify complex data structure invariants" on Feb 15, 2018. I returned to graduate school after working in Silicon Valley for many years. Many of the ideas developed in my thesis came out of my experiences in the industry. I have now returned to Silicon Valley to turn my research into practice. Check out my LinkedIn profile here.

Research

I am developing a static analysis tool for C programs. My initial goal is to build a tool that can eliminate many common memory allocation errors. Eventually, I would like to address many complex types of errors including those that arise from complex intricate interactions between data structures. A few years ago, I developed an SMT prover. See the talks and papers below for more details.

My advisor is Scott Smith

Side projects

I am an avid mobile developer. Check out the folowing web site for more information: http://www.roemobiledevelopment.com. If you are thinking of getting into iPhone development, I will warn that you will most likely not get rich from it. I do get a fairly steady income from my apps. However, I could make more money working at a job.