Contacts

Holly Breymaier Breymaier, Holly Breymaier

Holly Breymaier
Program Coordinator
Operational Support; On-Campus Recruitment
Staff  |  Career Exploration & Development
Burton D. Morgan Center
306
740-587-5522
Service: 
2006-Present
Biography: 

Holly joined the Denison community as a member of the Athletic Department in March 2006. She transitioned into Career Services in June 2007 and is currently the Program Coordinator in Career Exploration and Development. As the Program Coordinator, Holly coordinates on-campus recruiting, manages online resources, maintains the Career Exploration & Development website, assists with the Denison Internship Program, and oversees the management of our data.

Show Profile

Brian Collingwood Collingwood, Brian Collingwood

Brian Collingwood
Associate Director
Internship Programs; Lead Operations & Advising
Staff  |  Career Exploration & Development
Burton D. Morgan Center
308
740-587-6402
Service: 
2012-Present
Degree(s): 
B.A., Xavier University; M.A.Ed., University of Akron
Biography: 

Brian joined the Denison community in January 2012 and has helped reshape the scope of career development at the college. From formulating opportunities for externships (job shadowing) to overseeing internship and stipend programs, Brian has experience in many areas linked to the work of CE&D. He and his teammates remain focused on supporting students as they attempt to reach their next respective levels of career development.

As an active member of both the National Association of Colleges and Employers (NACE) and the Midwest Association of Colleges and Employers (MWACE), Brian stays informed of recruitment trends, advising best practices, and pertinent employer feedback. He has served in leadership roles on both national and regional professional development committees and currently holds an Executive Board position with MWACE.

He enjoys working with all CE&D constituent groups and is excited by the support of the Denison community around continuing to improve the way the college prepares its students for lives of leadership and professional fulfillment.

Show Profile

Michele Doran Doran, Michele Lynne Doran

Michele Doran
Assistant Director
America Reads; Community Service Interns; Student Outreach
Staff  |  Career Exploration & Development
Burton D. Morgan Center
306
740-587-8557
Service: 
2007-Present
Degree(s): 
B.S., Ohio State University
Show Profile

Kirsten Fox Fox, Kirsten Fox

Kirsten Fox
Associate Director
Career Education; Alumni & Parent Connections
Staff  |  Career Exploration & Development
Burton D. Morgan Center
740-587-8668
Service: 
2014-Present
Show Profile

Matt Hughes Hughes, Matt Hughes

Matt Hughes
Assistant to the Director
Operational Support
Staff  |  Career Exploration & Development
Burton D. Morgan Center
306
740-587-6656
Show Profile

Joan Krone dr. Krone, Joan Krone

Joan Krone
Director of the Gilpatrick Center
Faculty  |  Computer Science, Mathematics, Gilpatrick Center for Student Research & Fellowships
Gilpatrick House
740-587-6426
Service: 
1990-Present
Degree(s): 
Degrees: B.S. Mathematics, West Liberty State College, M.S. Mathematics, M.S. Computer Science, Ph.D. Computer Science, the Ohio State University
Biography: 

Joan Krone joined the Denison faculty in 1990, having taught mathematics at Ohio Dominican College before earning her Ph.D. in Computer Science from the Ohio State University, where she taught Data Structures and Algorithm Analysis before coming to Denison.

Her research is in the mathematical foundations of computer science, emphasizing mathematical reasoning about the formal specification and verification of software in the context of software engineering principles. Krone is a strong advocate of undergraduate research and has served as mentor to more than 30 undergraduate research students, many of whom have presented their work at professional conferences. She developed a discrete math course that introduced computer science applications of mathematical concepts and co-authored the textbook “Essential Discrete Mathematics for Computer Science” with Todd Feil. In addition to teaching computer science Krone is 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.

Research Keywords: 
Formal methods
Research Overview: 
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.
Research Details: 

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 Language with VErification), that includes constructs for formal mathematical specifications to promote mathematical reasoning and proofs of program correctness. Krone’s work has included both the development of logic for reasoning about program correctness and the development of material needed in the computer science curriculum to support mathematical reasoning about programs.

