Yaping 2007
Yaping Jing  

 Graduate Student of Computer Science
Iowa State University, Ames, IA 50011 - 1040 
  
Office: 115 Atanasoff Hall
Email: yaping@cs.iastate.edu
Histories make men wise; poets witty; the mathematics subtile;
natural philosophy deep; moral grave; logic and rhetoric able to contend.
Abeunt studia in mores. Nay, there is no stond or impediment in the wit, but may be wrought out by fit studies; like as diseases of the body, may have appropriate exercises.

 -- "Of Studies" by Francis Bacon

     
     Education
 
~Present: PhD Student. Advisor: Andrew Miner
M.S. May'05 Computer Science, Iowa State University, Ames, IA
B.S. May'02 Computer Science, Iowa State University, Ames, IA
 

         
Research Interests
 


* Stochastic Modeling; Simulation
* Compact Data Structure; Binary and multi-valued Decision Diagram (BDD, MDD)
* Probabilistic Model Checking
* Program Analysis for System Reliability
* Program Specification and Verification
* Tool Development
* Bioinformatics, Bio-medical informatics
 

Internship

Software Unit
Division Of Engineering
Mayo Foundation, Rochester, MN
(Summer'06 & '07)


[Course Work]             [Curriculum Vita]            [Book Marks]             [Schedule]            [Misc.]            China the beautiful