Home Publications Presentations Class Projects   Useful Links    Research กก

                        

      Hui Wu

        PhD Candidate

        Academic Advisor: Dr. Jeff Gray

        Software Composition and Modeling Laboratory

        Department of Computer and Information Sciences

        The University of Alabama at Birmingham

FALL TERM 2002-2003  

CS 792 Special Topics in Reflection and  Adaptation
 
CS 724 Topics in Formal Specification Modeling of Computer Assisted Resuscitation Algorithm in UML and VDM++ and translating the informal specifications into formal specifications.
  
CS 750 Automata Theory 
 
 

SPRING TERM 2002-2003  

CS 720 Software Development and Engineering Implementing a file system by using numerous design patterns: Visitor, Composite, Command, Adaptor etc.
  
CS 722 Compiler Design Implementing a small compiler by specifying its syntax and semantics in Two Level Grammar.
  
CS 730 Computer System I
 
 

SUMMER TERM 2002-2003  

CS 728 Software Development Seminar Implementing the E-R Modeler: A Database Modeling Toolkit Plug-in for Eclipse

  
CS 731 Computer System II Using the Parallel Virtual Machine software package and POSIX Thread methods to solve the Monte Carlo problem in 32 processors.
  
 

FALL TERM 2003-2004  

CS 710 Database System

Implementing a database system called Cyberbook on Line Bookseller System by using SQL server and Java on the Unix Platform.

  
CS 770 Computer Graphics Drawing a rotated soccer ball field with a earth sphere hanging by using OpenGL.
  
CS 780 Numerical Computation Implementing Sturm Sequence.
  
 

SPRING TERM 2003-2004  

CS 760 Artificial Intelligence Implementing a learning decision tree by Prolog.
  
CS 793 Domain Specific Language Design Implementing a Robot DSL by using Domain Maintenance System to transform the Robot DSL to target executable Robot. java
CS 741 Bioinformatics II Implement the following methods for gene filtering: Fold-ratio test, Unusual ratio test,  t-test. Implement to cluster a given set of related nucleotide sequences into distinct subfamilies in Perl.