Dr. Joan Krone
View Joan's personal page.
Throughout her career as a computer scientist Joan has worked toward mathematical proofs of program correctness. Her work includes collaboration with logicians, software engineers, and mathematicians, as well as computer scientists. She has published several journal articles and co-authored a book on discrete math for computer science. She enjoys animals of all kinds, including her three Newfoundlands and two cats. She and her husband share a love for nature, expressed through tree planting for conservation of natural resources.