Foundations, Tools, and Methodologies for High Assurance Software Development.

Faculty

John Hatcliff
Associate Professor

Indus, Araña, JMLEclipse
Website: ~hatcliff
Edcation: Ph.D., Kansas State University.
Verification of programs and program transformations, static and dynamic analysis, model-checking, model-driven development, program specialization and adaptable software
 
Robby
Assistant Professor

JMLEclipse, Manta, Araña, Spex
Website: ~robby
Education: Ph.D., Kansas State University
Model checking, static and dynamic analyses, verification of multi-agent systems, software specifications
Anindya Banerjee
Associate Professor
Website: ~ab
Education: Ph.D., Kansas State University
Language-based security, program analysis and program transformations, modular checking and verification, type systems
 
Torben Amtoft
Assistant Professor
Website: ~tamtoft
Education: Ph.D., University of Aarhus
Programming language semantics and analysis, security, concurrency theory, type systems
Alley Stoughton
Associate Professor
Website: ~stough
Education: Ph.D., Edinburgh University
Functional programming languages, automata theory, types for module systems
 
David Schmidt
Professor
Website: ~schmidt
Programming language semantics, static analysis, abstract interpretations, type theory
 



Collaborators

SAnToS researchers have extensive collaborations with researchers in the ESQuaReD Laboratory in the Department of Computer Science and Engineering, University of Nebraska (Lincoln) including Dr. Matthew B. Dwyer (Hensen Professor of Engineering) who co-led the development of several of the analysis tools described above while a faculty member at Kansas State. Lab members also work closely with other Kansas State faculty members including Dr. Gurdip Singh (Professor -- middleware, advanced networking), Dr. Scott Deloach (Associate Professor - multi-agent systems and architectures, software engineering, robotics, formal specifications acquisition), and Dr. Dan Andresen (Associate Professor - web-centered technologies, networking).

Matt Dwyer
Henson Professor of Engineering

BEG, JMLEclipse
Website: ~dwyer
Education: Ph.D., University of Massachusetts, Amherst
Analysis of distributed systems, software validation and verification, compiler optimization, software engineering environments.
 
Gurdip Singh
Professor

Website: ~singh
Education: Ph.D. degrees from State University of New York at Stony Brook
Operating systems, distributed systems.
Dan Andresen
Associate Professor

Website: ~dan
Education: Ph.D. in Computer Science from the University of California, Santa Barbara
Web-centered technologies, networking.
 
Scott Deloach
Associate Professor

Website: ~sdeloach
Education: Ph.D. Air Force Institute of Technology, Wright-Patterson Air Force Base OH
Multi-agent systems and architectures, software engineering, robotics, formal specifications acquisition



Technical Staff

Todd Wallentine
Research Associate
,
Website: ~tcw, blog
Education: M.S., Kansas State University 2002, B.S., Kansas State University 1998
Lead developer of Bandera and Cadena and Lab Manager.
 
Andrew King
Research Assistant

Lead developer of Bogor.



Ph. D. Students

Georg Jung

Website: ~jung
Semantic frameworks for model-driven development

  
Xianghua Deng
Kiasan
Website: ~deng
Static analysis, real-time Java
Oksana Tkachuk

BEG
Website: ~oksana
Model checking, test harness generation
 
Edwin Rodríguez

Manta, SpEx, JMLEclipse
Website: ~edwin
Software specifications, security



Graduate Students

Adam Childs

Website: ~achilds
Software architecture and model driven development



    



Support Staff

Megan Enns
Student Programmer
TBD
  
Beth Kaufmann
Student Graphic Designer
Graphic Arts
Sam Procter
Student Programmer
TBD
  
Russell Madsen
Student Webmaster
Responsible for development and maintenance of lab websites



Gone (but not Forgotten)