Monday 17 and Tuesday 18 March 2008
Organised by Professor Marta Kwiatkowska, Professor Tom Rodden and Professor Vladimiro Sassone
Professor Ozalp Babaoglu (Speaker)
University of Bologna
Ozalp Babaoglu is Professor of Computer Science at the University of Bologna, Italy. He received a Ph.D. in 1981 from the University of California at Berkeley where he was a principal designer of BSD Unix. He is the recipient of 1982 Sakrison Memorial Award, 1989 UNIX International Recognition Award and 1993 USENIX Association Lifetime Achievement Award for his contributions to the UNIX system community and to Open Industry Standards. Before moving to Bologna in 1988, Babaoglu was an Associate Professor in the Department of Computer Science at Cornell University. He is active in several European research projects in distributed computing and complex adaptive systems. Babaoglu is an ACM Fellow, a resident fellow of the Institute of Advanced Studies at the University of Bologna and serves on the editorial boards for ACM Transactions on Computer Systems, ACM Transactions on Autonomous and Adaptive Systems and Springer-Verlag Distributed Computing.
Professor Gaetano Borriello
University of Washington
Gaetano Borriello, Professor, has a BS in EE from the Polytechnic Institute of New York (1979), an MS in EE from Stanford University (1981), and a PhD in CS from the University of California at Berkeley (1988). He was a member of the research staff at the Xerox Palo Alto Research Center from 1980-87. He joined the Department in 1988.
Gaetano Borriello is known primarily for his work in automatic synthesis of digital circuits, reconfigurable hardware, and embedded systems development tools. Recently, Borriello was PI for the Portolano Expedition, a DARPA-sponsored investigation on invisible computing. He was on partial leave from 2001 to 2003 to found and direct the Intel Research Seattle laboratory which is engaged in ubiquitous computing research.
The focus of Borriello's research interests are in location-based systems, sensor-based inferencing, and tagging objects with passive and active tags. Borriello has served as program chair of numerous conferences and workshops. His most recent community activities include being program co-chair for the 5th International Conference on Mobile Systems, Applications, and Services (Mobisys07), serving as an Associate Editor of IEEE Pervasive Computing magazine, and contributing to a study, called "Embedded, Everywhere", commissioned by the Computer Science Technology Board of the National Research Council on Networked Systems of Embedded Computers.
Professor Jon Crowcroft (Panel member)
University of Cambridge and CNRS
Jon Crowcroft is the Marconi Professor of Networked Systems in the Computer Laboratory, of the University of Cambridge. Prior to that he was professor of networked systems at UCL in the
Computer Science Department.
He is a Fellow of the ACM, a Fellow of the British Computer Society and a Fellow of the IEE and a Fellow of the Royal Academy of Engineering, as well as a Fellow of the IEEE. He was a member of the IAB;was general chair for the ACM SIGCOMM 95-99. He has published 5 books - the latest is the Linux TCP/IP Implementation, published by Wiley in 2001. He is the Principle Investigator in the Computer Lab for the EU Haggle Project in DTN, the EPSRC TINA project on location sensors and wireless networking of airports, and for the ITA project in next generation wireless networks.
Professor Rocco De Nicola (Speaker)
Dipartimento di Sistemi ed Informatica, Università di Firenze
De Nicola is a full professor at Dipartimento di Sistemi e Informatica of the University of Florence (Italy) since 1995. He received the Laurea degree in Computer Science from the University of Pisa (Italy) in 1978 and the Ph.D. degree in Computer Science from the University of Edinburgh (UK) in 1985. From 1990 till 1995, he has been a full professor at University of Rome 'La Sapienza' (Italy). Before that, he was a full time researcher at IEI-CNR, Pisa and worked at Edinburgh University and for Italtel in Milano. De Nicola is among ISI HiglyCited researchers and for his scientific achievements has been honoured with the title of "Commendatore al Merito della Repubblica Italiana". De Nicola's research interests are centered around design methods and formal specifications and their use for the verification of distributed concurrent systems. He is the author of over one hundred publications in international journals or edited conference proceedings, and has been an "invited speaker" at various international conferences and schools and Program Chair or Program Committee member of many international conferences and workshops.
Adam Greenfield (Speaker)
Studies and Observations NYC
Adam Greenfield is a writer, consultant and instructor at New York University's Interactive Telecommunications Program.
His practice, Studies and Observations, helps clients manage challenges at the intersection of technology, design and culture, with a strong focus on issues around ubiquitous computing. (Adam's 2006 book on the subject, Everyware: The dawning age of ubiquitous computing, has been acclaimed as "groundbreaking," "elegant," and "soulful" by Bruce Sterling, and "gracefully written, fascinating, and deeply wise" by Wired's Steve Silberman.) Before starting Studies and Observations, Adam was lead information architect for the Tokyo office of well-known Web consultancy Razorfish.
Adam speaks frequently on issues of design, culture, technology and user experience before a wide variety of audiences. In 2007 alone, he has given keynote presentations to the XTech conference, the Seventh International Conference on Pervasive Computing, the Monitor Group's IFA Forum, Nokia's Asia-Pacific CEO Summit, and AIGA's DUX07.
He lives and works in New York City with his wife, artist Nurri Kim.
Professor Wendy Hall (Chair)
University of Southampton
Wendy Hall is a Professor of Computer Science at the University of Southampton in the United Kingdom and was Head of the School of Electronics and Computer Science (ECS) 2002-2007. She was the founding Head of the Intelligence, Agents, Multimedia (IAM) Research Group in ECS.
She has published over 350 papers in areas such as hypermedia, multimedia, digital libraries, and Web technologies.
She is currently senior Vice President of the Royal Academy of Engineering, Vice President of the ACM and is a Past President of the British Computer Society (2003-2004). She is a member of the Prime Minister's Council for Science and Technology, a member of the Executive Committee of UKCRC, and Chair of the newly formed BCS Women's Forum. She is the Chair of the Advisory Board of the new Company, Garlik Limited, and is a founding member of the Scientific Council of the European Research Council.
She was awarded a CBE in the Queen's Birthday honours list in 2000, and became a Fellow of the Royal Academy of Engineering in the same year.
She was recently awarded the 2006 Anita Borg Award for Technical Leadership.
Professor Tom Henzinger (Speaker)
EPFL, Switzerland
Tom Henzinger is Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland, and Adjunct Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He holds a Ph.D. degree in Computer Science from Stanford University (1991). He was Assistant Professor of Computer Science at Cornell University (1992-95), Assistant Professor (1996-97), Associate Professor (1997-98), and Professor (1998-2005) of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He was also Director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany (1999). His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a Fellow of the ACM, and a Fellow of the IEEE.
Professor Andy Hopper FRS (Speaker)
University of Cambridge Computer Laboratory
Andy Hopper is Professor of Computer Technology at the University of Cambridge and Head of the Computer Laboratory. His research interests include networking, pervasive and sentient computing, and using computers for assuring the sustainability of the planet. He is a Fellow of Corpus Christi College.
Andy Hopper has pursued academic and industrial careers in parallel. In the academic career he has worked in the Computer Laboratory and the Department of Engineering at Cambridge. In the industrial career he has worked in senior roles for multinational companies and also co-founded a dozen spin-outs and start-ups, two of which floated on stock markets. He is currently chairman of RealVNC, Ubisense and Adventiq, and a director of Solarflare.
Professor Hopper received the BSc degree from the University of Wales Swansea (1974) and the PhD degree from the University of Cambridge (1978). He is a Fellow of the Royal Academy of Engineering (1996) and of the Royal Society (2006). He was made a CBE for services to the computer industry (2007).
Professor Anupam Joshi (Speaker)
University of Maryland, Baltimore County
Anupam Joshi is a Professor of Computer Science and Electrical Engineering at UMBC. Earlier, he was an Assistant Professor in the CECS department at the University of Missouri, Columbia. He obtained a B. Tech degree in Electrical Engineering from IIT Delhi in 1989, and a Masters and Ph.D. in Computer Science from Purdue University in 1991 and 1993 respectively. His research interests are in the broad area of networked computing and intelligent systems. His primary focus has been on data management and security for mobile, pervasive, and sensor systems. He has created agent based middleware to support discovery, composition, and secure access of services/data over both infrastructure based and ad-hoc wireless networks, as well as systems that integrate sensors with the grid. He is also interested in Semantic Web, Social Media, and Data/Web Mining, where he has worked on creating personalized and secure web spaces using a combination of agents, policies, and soft computing.
He has published over 150 technical papers, and has obtained research support from NSF, NASA, DARPA, DoD, IBM, LMCO, AetherSystens, HP, AT&T and Intel. He has presented tutorials in conferences, served as guest editor for special issues for VLDB J., Comm. ACM etc., and served as an Associate Editor of IEEE Transactions of Fuzzy Systems from 99-03. He currently serves on the editorial board of the Intl. J. Semantic Web and Information Systems. At UMBC, Joshi teaches courses in Operating Systems, Mobile Computing, Networking, Security, and Web Mining. He is a member of IEEE, IEEE-CS, and ACM.
Professor Marta Kwiatkowska (Organiser and chair)
University of Oxford
Marta Kwiatkowska is Professor of Computing Systems in the Computing Laboratory at the University of Oxford and Fellow of Trinity College. Prior to this she was Professor in the School of Computer Science at the University of Birmingham. She holds a BSc/MSc in Computer Science from the Jagiellonian University in Poland and a PhD from Leicester University.
The main focus of Kwiatkowska's research in recent years has been on modelling and verification of probabilistic systems. Her group developed world leading probabilistic model checker PRISM, which has been used to model and analyse a broad range of real-world systems, for example Bluetooth device discovery, PIN cracking schemes and biological signalling pathways.
Professor Kwiatkowska's research is supported by over £1.5m research funding from research councils and industry. Her current work is addressing the automated verification of real software and aspects of ubiquitous computing such as context-awareness.
Dr Gary Marsden (Speaker)
University of Cape Town
Gary Marsden is an Associate Professor in the Department of Computer Science in the University of Cape Town, South Africa. Until 1999, he was based in the UK working on problems in usability and mobile computing. Since moving to Africa, however, his work has focused on designing digital technology for developing world contexts. At present, he is working on education and healthcare systems that are based on cellular handset technology. With Matt Jones, he co-authored the book "Mobile Interaction Design" in 2005. He was the recipient of the 2007 ACM SIGCHI Social Impact award for his work in designing systems for developing world contexts.
Professor Margaret Martonosi (Speaker)
Princeton University
Margaret Martonosi is currently Professor of Electrical Engineering at Princeton University, where she has been on the faculty since 1994. She also holds an affiliated faculty appointment in Princeton CS.
Martonosi's research interests are in computer architecture and the hardware/software interface, with particular focus on power-efficient systems and mobile computing. In the field of processor architecture, she has done extensive work on power modeling and management and on memory hierarchy performance and energy. This has included the development of the Wattch power modeling tool, the first architecture level power modeling infrastructure for superscalar processors. Her memory hierarchy work has included early performance-oriented studies, as well as more recent work on energy-aware memory hierarchies. In the field of mobile computing and sensor networks, Martonosi lead the Princeton ZebraNet project, which included two real-world deployments of tracking collars on Zebras in Central Kenya. She is now co-leader of the Sarana project, which is building software interfaces for collaborative computing among mobile devices.
Martonosi is co-author on over 100 refereed publications and inventor on five granted US patents. She is currently vice-chair of ACM SIGARCH. Martonosi completed her Ph.D. at Stanford University, and also holds a Master's degree from Stanford and a bachelor's degree from Cornell University, all in Electrical Engineering.
Professor Robin Milner FRS (Panel member)
University of Cambridge
Robin Milner graduated from Cambridge in 1958. After short posts he joined the University of Edinburgh in 1973, where he co-founded the Laboratory for Foundation of Computer Science in 1986. He was elected Fellow of the Royal Society in 1988, and in 1991 won the ACM's A.M. Turing Award. He joined Cambridge University in 1995, headed the Computer Laboratory there for four years, and retired in 2001. His research achievements (often joint) include: the system LCF, a model for many later systems for interactive reasoning;
systems; Standard ML, an industry-scale but rigorously based programming language; the Calculus of Communicating Systems (CCS); the Pi Calculus. Currently he works on Bigraphs, a topographical model which aims to provide a theoretical foundation for mobile interactive systems.
Professor Mogens Nielsen (Speaker)
University of Aarhus
Mogens Nielsen is a professor in computer science at the University of Aarhus, Denmark. Research areas: Models of Computation, Concurrency Theory. Former Director of the International PhD School BRICS, Basic Research In Computer Science, now the Director of Aarhus Graduate School of Science. Former chairman of the Danish Natural Science Research Council, now a member of the Board of the Danish National Research Foundation. Vice-president of the European Association for Theoretical Computer Science. A member of Academia Europaea.
Professor Ronald Rivest (Speaker)
MIT Department of Electrical Engineering and Computer Science
Professor Rivest is the Viterbi Professor of Computer Science in MIT's Department of Electrical Engineering and Computer Science. He is well known for his work in cryptography, and is a co-inventor (with Shamir and Adleman) of the RSA public-key cryptosystem. He is a co-founder of RSA Security, Verisign, and Peppercoin. He has co-authored (with Cormen, Leiserson, and Stein) a widely-used textbook on computer algorithms. He has received numerous awards, including (with Shamir and Adleman) the 2002 ACM Turing award. His recent research interests include cryptographic hash algorithms and the security of voting systems.
Professor Timothy Roscoe (Speaker)
ETH Zürich
Timothy Roscoe received a PhD from the Computer Laboratory of the University of Cambridge, where he was a principal designer and builder of the Nemesis operating system, as well as working on the Wanda microkernel and Pandora multimedia system. After three years web-based collaboration systems ata startup company in North Carolina, Mothy joined Sprint's Advanced Technology Lab in Burlingame, California, working on application hosting platforms and networking monitoring. Mothy joined Intel Research at Berkeley in April 2002 as a principal architect of PlanetLab, an open, shared platform for developing and deploying planetary-scale services. In September 2006 he spent four months as a visiting researcher in the Embedded and Real-Time Operating Systems group at National ICT Australia in Sydney, before taking up a Full Professorship at ETH Zürich in January 2007. His current research interests include network architectures for ubquitous computing, and high-performance scalable operating systems.
Professor Vladimiro Sassone (Organiser and Chair)
University of Southampton
Vladimiro Sassone is professor of Computer Science in the School of Electronics and Computer Science at the University of Southampton.
His research activity concerns the foundations of mobile, distributed
systems, and aims at underpinning the development of robust paradigms for global ubiquitous computing. His interests span over semantics, type theory, logics, formal methods and, in general, the foundations of computer science, with focus on languages and models for concurrency.
His main contributions include models of causation in distributed
computation; security via typing in systems for access control; semantic theories and models for reactive systems; models and calculi for trust management systems; distributed, structural and resource logics.
He is member of the Council of the EATCS and the committee for the Grand Challenge on Ubiquitous Computing, editor of the Bulletin of the EATCS, Logical Methods in Computer Science, the Computer Journal, and chair of ETAPS, the European joint Conferences on Theory and Practice of Software.
Professor Morris Sloman (Chair)
Imperial College London
Morris Sloman is Professor of Distributed Systems Management in the Department of Computing, Imperial College London. He is a Fellow of the Royal Academy of Engineering, Institute of Engineering and Technology and British Computer Society. His research interests include autonomic management of ubiquitous and distributed systems, adaptive security management, trust and security for pervasive systems. He chairs the UKCRC Ubiquitous Computing Grand Challenge steering committee. See http://www.doc.ic.ac.uk/~mss for more details and selected publications.
Professor Jeannette Wing (spaker)
National Science Foundation, USA
Dr. Jeannette M. Wing is the President's Professor of Computer Science in the Computer Science Department at Carnegie Mellon University. She received her S.B. and S.M. degrees in Electrical Engineering and Computer Science in 1979 and her Ph.D. degree in Computer Science in 1983, all from the Massachusetts Institute of Technology. From 2004-2007, she was Head of the Computer Science Department at Carnegie Mellon. Currently on leave from CMU, she is the Assistant Director of the Computer and Information Science and Engineering Directorate at the National Science Foundation.
Professor Wing's general research interests are in the areas of
specification and verification, concurrent and distributed systems, and programming languages. Her current focus is on the foundations of trustworthy computing.
Professor Wing was or is on the editorial board of eleven journals.
She has been a member of many advisory boards, including: the
Networking and Information Technology (NITRD) Technical Advisory Group to the President's Council of Advisors on Science and Tecbnology (PCAST), the National Academies of Sciences's Computer Science and Telecommunications Board, ACM Council, the DARPA Information Science and Technology (ISAT) Board, NSF's CISE Advisory Committee, Microsoft's Trustworthy Computing Academic Advisory Board, and the Intel Research Pittsburgh's Advisory Board. She is a member of the Sloan Research Fellowships Program Committee. She is a member of AAAS,
ACM, IEEE, Sigma Xi, Phi Beta Kappa, Tau Beta Pi, and Eta Kappa Nu. Professor Wing is an AAAS Fellow, ACM Fellow, and IEEE Fellow.
Professor Jonathan Zittrain (speaker)
University of Oxford
Jonathan Zittrain holds the Chair in Internet Governance and Regulation at Oxford University and is a principal of the Oxford Internet Institute. His research interests include battles for control of digital property and content, cryptography, electronic privacy, the roles of intermediaries within Internet architecture, and the useful and unobtrusive deployment of technology in education.
He performed the first large-scale tests of Internet filtering in China and Saudi Arabia in 2002, and now as part of the OpenNet Initiative he has co-edited a study of Internet filtering by national governments, "Access Denied: The Practice and Policy of Global Internet Filtering."
His book about the future of the now-intertwined Internet and PC will be available in spring 2008 from Yale University Press and Penguin UK -- and under a Creative Commons licence. Papers may be found at http://www.jz.org