Welcome!
He Ru
I am a student at Iowa State University. I am in Ph.D. program at Department Of Computer Science.
You can contact me by the email rhe@iastate.edu.
★ 08/2004 ~ Present Iowa State University (ISU), Ames, IA, USA
Program: Ph.D. in Computer Science
★ 08/2003 ~ 05/2004 George Mason University (GMU), Fairfax, VA, USA
Program: Ph.D. in Information Technology
★ 08/2001 ~ 05/2003 George Mason University (GMU), Fairfax, VA, USA
Major: Software Engineering (SWE) Degree: M.S
★ 09/1995 ~ 07/1999 Fudan University, Shanghai, P.R.China
Major: Management Information System (MIS) Degree: B.S.
★ Research Interests:
Software Verification, Formal Methods,
Model Checking, Program Analysis
★ Major Professor:
Samik Basu
★ Research Summary:
My research work is on Software Verification & Formal methods, a sub-area in software engineering.
Specifically, my research is to use mathematical methods (mostly discrete math) to automatically prove whether a software
program written by the programmer is correct or not. If the program is not correct, the reason why the program is not
correct should be given back to the programmer in order to allow the programmer to correct the program he has written.
★ 11/2002 “Web Application Model”, Supplementary Proceedings of The Thirteenth
International Symposium on Software Reliability Engineering (ISSRE)
★ 08/2005 ~ Present Teaching Assistant -- Com S Department, Iowa State University, Ames, IA, USA
w TA for Com S207, Programming I
Com S227, Introduction to Object-Oriented Programming
Com S342, Programming Languages
Com S541, Programming Languages
★ 08/2004 ~ 08/2005 Research Assistant -- Com S Department, Iowa State University
w Researched on the applications of Formal methods
(software verification and counterexample analysis)
★ 08/2002 ~ 05/2004 Teaching Assistant -- ISE Department, George Mason University, Fairfax, VA, USA
w
TA for INFS501, Discrete MathSWE623, Formal Methods/Models
SWE642, Software Engineering for the World Wide Web
★ 05/2002 ~ 08/2002 Research Assistant -- ISE Department, George Mason University
w Developed a compiler for automatically generating Web Application Model
★ 08/2001 ~ 05/2002 Teaching Assistant -- ISE Department, George Mason University
w TA for SWE642, Software Engineering for the World Wide Web
★ 01/2001 ~ 05/2001 Programmer -- IT Department, Manulife-Sinochem Life Insurance Company, Shanghai, P.R. China
★ 07/1999 ~ 12/2000 System Analyst -- IT Department, SAIC-Volkswagen Sales Corporation, Shanghai, P.R. China
★ 09/1998 ~ 04/1999 Consultant -- Fudan Business Consulting Company
★
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