Welcome!

He Ru

 

 

I am a Ph.D. student in Computer Science and Statistics at Iowa State University.

You can contact me by the email rhe AT iastate DOT edu.

 

Education

★ Ph.D. in Computer Science & Statistics  (08/2004 ~Present)

       Iowa State University (ISU), Ames, IA 

★ M.S. in Software Engineering  (08/2001 ~ 05/2003)  

       George Mason University (GMU), Fairfax, VA

★ B.S. in Management Information System  (09/1995 ~ 07/1999) 

       Fudan University, Shanghai, P.R.China     

 

Research Areas

★ Machine Learning, Bayesian Networks, Data Mining

★ Software Engineering, Probabilistic Model Checking, Formal Verification

★ Statistical Computing

 

Work Experience

★ Research Assistant -- Com S Dept., Iowa State University  (08/2004 ~ Present) 

       Developed POSTER, the first software tool to compute the exact posterior probabilities of

          various structural features in Bayesian Networks       

      Developed a software tool to model check unbounded until properties by statistical methods

★ Teaching Assistant -- Com S & Stat Dept., Iowa State University  (08/2005 ~ 12/2008)                

       TA for Com S 207 (Programming I),   Com S 227 (Introduction to Object-oriented Programming),

                 Com S 330 (Discrete Math),    Com S 342 (Principles of Programming Languages),

                 Com S 512 (Formal Methods),  Com S 541 (Programming Languages),

                 Stat 579 (Introduction to Statistical Computing)

★ Teaching Assistant -- ISE Dept., George Mason University  (08/2001 ~ 05/2004)  

       TA for INFS 501 (Discrete Math),    SWE 623 (Formal Methods/Models),

                SWE 642 (Software Engineering for the World Wide Web) 

★ Research Assistant -- ISE Dept., George Mason University  (05/2002 ~ 08/2002) 

    Developed a compiler for automatically generating Web Application Model (By Lex & Yacc)

★ Programmer -- Manulife-Sinochem Life Insurance Corp., Shanghai, China (01/2001 ~ 05/2001)                    

    Enhanced Manulife Insurance Information System           

★ Programmer -- SAIC-Volkswagen Sales Corp., Shanghai, China  (07/1999 ~ 12/2000)                   

    Maintained SAIC-Volkswagen Automobile Information System

    Developed Automobile Sales & Inventory Sub System

★ Consultant (Part-time) -- Fudan Business Consulting Company  (09/1998 ~ 01/1999)  

                                          

                                     

Publication

★ Ru He, Web Application Model, Supplementary Proceedings of International Symposium on

  Software Reliability Engineering (ISSRE), 2002

★ Jin Tian and Ru He, Computing Posterior Probabilities of Structural Features in Bayesian

  Networks, Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI), 2009

★ Samik Basu, Arka Ghosh and Ru He, Approximate Model Checking of PCTL involving

  Unbounded Path Properties, Proceedings of International Conference on Formal Engineering

  Methods (ICFEM), 2009                                                    

                                          

                                       

Words

★ Do not give up.

The additional words about redundancy is linked as follows:

Vigorous writing is concise. A sentence should contain no unnecessary words, a paragraph no unnecessary sentences,

for the same reason that a drawing should have no unnecessary lines and a machine no unnecessary parts.

--William Strunk, Jr., 1918