Anthony S. Wojcik retires from MSU
Anthony S. Wojcik has retired from Michigan State University after twenty two years of leadership and dedicated service. Wojcik received the B.S. and M.S. degrees in Mathematics and the Ph.D. in Computer Science from the University of Illinois, Urbana, in 1967, 1968, and 1971, respectively. He joined the faculty of the Department of Computer Science, Illinois Institute of Technology, Chicago, in 1971. He served as Chairman of the Department of Computer Science from 1978 to 1984.
In January 1986, he joined the faculty of the Department of Computer Science at Michigan State University as Professor and Chairperson, serving as Chairperson until August 1995. He served as Associate Dean for Research and Graduate Studies in the College of Engineering at Michigan State University from July 1998 through June 2002 and as Director of the MSU CyberSecurity Initiative from August 2002 through December 2005. In October 2005, he joined the Office of the Vice President for Research and Graduate Studies at Michigan State University as Assistant Vice President for Research Planning.
In addition to his academic appointments, he has been a Member of the Technical Staff at, the former, Bell Laboratories, Naperville, Illinois. He has been formally affiliated with Argonne National Laboratory as a Resident Associate, initially with the Mathematics and Computer Science Division and most recently with the Decision and Information Systems Division.
His recent research interests have focused on the development and application of formal methods for the analysis and synthesis of computing systems. This work has included such topics as verification of hardware and software and the reengineering of digital systems. Additional research includes the application of artificial intelligence techniques to automated design and verification of digital systems, reliable hardware and software design, trusted computing, and software verification. His work has included support from the National Science Foundation, Argonne National Laboratory, and the Department of the Air Force - Wright Laboratory. Dr. Wojcik is a Senior Member of the IEEE and a Member of the Association for Computing Machinery.
(Date Posted: 2007-12-14)