Lan Lin

Lan Lin

Assistant Professor of Computer Science

Room:Rb 446


Education

  • Ph.D., Computer Science, University of Tennessee, 2006. 
  • M.S., Computer Science, University of British Columbia, 2001.

Research Interests

  • Software engineering
  • Rigorous software specification
  • Automated model-based statistical testing
  • Automated verification
  • Formal methods
  • Theoretical computer science
  • Combinatorics

Related Link

Personal Web Site


Course Schedule
Course No. Section Times Days Location
Software Engineering 495 1 0930 - 1045 T R RB, room 122
Software Engineering 495 2 1230 - 1345 T R RB, room 122
Software Engineering 495 3 1400 - 1515 T R RB, room 122