• Sean Banerjee (CS PhD student).
• Zack Hutzell (CS MS student).
• Xu Geng (CpE PhD student).
• Nathan Kalka (CS PhD candidate, research associate).
• Huihua Lu (CpE PhD student).
• Tomi Prifti (CS MS student).
• Mayra Sacanamboy (CS PhD student).

PhD

• Yue Jiang, PhD 2009, currently with WVU, Yue's Dissertation: Incremental development and cost-based evaluation of software fault prediction models.
• Nick Bartlow, PhD 2009, currently with Booze Allan Hamilton, Nick's Dissertation: Establishing the digital chain of evidence in biometric systems.
• David Owen, PhD 2007, currently with Messiah University, Dave's Dissertation:Combining Complementary Formal Verification Strategies to Improve Performance and Accuracy.
• Yan Ma , PhD CS 2007, currently with Bristol Myers Squibb, Yan's Dissertation:An Empirical Investigation of Tree Ensembles in Biometrics and Bioinformatics Research
• Dejan Desovski , PhD CS 2006, currently with Google, Dejan's Dissertation:A Component-based Approach to Verification and Validation of Formal Software Models
• Sampath Yerramalla , PhD EE 2005, currently with Sensor Research and Development Corporation, Sampath's Dissertation: Stability Monitoring and Analysis of Online Learning Neural Networks.
• Cristopher Gregory , PhD EE 2005, currently a research associate, University of Wisconsin, Milwaukee, Chris's Dissertation: The Use of Charge-charge Correlation in Impedance Measurements: A Test of the EPET Method.
• Yan Liu , PhD CS 2005, currently with Motorola Labs, Yan's Dissertation: Validating a Neural Network - Based On Line Adaptive System.
• Lan Guo , PhD CS 2004, currently Assistant Research Professor, WVU Cancer Center, Lan's Dissertation: Software Quality and Reliability Prediction using Dempster-Shafer Theory.

