Research Groups

Jump To:

Center for Information and Systems Assurance

Information Assurance work at K-State began with the early work by Dr. Banerjee and Dr. Schmidt in language-based security. When Dr. Ou joined K-State in 2006, he formed the Argus Group to conduct research in cybersecurity. Dr. Hatcliff, Dr. Robby, and Dr. Amtoft also developed new research programs in computer security and information assurance in the SAnToS Laboratory. These research projects and associated educational and outreach programs are all carried out under the CISA at K-State. In 2010, CISA was designated a National Center of Academic Excellence in Information Assurance Research (CAE-R).

SAnToS Laboratory

The Laboratory for Specification, Analysis, and Transformation of Software (SAnToS Laboratory) conducts both theoretical and applied research on a range of topics in programming language semantics, analysis, and software engineering. The laboratory is an outgrowth of the programming languages group in the CIS Department at Kansas State University.

Cybersecurity Research Group

The Argus group was founded by Dr. Simon Ou in 2006 to carry out cyber security research. The group's focus is on the defense aspect of the cyber warfare, and their philosophy is that successful cyber defense can only be achieved through automated coordination of various observation and action points in an enterprise environment. "Point solutions" like firewalls and traditional IDS systems are limited in effectiveness since they only look at one aspect of the system and lack the capability of "connecting the dots" among various information sources to gain a global picture of a system's security status. The group's research aims at providing the enabling technologies for such automated correlation and analysis, with solid theoretical foundation and empirical study. The group is named after the giant Argus in Greek mythology, who has a hundred eyes that constantly watch for enemies.

BeoCat

Beocat is Kansas State University's Beowulf computing cluster. A cluster is, on the fundamental level, two or more computers that are used together to solve a problem. This type of computing, as it relates to research at K-State, is called High Performance Computing (HPC). High performance computing (HPC) is an increasingly critical foundation for research across the disciplines, from improving the foundations of linguistic analysis to protecting lives through better bullet-resistant vests. At K-State, Beocat provides critical computational resources for millions of dollars in current research grants, and is a strategic asset on pending proposals to various funding agencies.

Virtual Pipeline System Testbed

The objective of the proposed research is to develop and integrate compressor station and pipeline system component computer models into the Virtual Pipeline System Testbed (VPST). The VPST will simulate a pipeline system by determining the system pressures and gas flow rates, the emitted pollutant emissions, the fuel consumed, and the system “charge” as a function of time. The Virtual Pipeline System Testbed is sponsored by a grant from the Department of Energy. It is a collaborative research project conducted at Kansas State University in the National Gas Machinery Laboratory by faculty and graduate students in the departments of Mechanical and Nuclear Engineering and Computing and Information Sciences.

Institute Of Computational Research

Mobile Robotics

Multiagent & Cooperative Robotics Laboratory

The goal of the Multiagent & Cooperative Robotics Lab is to bring together researchers with various expertise to solve interesting problems in the area of multiagent systems and cooperative robotics. Our research incorporates existing methodologies and techniques from other related disciplines – including artificial intelligence, robotics, and software engineering – into an integrated agent development methodology for multiagent systems. We are specifically interested in enabling teams of autonomous agents to organize and re-organize to accomplish their overall missions.

Machine Learning and Bioinformatics Group

KDD Laboratory

The Laboratory for Knowledge Discovery in Databases (KDD) is a research group in the Computing and Information Sciences (CIS) Department at Kansas State University. Its research emphasis is in the areas of applied artificial intelligence (AI) and knowledge-based software engineering (KBSE) for decision support systems. More specifically, we are interested in machine learning, data mining and knowledge discovery from large spatial and temporal databases, human-computer intelligent interaction (HCII), and high-performance computation in learning and optimization. In our research, we look for ways to systematically decompose analytical learning problems based upon information theoretic and probabilistic criteria, so that the most appropriate machine learning methods may be applied to the resulting transformed problems.

ChERT Laboratory

The research focus in this area is on distributed, fault-tolerant real-time embedded systems. We focus on both formal and informal methods for embedded system development. The initial target for development is on controller area networks used extensively for networking controls and actuators on-board machinery and vehicles. The group currently works on areas related to hard real-time systems whose operation depends not only on the correctness of the results, but also on their timeliness. Areas of interest include networking and operating system support for hard real-time embedded systems, specification and design languages for developing real-time embedded applications, and simulation and verification tools for ensuring their correctness.