Teaching
Research
My primary research focus is on software engineering, particularly as
applied to software development and quality assurance of biomedical systems.
Current research projects and interests include:
- Model based software testing
Due to the exhaustive nature of model checking, it may encounter the state explosion problem, complementary software testing methods become indispensable. Therefore, an integration approach combing model checking and software testing techniques is chosen to ensure the quality of biomedical systems. Systems are first modeled using a formal language such as Petri nets, and system properties are defined using temporal logic. The systems are tested using software testing, but test cases are generated from the system models using model checking techniques. A uniform approach will be provided to test systems models in different phases (such as requirements specifications, and design models). The test cases generated in each phase can be executed directly. An approach will be developed for reusing test cases in high-level models to test the implementations. Through reusing test cases, consistency between models in different phases will be rigorously tested.
- Software development for image-based celluar analysis
The basic idea of this project is to utilize digital image device to automatically analyze blood cells on slide smears of blood specimens. Once a blood specimen comes in, a slide smear is prepared. A digital image device such as scanner or digital camera is used to acquire digitalized images. Then the digital images are processed automatically by analysis software. The project includes three parts: 1. The algorithms for automatically classifying and characterizing White Blood Cells (WBC) and Red Blood Cells (RBC). 2. A software system for displaying, manipulating, storing, and managing digital images and other information. 3. A quality assurance system to trace the results at each individual cell level.
Education
Work Experience
- Assistant Professor, East Carolina University , 2007-now
- Senior Engineer, Johnson & Johnson , 2006-2007
Project management, system development and product support of immunohematology systems.
- Software Engineer, Beckman Coulter Inc., 2000-2006
Software and algorithm development for flow cytometry, image-based cytometry and hematology systems.
Links
- My Wife (HUANG Chun)
- ICNS 2008
- Selected Reading List (sine March 2006)
Long Walk to Freedom by Nelson Mandela
The Age of Turbulence: Adventures in a New World by Alan Greenspan
The World Is Flat: A Brief History of the Twenty-first Century by Thomas L. Friedman
My Life by Bill Clinton
In Search of Memory: The Emergence of a New Science of Mind by Eric R. Kandel
Guns, Germs, and Steel: The Fates of Human Societies by Jared Diamond
The Clash of Civilizations and the Remaking of World Order by Samuel P. Huntington
Winning by Jack Welch and Suzy Welch
Wedding of the Waters: The Erie Canal and the Making of a Great Nation by Peter L. Bernstein
|