• Trevor Kemp, MSCS 2009, Trevor's Problem Report: Automated detection of duplicate free-form English bug reports.
• Mayra Sacanamboy, MSCS 2009, Mayra's Thesis: Risk Analysis in Biometric - Based Border Inspection Systems.
• Shruti Rathnagiriswaran, MSEE 2008, Shruti's Thesis:Identifying Genomic Signatures for Predicting Breast Cancer Outcomes
• Syvale Lee, MSEE 2007, Syvale's Thesis: Quality of Iris Segmentation as a Predictor of Verification Performance
• Qi Cheng, MSEE 2007, Qi's Thesis: User Habituation in Keystroke Dynamics Based Security System
• Dustin Geletko, MSEE 2007, Dustin's Thesis: A Decentralized Cooperative Control Framework for Multiple UAVs
• Paola Bracchi, MSCS 2006, Paola's Thesis: A Methodology for Software Performance Modeling and its Application to a Border Inspection System
• Nevena Samoska, MSCS 2006, Nevena's Thesis: Evaluation and Performance Prediction of Multimodal Biometric Systems
• Chad Meador, MSCS 2006, Chad's Problem Report: Database Anonymization Services
• Vijai Gandikota, MSCS 2006, currently with IBM, Dallas, TX, Vijai's Thesis: Modeling Operating System Chrash Behavior through Multifractal Analysis, Long Range Dependence and Mining of Memory Usage Patterns.
• Denis Speicher, MSEE 2006, currently with Raytheon, Dallas, TX, Denis' problem Report: Vulnerability Analysis of Biometric Systems using Attack Trees.
• Eric Sinsel, MSCS 2005,Eric's Thesis: Ensemble Learning for Ranking Interesting Attributes.
• Gaurav Gupta, MSEE 2005, Gaurav's Thesis: Models and Protocols for Evaluation of Fingerprint Sensors.
• Petar Popic , MSCS 2005, Petar's Thesis: The Impact of Error Propagation on Software Reliability Analysis.
• Jingxin Wang , MSCS 2005, currently Assistant Prof., Department of Forestry, WVU, Jingxin's Thesis: An Integrated Computer-Based Timber Cruising System for Appalachian Hardwoods.
• Jesse Twardus , MSCS 2005, Jesse's Thesis: The Use Of Heuristics In Identifying Self-Propagating Malicious Mobile Code.
• Nick Bartlow , MSCS 2005, currently a PhD student, WVU, Nick's Thesis: Username and Password Verification through Keystroke Dynamics.
• Travis Rosiek , MSCS 2005, currently with US DoD, Travis' Thesis: Fingerprint Testing Protocols for Optical Sensors.
• David Shaver , MSCS 2005, currently with US DoD, Dave's Thesis: An Attack Resistant Approach to Vulnerability Scanner Design.
• Patrick Myers , MSCS 2005, currently with US DoD, Patrick's problem report: The Nentice Packet Filter Module for Firewall Builder.
• Cihan Varol , MSCS 2005, currently a software engineer with the University of Arkansas, Little Rock, Cihan's problem report: Error Propagation Metrics from XMI.
• Yue Jiang, MSCS 2004, currently a PhD student, WVU. Yue's Thesis: A General Method for Genome Search and Discovery.
• Andres Orrego MSCS 2004, currently with TMC Technologies, Fairmont, WV. Andres' Thesis: SAWTOOTH: Learning From Huge Amounts of Data.
• Martin Mladenovski , MSCS 2004, currently with Microsoft, Redmond, WA. Martin's Thesis: Information Fusion Schemes for Real Time Risk Assessment in Adaptive Control Systems.
• Srinivathsan Raman , MSEE 2004, currently with Boeing, Houston, TX. Problem report title: Context Insensitive Messaging System using Integrity amd ARINC 653
• Vivek Srinivasan , MSCS 2003. Problem report title: Validating the Reliability Analysis of Component Based Systems
• Karthik Mahadevan , MSCS 2003. Karthik's Thesis: Estimating Reliability Impact of Biometric Devices in Large Scale Applications.
• Hasan IAA Mohammad , MSEE 2003. Problem report title: A Novel Optimized Fuzzy Logic Controlling Algorithm for Fuel Cell Power Inverter Application.
• Guangzheng Hu , MSCS 2003. Problem report title: R/S Analysis of Memory Usage in Operating Systems.
• William (Chip) Smith , MSCS 2002, currently with Titan, Fairmont, WV. Chip's Thesis: Early Component-Based Reliability Assessment using UML Software Models.
• David Owen , MSCS 2002, currently a PhD student. Dave's Thesis: Random Search of AND-OR Graphs Representing Finite-State Models.
• Jonathan Crowell , MSCS 2001, Jon's Thesis: Multifractal Analysis of Memory Usage Patterns.
• Sentil Selliah , MSCS 2001, Sentil's Thesis:Mobile Agent Based Attack Resistant Architecture for Distributed Intrusion Detection System.
• Dejan Desovski , MSCS 2001, Dejan's Thesis: Using Virtual Reality for Requirements Validation.
• Marcus Fisher , MSCS 2001, currently with NASA IV&V, Fairmont, WV. Problem report title: An Extensible Environment for Conducting Code Inspections.
• Harjinder Sandhu , MSCS 2001, Harjinder's Thesis: Relational Specification as a Testing Oracle.
• Tim Boles, MSCS 2001, Tim's Thesis: Message Sequence Chart Specifications with Cross Verification.
• Sundar Jayashekar , MSCS 2000, Sundar's Thesis: Three Dimensional Image Reconstruction of Skeletal Tissue from Computed Tomography.
• Sherry Kratsas , MSEE 2000, Sherry's Thesis: Parallelization of ECG Template-Based Abnormality Detection.
• Diwakar Chakravarthy , MSCS 2000, Diwakar's Thesis: Assessment of A Space Shuttle Trajectory Evaluation System (DOLILU II).
• Brian Taylor , MSEE '99, currently with the Institute for Scientific Research, Inc., Fairmont, WV. Brian's Thesis: Regressive Model Approach to the Generation of Test Trajectories.
• Hari Kiran G. Boddupalli , MSEE '99, currently with Motorola, Chicago, IL. Hari's Thesis: Tissue Thickness Tool for Craniofacial Reconstruction.
• Weiling Zheng , MSCS '99, currently with SAP Labs, Palo Alto, CA