People

 

Faculty

Amtoft
Torben Amtoft Associate Professor

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

Chalin
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

Hatcliff
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
Robby Associate Professor

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

 

KSU Collaborators

Andresen
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

DeLoach
Scott DeLoach Professor

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

Ou
Xinming Ou Associate 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

Schmidt
David Schmidt University Distinguished Professor

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

Vasserman
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

Warren
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

 

Associates

Roy
Sankardas Roy Instructor/Research Associate

Cybersecurity.
sroy@santoslab.org

Larson
Brian Larson Research Associate

Medical device coordination.
blarson@santoslab.org

Steve
Stephen C. Barrett Postdoctoral Research Associate

Medical device coordination.
scbarrett@santoslab.org

 

Students

Belt
Jason Belt Ph.D. Candidate

Specification and verification of high-integrity systems.
belt@santoslab.org

Zhang
Zhi Zhang Ph.D Candidate

Secure-information flow.
zhangzhi@santoslab.org

Kim
Yu-Jin Kim Ph.D Student

Medical device coordination.
yujin@santoslab.org

Procter
Samuel Procter Ph.D. Student

Healthcare workflows.
sprocter@santoslab.org

Thiagarajan
Hariharan Thiagarajan Ph.D. Student

Static analysis for high-integrity systems.
thari@santoslab.org

Fengguo
Fengguo Wei Ph.D. Student

Cybersecurity.
fgwei@santoslab.org

Cousino
Andrew Cousino Master Student

Verification of high-integrity systems.
acousino@santoslab.org

Jakub
Jakub Jedryszek Master Student

Verification of high-integrity systems.
jjedrys@santoslab.org

Vidit
Vidit Ochani Master Student

Compiler.
vidit@santoslab.org

Salazar
Carlos Salazar Master Student

Medical device coordination.
csalazar@santoslab.org

Sharp
Jayson Sharp Master Student

Medical device coordination.
jsharp@santoslab.org

 

Support

Cooper
Cole Cooper Web Developer

colecoop@santoslab.org