Dr. Jeff Y. Lei Jeff Y. Lei
Associate Professor
Department of Computer Science and Engineering
The University of Texas at Arlington
Phone: 817 272 2341
Fax: 817 272 3784
Email: ylei@cse.uta.edu

Research Area: Software Engineering, Formal Methods

Research Lab: Software Engineering Research Center

Office: Nedderman Hall, Room 340

Office Hours (Spring 2009): 1:00pm - 2:25pm, Mon. & Wed.

Teaching (Spring 2009):

Representative Publications: (For more publications, click here.)