Mathematics & Computer Science Department

Dr. Joan Krone

Professor of Computer Science and Benjamin Barney chair

Current Courses

• CS 373, Programming Languages

Past Courses

• FYS102, History of Computing Technology Fall2007
• CS 349, Software Engineering Fall2007
• Honors 131
• CS 200
• CS 334, Theory of ComputationFall 2004
• CS 349, Software Engineering Fall 2004
• CS 349
• CS 402 Software Engineering
• CS 402, Graphics - Fall 2005

Professional Activities

• Vita
• Current Research
• Publications
• TRACS-Theory and Research Applied to Case Studies

Invited Talks

• Keeping Pointers or References Under Control
   Web | Powerpoint
• Derivation Schemes
• Verification Talk
• A Project Approach to Programming Language Theory
• Performance Specifications Based upon Complete Profiles Talk
• Cyber Ethics
• Resolve 2007
• The Power of Symbols

Research

• RESOLVE
• Formal Methods
• Reusable Software and companies providing Reusable Software
• Non-Standard Logic
• Maple Analysis of Computer Algorithms
• Software Engineering

Fellowships and Scholarships

• Opportunities 2007
• Writing Workshop

Class Projects

• CS334 Fall 2001

Personal Interests and Hobbies

• Art - Paintings
• Classical Music
• Swimming

Conferences

CS1 Workshop - 2007

CS2 Workshop - 2008