Luca Carloni is an Associate Professor of Computer Science at Columbia University in the City of New York, where he leads the System-Level Design Group. He holds a Laurea Degree Summa cum Laude in Electronics Engineering from the University of Bologna, Italy, a Master of Science in Engineering from the University of California at Berkeley, and a Ph.D. in Electrical Engineering and Computer Sciences from the University of California at Berkeley.
At Berkeley Luca was the 2002 recipient of the Demetri Angelakos Memorial Achievement Award in recognition of altruistic attitude towards fellow graduate students. Luca received the Faculty Early Career Development (CAREER) Award from the National Science Foundation in 2006, was selected as an Alfred P. Sloan Research Fellow in 2008, received the ONR Young Investigator Award in 2010 and the IEEE CEDA Early Career Award in 2012.
His research interests include methodologies and tools for multi-core system-on-chip platforms with emphasis on system-level design and communication synthesis, design and optimization of networks-on-chip, embedded software and distributed embedded systems. Luca coauthored over ninety refereed papers and is the holder of one patent.
Luca is an associate editor of the ACM Transactions in Embedded Computing Systems and the Elsevier Journal of Sustainable Computing. He has served in the technical program committee of several conferences including DAC, DATE, ICCAD, and EMSOFT. In 2010 he served as technical program co-chair of the International Conference on Embedded Software (EMSOFT), the International Symposium on Networks-on-Chip (NOCS), and the International Conference on Formal Methods and Models for Codesign (MEMOCODE).
In 2013 Luca serves as general chair of Embedded Systems Week (ESWeek), the premier event covering all aspects of embedded systems and software.
Luca participates in the Gigascale Systems Research Center (GSRC).
James McLurkin is an Assistant Professor at Rice University in the Department of Computer Science, and director of the Multi-Robot Systems Lab. Research interests include using distributed computational geometry for multi-robot configuration control, distributed perception, and complexity metrics that quantify the relationships between algorithm execution time, inter-robot communication bandwidth, and robot speed. Previous positions include lead research scientist at iRobot corporation, where McLurkin was the manager of the DARPA-funded Swarm project. Results included the design and construction of 112 robots and distributed configuration control algorithms, including robust software to search indoor environments. He holds a S.B. in Electrical Engineering with a Minor in Mechanical Engineering from M.I.T., a M.S. in Electrical Engineering from University of California, Berkeley, and a S.M. and Ph.D. in Computer Science from M.I.T.
Biography
Nancy Lynch is the NEC Professor of Software Science and Engineering in the Department of Electrical Engineering and Computer Science at MIT. She heads the Theory of Distributed Systems research group in MIT's Computer Science and Artificial Intelligence Laboratory. She is also currently a Fellow at the Radcliffe Institute for Advanced Study.
Lynch received her B.S. degree in mathematics from Brooklyn College in 1968, and her PhD in mathematics from MIT in 1972. She has written numerous research articles about distributed algorithms and impossibility results, and about formal modeling and verification of distributed systems. Her best-known research contribution is the ``FLP'' impossibility result for distributed consensus in the presence of process failures, developed with Fischer
and Paterson in 1982. Lynch's other well-known research contributions include the I/O automata mathematical system modeling frameworks, with Tuttle, Vaandrager, Segala, and Kaynar. Her recent work is focused on
algorithms for mobile ad hoc networks.
Lynch has written books on ``Atomic Transactions'' (with Merritt, Weihl, and Fekete), on ``Distributed Algorithms'', and on ``The Theory of Timed I/O Automata'' (with Kaynar, Segala, and Vaandrager). She is an ACM Fellow, and a member of both the National Academy of Engineering and the American Academy of Arts and Sciences. She was co-winner of the first (2006) van Wijngaarden prize, and was awarded the 2007 Knuth Prize, the 2010 IEEE Emanuel Piore award, and
the 2012 Athena award. Lynch has supervised over 25 PhD students and over 50 Masters
students, as well as numerous postdoctoral research associates.