DENISON
Mathematics & Computer Science

 

Joan Krone

Professor of Computer Science
Benjamin Barney chair
Director of Gilpatrick Center

 Office:Gilpatrick House
 Email: krone @ denison.edu
 Phone:(740) 587-6426
 Fax:(740) 587-5749
 Office Hours: M 1:30 - 3:30
Th 9:30 - 11:30

 


Quick Links

I am currently the Director of the Gilpatrick Center, which oversees the summer research program at Denison, as well as serving to advise students applying for a variety of prestigious scholarships such as Fulbright, Marshall, Rhodes, and others. I joined the Denison faculty in 1990, having taught mathematics at Ohio Dominican College before earning my Ph.D. in Computer Science from the Ohio State University.

My research lies in the field of formal methods for software engineering. The focus is on the formal specification of software in the context of software engineering principles developed by experts in the field over decades of research and practice. Recent NSF funding has supported the design and development of a new language, RESOLVE (REusable SOftware Langauage with VErification), that includes constructs for formal mathematical specifications to promote mathematical reasoning and proofs of program correctness.

I am a strong advocate of undergraduate research and have served as mentor to more than 30 undergraduate research students, many of whom have presented their work at professional conferences.