David Garlan is a Professor of Computer Science and Director of Software Engineering Professional Programs in the School of computer Science at Carnegie Mellon University. He received his Ph.D. from Carnegie Mellon in 1987. His interests include software architecture, self-adaptive systems, formal methods, and cyber-physical systems.
He is considered to be one of the founders of the field of software architecture, and, in particular, formal representation and analysis of architectural designs.


David Barkai is an HPC computational architect for Intel Corporation, involved in interfacing between the HPC users' community and Intel. He also held a number of positions within Intel research labs involving peer-to-peer and investigations of the impact of emerging technologies on society. Before joining Intel in 1996, David worked for over 20 years in the field of scientific and engineering supercomputing for Control Data Corporation, Floating Point Systems, Cray Research Inc., Supercomputer Systems Inc., and NASA Ames Research Center.


























