Faculty
Torben Amtoft
![]() |
tamtoft@ksu.edu | Home Page Assistant Professor, Ph.D., University of Aarhus Program Analysis, Type Systems, Models for Concurrency, Program Transformations. |
Daniel Andresen
![]() |
dan@ksu.edu | Home Page Associate Professor, Ph.D., University of California, Santa Barbara Parallel and distributed systems, scheduling, digital libraries/WWW applications, client/server computing, cluster computing, object-oriented software. |
Anindya Banerjee
![]() |
ab@ksu.edu | Home Page Associate Professor, Ph.D., Kansas State University Computer Security, Modular Program Analysis, Program Transformation, Type Systems, Software Model-checking. |
Nathan Bean
![]() |
nhb7817@ksu.edu | Home Page Advisor/Instructor, M.S., University of Abertay Dundee |
Myron Calhoun
|
mcalhoun@ksu.edu | Home Page Professor Emeritus, M.S., Arizona State University Computer architecture, computer-aided design, digital systems design, microcomputer applications. |
Doina Caragea
![]() |
dcaragea@ksu.edu | Home Page Assistant Professor, Ph.D., Iowa State University Artificial Intelligence, Machine Learning, Data Mining, Information Visualization, Information Integration, Ontologies, Semantic Web and Bioinformatics. |
Scott A. Deloach
![]() |
sdeloach@ksu.edu | Home Page Associate Professor, Ph.D., Air Force Institute of Technology, Ohio Multiagent Systems, Cooperative Robotics, Design and Synthesis of Multiagent Systems, Adaptive Organization-based Systems. |
David A. Gustafson
![]() |
dag@ksu.edu | Home Page Professor, Ph.D., University of Wisconsin, Madison Software engineering methodologies, software physics, validation techniques, AI techniques in software development, software measures, expert systems, software testing. |
William J. Hankley
![]() |
hankley@ksu.edu | Home Page Professor Emeritus, Ph.D., Ohio State University Software engineering (design process, UML models and tools, model driven design, usability and visual models). |
John Hatcliff
![]() |
hatcliff@ksu.edu | Home Page Professor, Ph.D., Kansas State University Software model checking, software architectures, foundations of model-driven for component middleware frameworks, static and dynamic analysis of programs, program slicing, partial evaluation and program specialization, and program logics. |
Rodney R. Howell
![]() |
rhowell@ksu.edu | Home Page Associate Professor, Ph.D., University of Texas, Austin Design and analysis of algorithms, computational complexity, parallel and distributed computing, Petri nets, real-time scheduling. |
William Hsu
![]() |
bhsu@ksu.edu | Home Page Associate Professor, Ph.D., University of Illinois at Urbana-Champaign Data mining and knowledge discovery, machine learning, artificial intelligence, knowledge-based software engineering. |
Masaaki Mizuno
![]() |
masaaki@ksu.edu | Home Page Professor, Ph.D., Iowa State University Operating systems, distributed systems, synchronization, and embedded systems. |
Mitchell L. Neilsen
![]() |
neilsen@ksu.edu | Home Page Associate Professor, Ph.D., Kansas State University Distributed systems, computer networks, operating systems, computational science and engineering. |
Xinming (Simon) Ou
![]() |
xou@ksu.edu | Home Page Assistant Professor, Ph.D., Princeton University Computer and information security, with a focus on applying formal, logic-based techniques in solving real-world security problems. |
Robby
![]() |
robby@ksu.edu | Home Page Assistant Professor, Ph.D., Kansas State University Software verification, specification, analysis, transformation, specialization, model-driven software development. |
David A. Schmidt
|
das@ksu.edu | Home Page Professor, Ph.D., Kansas State University Static analysis, abstract interpretation, denotational semantics. University Distinguished Professor. |
Bill Shea
![]() |
bshea@ksu.edu | Home Page Instructor Emeritus, M.S., Kansas State University |
Gurdip Singh
![]() |
gurdip@ksu.edu | Home Page Professor, Ph.D., SUNY at Stony Brook Operating systems, distributed systems. |
Alley Stoughton
![]() |
stough@ksu.edu | Home Page Associate Professor, Ph.D., Edinburgh University Programming language semantics, functional programming, tools for teaching formal language theory. |
Julie Thornton
![]() |
juliet@ksu.edu | Home Page Instructor, M.S., Kansas State University |
Elizabeth A. Unger
|
beth@ksu.edu | Home Page Vice Provost for Academic Services and Technology, Dean of Continuing Education, Professor, Ph.D., University of Kansas Databases, programming languages, computer science instruction, concurrency, office automation. |
Maarten VanSwaay
|
vanswaay@ksu.edu | Home Page Professor Emeritus, Ph.D., Princeton University Computer architecture, microprocessors, instrumentation. |
Virgil Wallentine
![]() |
virg@ksu.edu | Home Page Professor, Ph.D., Iowa State University Operating systems, computer networks, concurrent programming languages, concurrent program abstraction, knowledge engineering. |
Maria Zamfir-Bleyberg
|
maria@ksu.edu | Home Page Professor Emeritus, Ph.D., UCLA Parallel and distributed computing theory, neural networks, mathematical foundations of databases, artificial intelligence. |



















