Events

Erich Kaltofen received both his M.S. degree in Computer Science in 1979 and his Ph.D. degree in Computer Science in 1982 from Rensselaer
Polytechnic Institute.  He was an Assistant Professor of Computer Science at the University of Toronto and an Assistant, Associate, and full Professor at Rensselaer Polytechnic Institute.  Since 1996 he is a Professor of Mathematics at North Carolina State University.  He has held visiting positions at Tektronix in 1985, the Mathematical Sciences Research Institute in Berkeley in 1985 and 2000, the University of Toronto in 1991, the Ecole Normale Superieure in Lyon in 2005 and the Massachusetts Institute of Technology in 2006.

Kaltofen's current interests in the symbolic computation discipline are hybrid symbolic/numeric algorithms, efficient algorithms for linear and polynomial algebra, algebraic complexity theory, and generic programming techniques for algorithm implementation. He is a founding member of the LinBox project [http://www.linalg.org].

Kaltofen was the Chair of ACM's Special Interest Group on Symbolic & Algebraic Manipulation 1993 - 95.  He serves as associate editor on several journals on symbolic computation.  From 1985 - 87 he held an IBM Faculty Development Award.  From 1990 - 91 he was an ACM National Lecturer. In 2009 Kaltofen was selected an ACM Fellow.

He has edited 4 books, including the Computer Algebra Handbook in 2002, published over 140 research articles, and has developed symbolic computation software in Lisp and C++ and contributed to commercial
symbolic computation software.  According to Microsoft Academic Search, Kaltofen is a top-ranked author: http://academic.research.microsoft.com/CSDirectory/Author_category_22.htm

Richard A. Kemmerer is the Computer Science Leadership Professor and a past Department Chair of the Department of Computer Science at the University of California, Santa Barbara. Dr. Kemmerer received the B.S. degree in Mathematics from the Pennsylvania State University in 1966, and the M.S. and Ph.D. degrees in Computer Science from the University of California, Los Angeles, in 1976 and 1979, respectively. His research interests include formal specification and verification of systems, computer system security and reliability, programming and specification language design, and software engineering. He is author of the book Formal Specification and Verification of an Operating System Security Kernel and a co-author of Computersat Risk: Safe Computing in the Information Age, For the Record: Protecting Electronic Health Information, and Realizing the Potential of C4I: Fundamental Challenges.

Dr. Kemmerer is a Fellow of the IEEE Computer Society, a Fellow of the Association for Computing Machinery, and he is the 2007 recipient of the Applied Security Associates Distinguished Practitioner Award. He is a member of the IFIP Working Group 11.3 on Database Security, and a member of the International Association for Cryptologic Research. He is a past Editor-in-Chief of IEEE Transactions on Software Engineering, and he has served on the editorial boards of the ACM Computing Surveys and IEEE Security and Privacy and on the Board of Governors of the IEEE Computer Society. He currently serves on Microsoft's Trustworthy Computing Academic Advisory Board.