reSEAT yourself in our world of research...
Current Projects
Past Projects
- Fuselet Workflow Inspection and Feedback, Air Force Research Labs, 2006-2007
- Monitoring and Correlating Run-Time Activities of Application in FreeBSD, STTR Subcontract to Sentar, Inc., through Air Force Research Labs, 2006-2007
- Multi-Fusion Gaming, subcontract to Sentar, Inc., through Air Force Research Labs, 2005-2007
- Center of Excellence in IT and Telecommunications, Dept of Education, 2003-2004
- CASI Collaborative Integration Project (Phases I - IV), Tinker Air Force Base, 2002-2004
- Dynamic Interoperability Analysis, Air Force Office of Scientific Research, 2000-2003
- Integration Architecture Theory, NSF, 2000-2003
- A Formal Framework for Architectural and Integration Styles, Air Force Office of Scientific Research, 1998-2001
- Experimentation Platform for Detecting and Resolving Interoperability Problems, NSF/DARPA Initiative on Evolutionary Design of Complex Systems, 1997-1998
- Advanced Methodological Issues for Verifying Integrated Heterogeneous Systems, DARPA Computer Education and Training Initiative, 1995-1997, with Sandip Sen
- Verification and Validation Quick Planner, subcontract to Sentar, Inc., DARPA Small Business Innovative Research Grant, 1995-1997
- Application of Artificial Intelligence to Reservoir Characterization: An Interdisciplinary Approach, Dept of Energy, 1993-1997, with Mohan Kelkar, Sujeet Shenoi, Dennis Kerr, and Leslie Thompson
- Characterizing Critical Specifications, TU Faculty Summer Fellowship Program, 1993