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 |
| DENISON |
|
Joan KroneProfessor of Computer Science
|
| Office: | Gilpatrick House | |
| Email: | krone @ denison.edu | |
| Phone: | (740) 587-6426 | |
| Fax: | (740) 587-5749 |
Quick Links Resolve
|
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. |
| DENISON UNIVERSITY |
