Research
The Department of Computer Science has research programs in a variety of areas. Current research projects include petri nets for distributed systems, haptics for virtual surgery, automatic development of parallelized code, improvement to data compression techniques, and software metrics.
AdVanced Empirical Software Testing and Analysis (AVESTA)
| Contact Information | ||
|---|---|---|
 |
Primary Investigator: Dr. Akbar Siami Namin Akbar.Namin@ttu.edu |
Phone: 325.677.1112 Website |
| Description | ||
| The AdVanced Empirical Software Testing and Analysis (AVESTA) research group focuses on conducting research in software testing, empirical software engineering, and application of statistical analysis to program analysis. The group is founded in the Computer Science Department at Texas Tech University August 2009. | ||
Center for the Science and Engineering of Cyber Security
| Contact Information | ||
|---|---|---|
 |
Primary Investigator: |
Phone: 806.742.3527 Website |
| Description | ||
| The objective of the center is to study principles of Cyber Security, how to measure, assess and enforce security in legacy systems, and how to build new systems that are secured. The science of Cyber Security is addressed by exploiting formal techniques that are theoretically grounded to express, model and reason about security accurately. The engineering of cyber security utilizes empirical techniques that aim to create holistic and systematic approaches to development of automated tools for cyber security system analysis. The center also examines cyber security issues facing the general public such as security in business enterprises, health care and national infrastructures. | ||
Data-Intensive Scalable Computing Laboratory (DISCL)
| Contact Information | ||
|---|---|---|
 |
Primary Investigator: Dr. Yong Chen Yong.Chen@ttu.edu |
Phone: 806.742.3519 Website |
| Description | ||
| The Data-Intensive Scalable Computing Laboratory (DISCL) at the Texas Tech University has broad research interests in parallel and distributed computing, high-performance computing, Cloud computing, computer architectures and systems software with a focus on building scalable computing systems for data-intensive applications in high-performance scientific computing/high-end enterprise computing. | ||
KR Lab
| Contact Information | ||
|---|---|---|
 |
Primary Investigator: Dr. Michael Gelfond Michael.Gelfond@ttu.edu |
Phone: 806.742.3527 Website |
| Description | ||
| This research group is a reincarnation of the El Paso Knowledge Representation Group, which found a new home at Texas Tech University in Lubbock. Our main goal is to better understand how to build software components of agents capable of reasoning and acting in changing environment. We work under the basic assumption that to exhibit intelligent behavior the agent should have a mathematical model of its environment and its own capabilities and goals. At this stage we are especially interested in "purely logical agents," i.e. agents whose underlying world model is defined by a theory in some logical language. Our current goal is to investigate if A-Prolog (the language of logic programs under the answer sets semantics) can be successfully used for this purpose. | ||
Research Experiences for Undergraduates (REU)
| Contact Information | ||
|---|---|---|
 |
Primary Investigator: Dr. Susan D. Urban susan.urban@ttu.edu |
Phone: 806.742.2484 Website |
| Description | ||
| The development of software and service oriented systems in a wide variety of application domains can serve as a broad spectrum of means for improving software development. The main research projects address: construction of self-managed embedded software systems using software specifications; dynamic techniques for service composition and recovery in a service-oriented environment; software development for autonomous robots and agents; software systems research for adaptive event stream processing; and language definition and tool development for software specification. The undergraduate student research topics include language development, algorithm development, software tool design and implementation, application development in a variety of application domains to demonstrate applicability, and measurement of the improvements. | ||
Stochastic Estimation and Autonomous Robotics Laboratory (SEARL)
| Contact Information | ||
|---|---|---|
 |
Primary Investigator: Dr. Mohan Sridharan Mohan.Sridharan@ttu.edu |
Phone: 806.742.3527 Website |
| Description | ||
| The Stochastic Estimation & Autonomous Robotics Laboratory's (SEARL) primary research interests include stochastic machine learning, probabilistic planning, computer vision and multiagent collaboration as applied to autonomous mobile robots. We seek to develop algorithms that enable robots to operate autonomously and collaborate robustly with non-expert human participants in complex real-world domains. Furthermore, we are interested in developing stochastic machine learning algorithms to address challenges in real-world application domains characterized by a large amount of data and a significant amount of uncertainty. | ||
TTU Wireless Mobile Networking Laboratory (T2WISTOR)
| Contact Information | ||
|---|---|---|
 |
Primary Investigator: Dr. Sunho Lim sunho.lim@ttu.edu |
Phone: 806.742.3527 Website |
| Description | ||
| In the TTU Wireless Mobile Networking Laboratory (T2WISTOR), we are conducting research in the areas of Green Networkings (Energy Harvesting/Routing/MAC), Mobile Data Management (Data Dissemination/Query/Caching), Embedded Networked Systems (Ad Hoc/Sensor/Vehicular), and Mobile Software (Google Android). |
||