- Software repository analysis
- needed skills: languages, compilers, and databases
- Design of services using service-oriented modeling
- needed skills: software modeling and analysis
- Data analysis via graph queries
- needed skills: discrete math, languages, and databases.
- Security policy analysis, and translation
- needed skills: discrete math, languages, compilers, and Python
- Security frameworks for programming languages
- needed skills: discrete math, languages, compilers, security
- Analysis of program dependencies, consistency, concurrency, and security
- needed skills: languages, compilers, algorithms, C
RAship is available for most projects but only to highly-qualified students.
2008-2009
- Design of games for teaching computer science
- needed skills: languages, data structures, algorithms
- Automated modeling and analysis of a national electronic health record policy
- needed skills: languages, algorithms, and Python
2007-2008
- Optimization of game programs
- needed skills: languages, algorithms, and Python
- Object-oriented modeling and programming of a national electronic health records policy
- needed skills: discrete math, object-oriented design, and Python
- Implementing a graph query language
- needed skills: discrete math, languages, compilers, and Python
- Nuclear power plant digital feedwater control system modeling and simulation
- needed skills: C++, C, and assembly
2006-2007
- Data translation between relational and object-oriented databases
- needed skills: languages and Python
- Simulator for a nuclear power plant digital feedwater control system
- needed skills: C++, Java, and UML
- Object-oriented specification of a national electronic health records policy
- needed skills: discrete math, object-oriented design, and Python
- A study of security frameworks and access control policies
- needed skills: security, languages, and Internet programming
2005-2006
- A system for planning clinical trials in drug development programs
- needed skills: Python and Excel
- Interface generation for core role-based access control
- needed skills: Python and Java
- Overview for modeling a nuclear power plant digital feedwater control system
- needed skills: UML and C++
- Enhancements of an interactive web query tool
- needed skills: Java, HTML, security, and Internet programming
2004-2005
- Schema-based data acquisition for web Applications
- need to know compilers, algorithms, XML, and internet programming well
- A constraint-based random relation generator
- need to know languages, algorithms, python, and XML well
- Enhanced interface and implementation for a web link traverser
- need to know languages, algorithms, GUI, Java, HTML, and Internet programming well
- Security issues in an interactive web query tool
- need to know Java, HTML, security, and Internet programming well
2003-2004
- Building graph models of C programs
- need to know languages and compilers well
- Efficient algorithms and complexity analysis for implementing relational queries
- need to know discrete math, algorithms, and SQL well
- Enhanced methods and techniques for interactive web queries
- need to know Java, HTML, and Internet programming well
- Building and navigating web graphs
- need to know languages, HTML, and algorithms well
2002-2003
- Debugging performance and transforming XML documents for a molecular viewer
- need to know Java, XML, and parsing well
- An assistant for interactive web queries
- need to know Java, HTML, and Internet programming well
- An XML database for intrusion detection
- need to know Java, XML, and database well
- Survey of XML tools
- need to know XML and databases well
2001-2002
- Portable collaborative bibliography repository
- need to know Java, databases, parsing, GUI, and Internet programming well
- Analysis of performance and precision for optimizing aggregate array computations in loops
- need to know languages, compilers, and algorithms well
- Motion controller scripting language
- need to know C, lex and yacc (or flex and bison) well
- Performance of a molecular viewer parsing XML documents
- need to know Java, XML, and parsing well
- Visual class machine language and code generation
- need to know languages, compilers, Java, and GUI well