Faraz Hussain

Education

I am a third year graduate student in the Computer Science Department at Iowa State University. My undergraduate degree is from the Birla Institute of Technology and Science, Pilani (India).

Research

I'm interested in Programming Languages and Formal Methods, especially the specification and verification of programs. My advisor is Prof. Gary Leavens and I'm currently part of the Java Modeling Group.

Resume

Please email me for my CV.

TA Information

• Spring 2008: Com S 227 -- Introduction to Object Oriented Programming taught by Brian Patterson, Guang Song & Jim Lathrop.
• Office hours: Friday 9am-1pm in 0145 Pearson Hall.
• Lab Hours:
  • Monday 12:10pm-2pm in Pearson 0108 (Section 12)
  • Monday 02:10pm-4pm in Pearson 0108 (Section 8)

• Fall 2007: Com S 207 - Programming I
  
• Spring 2007: Com S 229 - Advanced Programming Techniques
  
• Fall 2006: Com S 401 - Projects in Computing and Business Applications
  
• Summer 2006: Com S 207 - Programming I
  
• Spring 2006: Com S 227 - Introduction to Object-oriented Programming
  
• Fall 2005: Com S 227 - Introduction to Object-oriented Programming
  

Miscellaneous

From May 2006 to April 2007, I was a member of the Computer Science Department's Graduate Advisory Committe and also a Graduate Professional Student Senate (GPSS) senator, representing the students of the Computer Science Department at GPSS.

Contact Information

• Address: 115-C University Village, Ames, IA 50010, USA.
• Phone: +1.(515).520.7507
• Email: fhussain [at] cs [dot] iastate [dot] edu

Last Updated: Thursday, January 20 2008