Publications: 

Selected Publications

  • Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova, Blair Durkee, Heather Harton, Wayne Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, and Diego Zaccai, A Language for Building Verified Software Components, Proceedings of ICSR, Pisa, Italy, July 2013.
  • Joan Krone, Jason Hallstrom, Murali Sitaraman, CCSC 2011 Proceedings, “Mathematics throughout the CS Curriculum.”
  • Murali Sitaraman, Bruce Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather Harton, Wayne Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, and Bruce W. Weide, “Building a Push-Button RESOLVE Verifier: Progress and Challenges,” Formal Aspects of Computing, 2010, 34 pages.
  • J. Krone, J.E. Hollingsworth, M. Sitaraman, and J.O. Hallstrom, “A Reasoning Concept Inventory for Computer Science,” Technical Report RSRG-10-01, School of Computing, Clemson University, Clemson, SC 29634-0974, September, 2010, 6 pages.
  • Sitaraman, Hallstrom, White, Drachova-Strang, harton, Leonard, Krone, Pak, “Engaging Students in Specification and Reasoning: Hands on Experimentation and Evaluation,” Proceedings of ITiCSE, July 5-8, 2009.
  • Keown, H., Krone, J., & Sitaraman, M. , “Formal Program Verification.” The Encyclopedia of Computer Science and Engineering. Wiley, 2008.
Student Collaborations: 

Selected Student Research Projects

  • Welch, D. 2011, 2012 “Modular Design and Verification in RESOLVE,”  NSF student. Presentation at MCURCSM, November 2012.
  • Behrend, S. 2007. “Logic for Program Verification.” DURF student. Presentation at SIGCSE, March, 2007. Presentation at MCURCSM, November, 2007.
  • Fressola, A. 2004. “Integers by Induction.” Anderson student. Presentation at the National American Mathematical Society Conference, Phoenix, Arizona.
  • Tawney,  M. 2003 Anderson student. “Algorithm Analysis for the Object Oriented Paradigm.” 2002. Invited talk at The Ohio State University, March 13, 2003. Posters on the Hill, April 1, 2003.
  • Dimitrov, V. summer 2001. “Zero-Divisor Graphs.” Presented at the ACM-SIGCSE Conference, February, 2002.
Show Profile

Zach Pavol Pavol, Zachary A. Pavol

Zach Pavol
Assistant Director
Externships; Employer Outreach
Staff  |  Career Exploration & Development
Burton D. Morgan Center
307
740-587-6420
Service: 
2012-Present
Degree(s): 
B.S., M.E., Ohio University
Biography: 

Zach Pavol is dedicated to helping Denison students explore, identify and begin their ideal careers. Zach’s career service background includes experience at Ohio University and the Fisher College of Business at The Ohio State University. At both institutions, his primary responsibilities involved developing employer relationships and preparing students to successfully interact with recruiting employers. Before switching to a career in the higher education industry, Zach spent 5 years in the management consulting industry working with several Fortune 500 companies such as Nationwide, Sprint, Time Warner Cable, Fedex Kinkos and Bank of America.

Show Profile

Ankit Shah Shah, Ankit Shah

Ankit Shah
Assistant Director
Graduate School Application & Selection
Staff  |  Career Exploration & Development
Burton D. Morgan Center
740-587-5798
Show Profile

Cookie Sunkle Sunkle, Cookie Sunkle

Cookie Sunkle
Assistant to Director of the Gilpatrick Center
Staff  |  Gilpatrick Center for Student Research & Fellowships
Gilpatrick House
12
740-587-6573
Service: 
1988-Present
Degree(s): 
B.A., Ohio Wesleyan University
Biography: 

Cookie Sunkle is the Assistant to the Director of The Gilpatrick Center and can be found most days at her computer in her office in Gilpatrick House. With Denison since 1988, Cookie enjoys traveling in her spare time.

Show Profile