People

Faculty

Torben Amtoft Associate Professor

Program Analysis, Type Systems, Models for Concurrency, Program Transformations.
http://people.cis.ksu.edu/~tamtoft

Patrice Chalin Associate Professor

Program synthesis and software verification, Medical Device Integration, Coordination and Interoperability (MDICI), Software Engineering, Web-based Enterprise Applications.
http://people.cis.ksu.edu/~chalin

John Hatcliff University Distinguished Professor

Verification of programs/transformations, static and dynamic analysis, model-checking, model-driven development.
http://people.cis.ksu.edu/~hatcliff

Robby Associate Professor

Software verification, specification, analysis, transformation, specialization, testing, software engineering, model-driven software development
http://people.cis.ksu.edu/~robby

KSU Collaborators

Daniel Andresen Associate Professor

Parallel and distributed systems, scheduling, digital libraries/WWW applications, client/server computing, cluster computing, object-oriented software.
http://people.cis.ksu.edu/~dan

Scott DeLoach Professor

Cooperative robotics, multi agent systems, adaptive network security, hybrid intelligent systems.
http://people.cis.ksu.edu/~sdeloach

Xinming Ou Assistant Professor

Computer and information security, with a focus on applying formal, logic-based techniques in solving real-world security problems.
http://people.cis.ksu.edu/~xou

David Schmidt University Distinguished Professor

Programming language semantics, static analysis, abstract interpretations, type theory.
http://people.cis.ksu.edu/~schmidt

Eugene Vasserman Assistant Professor

Distributed system security, censorship resistance, privacy and anonymity, peer-to-peer systems, applied cryptography, public policy, and cyber-law.
http://people.cis.ksu.edu/~eyv

Steve Warren Associate Professor

Biomedicine, home care, light-based biomedical instrumentation, student learning, telemedicine, numerical analysis and simulation.
http://www.eece.ksu.edu/?page=warren