Software Engineering

Christoph Csallner
Dr. Csallner is an expert in software engineering and is working on software engineering problems, such as how to find software bugs automatically or how to automatically infer program invariants. He is an author of several research papers, for which he has received two ACM SIGSOFT Distinguished Paper Awards, one at ISSTA 2006 (the ACM SIGSOFT International Symposium on Software Testing and Analysis) and another one at ASE 2007 (the IEEE/ACM International Conference on Automated Software Engineering). He is a student of Yannis Smaragdakis and has also worked on software engineering issues for Google and Microsoft Research.

David Kung
Professor David Kung received his Ph.D. and his M.S. in computer science from the Norwegian Institute of Technology, Trondheim, Norway. He received his B.S. in mathematics from Beijing University, China. His research interests include object-oriented software testing, agent-oriented software engineering, and design patterns.

Jeff (Yu) Lei
Associate Professor Jeff Lei received his Ph.D. from North Carolina State University in 2002, his M.S. from the Chinese Academy of Sciences in 1996 and his B.S. from Wuhan University in 1993. He was a member of the technical staff in Fujitsu Network Communications Inc. from 1998 to 2001. His research interests include software engineering, distributed systems, and computer networks.

Nathaniel Nystrom
Nathaniel Nystrom is an Assistant Professor of Computer Science at University of Texas, Arlington. His research interests include programming languages, compilers, and tools for building safe, correct, efficient, and extensible systems. Prior to joining the faculty at UTA, Nate was postdoctoral researcher at IBM T.J. Watson Research Center in Hawthorne, NY. He received his PhD in Computer Science from Cornell University in 2007, and BS and MS degrees in Computer Science from Purdue University in 1995 and 1998, respectively.

Tom Rethard
Mr. Rethard returned to CSE@UTA in 1999 to continue work on a PhD full time. He has thirty years experience in IT and software project management in the mainframe, mid-range and micro operating environments. His experience covers the full software life cycle of both commercial and in-house software, from requirements analysis through ongoing support and enhancement.

He has worked in a number of industries, including: commercial software; semiconductor/microprocessor manufacture; education; consulting; airline; banking; financial services; medical practice management; retailing; IT/DP; and military. He has managed or consulted on projects in the MVS, Windows, OS/400, VM/370 and UNIX environments, serving in positions from system architect and principle designer to project manager.

Mr. Rethard first taught for CSE@UTA in 1975, when he was a teaching assistant, then later in 1987 as adjunct faculty, and finally, since 1999 as an assistant instructor and lecturer. He was the original Manager of Computer Systems at the Automation and Robotics Research Institute (UTA Fort Worth Campus), where he implemented one of the first twisted-pair Ethernets in the state of Texas.

He obtained a BA from Northwestern State University of Louisiana in 1970 and an MSCS from UTA in 1978. He is also a Vietnam Veteran, having served as a lieutenant with C Battery, 7/15th Field Artillery in the Central Highlands of Vietnam in 1971.

Arthur Reyes
Senior Lecturer Arthur Reyes received his Ph.D. in information and computer science from University of California at Irvine in 1999. He received his B.S. in Aerospace Engineering from Polytechnic University in 1987. Dr. Reyes' experience includes working for Northrop Corp. from 1987 to 1992 on the B-2 stealth Bomber aircrew training services.