Center for ARiSE Faculty
Dr. Sarfraz Khurshid is an Associate Professor of Electrical and Computer Engineering at The University of Texas at Austin.
He completed his PhD in Computer Science at MIT. He received a BSc in Mathematics and Computer Science from Imperial College (London), and read Part III of the Mathematical Tripos at Trinity College Cambridge.
- Software Testing
- Specification Languages
- Code Con
Contact: email, POB 5.120
Dr. Vijay K. Garg is a Professor in the Department of Electrical & Computer Engineering and Department of Computer Sciences at The University of Texas at Austin, and the Director of the Parallel and Distributed Systems Laboratory.
He received his Bachleor’s degree from the Indian Institute of Technology at Kanpur in 1984 and M.S. and Ph.D. from the University of California at Berkeley in 1985 and 1988, respectively. Prof. Garg is a pioneer in the area of distributed computing and discrete event systems. His main contributions are in the areas of global predicate detection, distributed debugging, distributed simulation, fault-tolerance, distributed algorithms and supervisory control of discrete event systems. Prof. Garg is the author of the booksConcurrent and Distributed Computing in Java (Wiley & Sons, 2004),Elements of Distributed Computing (Wiley & Sons, 2002), Principles of Distributed Systems (Kluwer, 1996) and a co-author of the book Modeling and Control of Logical Discrete Event Systems (Kluwer, 1995). Prof. Garg is an IEEE Fellow.
Prof. Garg’s current research interests are in the areas of distributed systems, discrete event systems and software engineering. He has published more than 130 refereed research articles in these areas. His research has been supported by NSF, IBM, Texas Advanced Research Program, TRW, and Compaq among others. He is a program committee member of several international conferences in the areas of distributed computing, formal methods and verification.
Contact: email, POB 5.436
Dr. Christine Julien is an Associate Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin where she is part of the Software Engineering Group.
She received the B.S. in Computer Science and Biology in 2000 from Washington University in Saint Louis. She continued at Washington University for the M.S. and D.Sc. degrees in Computer Science in 2003 and 2004, respectively. In 2009, Dr. Julien was awarded the NSF CAREER award.
Dr. Julien’s research is in the general intersection of software engineering with dynamic, resource constrained networks. She focuses on programming abstractions, middleware, models, and tools that ease the programming burden in these complex, dynamic, and unpredictable environments. Please see the webpage of my research group, read some of my papers, or contact me directly.
Contact: email, POB 5.140
Dr. Dewayne Perry is a Emeritus Professor in the Department of Electrical & Computer Engineering at The University of Texas at Austin.
The first half of Dewayne Perry’s computing career was spent as a professional programmer. The next 16 years were spent doing software engineering research at Bell Laboratories in Murray Hill NJ. His appointment at UT Austin began January 2000. He is on the advisory board for Wiley’s Software Process: Improvement & Practice; a former associate editor of IEEE Transactions on Software Engineering; a member of ACM SIGSOFT and IEEE Computer Society; associate editor of ACM Transactions on Embedded Computing Systems; and has served as organizing chair, program chair and program committee member on the premiere software engineering conferences.
As a Research Software Engineer and Architect, his goals are to establish principles about, and to improve practice for, building and evolving large-scale software and process systems. In his theoretical work, he looks for fundamental mechanisms such as the role of feedback and control in evolution processes and the role of architecture in system design, construction and evolution. In his empirical work, he primarily uses the results to prune his theoretical work, but also to create empirical methods when needed to support that work. An effect of his many interactions with software developments is the transfer of practical insights about their products and processes.
- Software Architecture
- Software Engineering Process, Analyses, and Tools
- Empirical Studies in Software Engineering