June is a Researcher within the Trustworthy Embedded Systems group in NICTA (National ICT Australia, Australia’s Information and Communications Technology Centre of Excellence). Her research interests include formal verification of correctness and security properties of embedded software. Prior to joining NICTA in 2008, she worked 6 years in the Formal Methods team of Gemalto, the worldwide leading smart card manufacturer. She holds a PhD in formal verification of smart card embedded programs, from the University of Paris-Sud, France.
Ricardo Baeza-Yates is VP of Yahoo! Research for Europe, Middle East and Latin America, leading the labs at Barcelona, Spain and Santiago, Chile, as well as supervising the newer lab in Haifa, Israel. Until 2005 he was the director of the Center for Web Research at the Department of Computer Science of the Engineering School of the University of Chile; and ICREA Professor at the Dept. of Technology of the Univ. Pompeu Fabra in Barcelona, Spain. He is co-author of the best-seller book Modern Information Retrieval, published in 1999 by Addison-Wesley with a second edition coming in 2010, as well as co-author of the 2nd edition of the Handbook of Algorithms and Data Structures, Addison-Wesley, 1991; and co-editor of Information Retrieval: Algorithms and Data Structures, Prentice-Hall, 1992, among more than 200 other publications. He has received the Organization of American States award for young researchers in exact sciences (1993) and with two Brazilian colleagues obtained the COMPAQ prize for the best CS Brazilian research article (1997).
In 2003 he was the first computer scientist to be elected to the Chilean Academy of Sciences. During 2007 he was awarded the Graham Medal for innovation in computing, given by the University of Waterloo to distinguished ex-alumni. In 2009 he was awarded the Latin American distinction for contributions to CS in the region and became an ACM Fellow.
Thomas Ball is a Principal Researcher at Microsoft Research and manages the Software Reliability Research group (http://research.microsoft.com/srr/), which investigates a variety of techniques for improving software quality, including formal methods, program analysis and automated testing. He completed my Ph.D. in Computer Science from the University of Wisconsin-Madison in 1993, was a researcher at Bell Labs from 1993 to 1999 and has been at Microsoft Research since 1999.
Patrick Baudisch is a professor in Computer Science at Hasso Plattner Institute in Berlin/Potsdam and chair of the Human Computer Interaction Lab. His research focuses on the miniaturization of mobile devices and touch input. Previously, Patrick Baudisch worked as a research scientist in the Adaptive Systems and Interaction Research Group at Microsoft Research and at Xerox PARC and served as an Affiliate Professor in Computer Science at the University of Washington. He holds a PhD in Computer Science from Darmstadt University of Technology, Germany.
Koen Bertels is associate professor at the Computer Engineering Laboratory of Delft University of Technology in the Netherlands. His research interests include electronic system level design and programmability of heterogeneous multi-core platforms both for embedded as well as supercomputing applications. Heterogeneous computing cores can be general purposes processors combined with e.g. FPGAs or DSPs. He is the co-founder of BlueBee Multi-Core Technologies that brings programming technology to the market targeting heterogeneous multi-core platforms.
Judith Bishop is Director of Computer Science at Microsoft Research, based in Redmond, USA. Her role is to create strong links between Microsoft’s research groups and universities globally, through encouraging projects, supporting conferences and engaging directly in research. Her expertise is in programming languages and distributed systems, with a strong practical bias and an interest in compilers and design patterns. She initiated the Software Engineering Innovation Foundation (SEIF) and is working on a new way of running programs in browsers (especially F#). After obtaining her PhD at the University of Southampton, Judith had a distinguished background in academia in South Africa, with visiting positions in the UK, Germany, Canada, Italy and the USA. She has over 95 publications including 15 books on programming languages that are available in six languages. Judith serves frequently on international editorial, program and award committees and is known for running successful Summer Schools. She was co-chair of ICSE 2010, and is currently co-chair of TOOLS 2011. She will also help lead the Microsoft Research Faculty Summit in July. She is active in IFIP WG2.4, the ACM and the CRA. In 2009, Judith received the IFIP Outstanding Service Award and in 2006 the IFIP Silver Core Award 2006. She is a Fellow of the British Computer Society and the Royal Society of South Africa.
I am managing the Foundations of Software Engineering group at Microsoft Research in Redmond. Our projects span logics for authentication, model programs, dynamic symbolic execution, model-based software design, and symbolic solvers. My current main work is around the state-of-the-art Satisfiability Modulo Theories solver Z3, jointly with Leonardo de Moura. In a previous life I also shipped distributed file system replication and remote compression products. I received my Ph.D. from Stanford University in 1998.
Andrew Blake is Managing Director at Microsoft Research Cambridge. Prior to joining Microsoft he trained in mathematics and electrical engineering in Cambridge England, and studied for a doctorate in Artificial Intelligence in Edinburgh. He was an academic for 18 years, latterly on the faculty at Oxford University, where he was a pioneer in the development of the theory and algorithms that can make it possible for computers to behave as seeing machines. In 1999 he moved to Microsoft Research Cambridge to lead research in Computer Vision. In 2008 he became a Deputy Managing Director at the lab, before assuming his current position in 2010.
He has published several books including "Visual Reconstruction" with A.Zisserman (MIT press), "Active Vision" with A. Yuille (MIT Press) and "Active Contours" with M. Isard (Springer-Verlag). He has twice won the prize of the European Conference on Computer Vision, with R. Cipolla in 1992 and with M. Isard in 1996, and was awarded the IEEE David Marr Prize (jointly with K. Toyama) in 2001. In 2006 the Royal Academy of Engineering awarded him its Silver Medal and in 2007 the Institution of Engineering and Technology presented him with the Mountbatten Medal (previously awarded to computer pioneers Maurice Wilkes and Tim Berners-Lee, amongst others.) He was elected Fellow of the Royal Academy of Engineering in 1998 and Fellow of the IEEE in 2008. He also became a Fellow of the Royal Society in 2005 and was elected to the Council of the Royal Society in 2010.
George leads the Dependable Systems Lab at EPFL in Lausanne (Switzerland). His research focuses on tools, techniques, and runtimes that improve the dependability of software systems while increasing programmer productivity. George received the "Top 35 Young Technology Innovators" award from MIT in 2005. That same year, he co-founded Aster Data, a large-scale data analytics company, which received the 2011 "Technology Pioneer" award from the World Economic Forum. In 2001, George helped found the Stanford/Berkeley Recovery-Oriented Computing (ROC) project. Previously, he worked at Oracle, IBM Research, and Microsoft Research. George received his PhD in computer science from Stanford University in 2005 and his BS (1997) and MEng (1998) in computer science from the Massachusetts Institute of Technology.
Rod Chapman is a Principal Engineer with Praxis, specializing in the design and implementation of safety and security-critical systems. He currently leads the development of the SPARK language and its associated analysis tools. In addition to SPARK, Rod has been the key contributor to many of Praxis major projects such as SHOLIS, MULTOS CA, Tokeneer and Software verification tools. He received a MEng in Computer Systems and Software Engineering and a DPhil in Computer Science from the University of York, England, in 1991 and 1995. He is a Chartered Engineer, a Fellow of the British Computer Society, and also an SEI-Certified PSP Instructor.
Chesnais studied at l’Ecole Normale Supérieure de l’Enseignement Technique and l’Université de Paris where he earned a Maîtrise de Mathé matiques, a Maitrise de Structure Mathématique de l’Informatique, and a Diplôme d’Etudes Approfondies in Compuer Science. He was a high school student at the United Nations International School in New York, where, along with preparing his International Baccalaureate with a focus on Math, Physics and Chemistry, he also studied Mandarin Chinese.
Chesnais recently founded Visual Transitions, which specializes in helping companies move to HTML 5, the newest standard for structuring and presenting content on the World Wide Web. He was the CTO of SceneCaster.com from June 2007 until April 2010, and was Vice President of Product Development at Tucows Inc. from July 2005 – May 2007. He also served as director of engineering at Alias|Wavefront on the team that received an Oscar from the Academy of Motion Picture Arts and Sciences for developing the Maya 3D software package.
Prior to his election as ACM president, Chesnais was vice president from July 2008 – June 2010 as well as secretary/treasurer from July 2006 – June 2008. He also served as president of ACM SIGGRAPH from July 2002 – June 2005 and as SIG Governing Board Chair from July 2000 – June 2002.
As a French citizen now residing in Canada, he has more than 20 years of management experience in the software industry. He joined the local SIGGRAPH Chapter in Paris some 20 years ago as a volunteer and has continued his involvement with ACM in a variety of leadership capacities since then.
Michel Cosnard is Chairman and CEO of INRIA, Previously, Michel Cosnard served as Professor at Ecole Normale Superieure de Lyon and from 1997, as director of the INRIA Research Unit in Lorraine. In 2001, he has been nominated director of the INRIA Research Unit in Sophia Antipolis and served as Professor at the University of Nice - Sophia Antipolis.
Michel Cosnard holds a Master of Science degree in 1975 from Cornell University and a Doctorat d'Etat in 1983 from Universite de Grenoble, Michel Cosnard has been member of the FP6 IST Evaluation Committee, chaired by Eskko Aho. He is currently member of ISTAG (Information Society Technologies Advisory Group), and chaired the ISTAG-FET working group.
His research interests are in the design and analysis of parallel algorithms, in the complexity analysis of automata and neural nets. Michel Cosnard has published more than 100 papers related to parallel processing.
He served as Editor of many scientific journals.
He received a prize from the French Academy of Science, the IFIP Silver Core and IEEE Babbage award. In 2007, Michel Cosnard was awarded the title of Chevalier de la LŽgion d'Honneur.
Dr. Markus Dahlweid is a Lead Software Design Engineer at the European Microsoft Innovation Center in Aachen, Germany.
Dr. Dahlweid studied Computer Sciences and holds a PhD from Bremen University on “High Level Transition Systems of CSP Specifications”. Before joining Microsoft, he worked at Verified Systems, Bremen as software development and testing engineer, with special focus on safety-critical embedded systems in the area of avionics. After joining the European Microsoft Innovation Center (EMIC) in 2008, his primary focus was on verifying the Microsoft Hyper-V Hypervisor kernel as part of the Verisoft XT research project funded by BMBF and developing the verification tools needed to verify C code. His current focus is on the design and implementation of tools and method for model based development, especially on the topic of design-space exploration of models capturing functional- and non-functional requirements.
de Halleux, Peli
Jonathan ‘Peli’ de Halleux. Peli is a Senior Research Software Design Engineer in the Research in Software Engineering group at Microsoft Research in Redmond, USA, where he has been since October 2006 working the Pex project http://pex4fun.com. From 2004 to 2006, he worked in the Common Language Runtime (CLR) as a Software Design Engineer in Test in charge of the Just In Time compiler. Before joining Microsoft, he earned a PhD in Applied Mathematics from the Catholic University of Louvain. Earlier, he developed the unit testing framework MbUnit.
Alessandro Forin is a Principal Researcher at Microsoft Research, Redmond, USA, where he leads a small research group on Embedded Systems, with special emphasis on Reconfigurable Computing. He has been at Microsoft Research since 1994, working on operating systems (the OS for the first interactive TV system, the MMLite RTOS for the Talisman graphics card, Windows for Xbox-1) and networking (the VIA/Infiniband cluster interconnect, the first TCP/IP land-speed record for Windows) before switching to FPGAs. Previously he was on the Faculty at Carnegie-Mellon University and created the first weakly-coherent distributed shared memory system, used for speech recognition. As a co-principal investigator for the Mach OS project (now Apple's OS X) he then worked on shared memory multiprocessors, RISC and 64-bit microprocessors, multiple user-mode OS emulations (Unix, VMS, MS-DOS, MacOS) and user-mode I/O architectures. Alessandro graduated from the University of Padova, Italy with a MS in Electrical Engineering in 1982 and a PhD in Computer Science in 1987. He is an Adjunct Professor of Computer Science at Texas A&M University since 2005.
Fabrizio Gagliardi, born in Pisa, Italy, on 14/08/1950, is Europe, Middle East and Africa Director for External Research at Microsoft Research Corporation.
He joined Microsoft in November 2005 after a long career at CERN, the world leading laboratory for particle physics in Geneva, Switzerland.
There he held several technical and managerial positions since 1975: Director of the EU Grid project EGEE (2004-2005); Director of the EU Data-Grid project (2001-2004); head of mass storage services (1997-2000); Leader of the EU project GPMIMD2 (1993-1996).
Fabrizio Gagliardi has worked with four different Nobel Prize winners while at CERN.
He has a Doctor degree in Computer Science, granted by the University of Pisa in 1974.
Dr. Gagliardi has been consulting on computing and computing policy matters with the Commission of the European Union, several government and international bodies (among them NSF, DoE in the US, CNRS and other research bodies in France, EPSRC in the UK, CNR and INFN in Italy, OECD, UN agencies)
Dr. Gagliardi is author and co-author of several publications and articles on real-time and distributed computing systems.
Dr. Gagliardi is since 2009 chair of the ACM Europe Council.
In 2009 he was given the additional responsibility to drive the Cloud Computing Initiative of the MS Extreme Computing Group in Europe. As part of that job he played a major role in the incubation and successful negotiation of a new FP7 EU computing infrastructure project named VENUS-C which officially started in June 2010.
Ganesh L. Gopalakrishnan earned his PhD in Computer Science from Stony Brook University in 1986, joining Utah the same year. He spent a year each at the University of Calgary (1988), visited Stanford University (1995), and at Intel Santa Clara (2002). During his 2009 sabbatical, he helped establish the Center for Parallel Computing at Utah and serves as its Director. He facilitated a pilot offering of Microsoft's Practical Parallel and Concurrent Programming course at Utah during Fall 2010. His currently active projects are in scalable dynamic verification methods for message passing interface (MPI) programs, symbolic verification methods for GPU kernels, building verification tool integration frameworks, and prototyping formal analysis methods for multicore communication APIs, and also building FPGA based multicore systems including these APIs. He advises many PhD, MS, BS/MS, and BS students on a variety of topics - see http://www.cs.utah.edu/fv. He will serve as PC co-chair for CAV 2011 at Snowbird, UT. He has authored a textbook "Computation Engineering: Applied Automata Theory and Logic," and over 130 research papers. His research is supported by NSF, Microsoft, and SRC.
Andy Gordon is a Principal Researcher at MSR Cambridge. His research interests are in the general areas of security and programming languages. His work at Microsoft has involved applying type theory and other formal techniques to problems of computer security, in projects including the following: an analysis (with Don Syme) of the type system underlying the bytecode verifier of the Microsoft .NET Common Language Runtime; Cryptyc (with Alan Jeffrey), a type-checker for cryptographic protocols; and the Samoa Project (with Karthik Bhargavan and Cédric Fournet) on formal tools for the security of XML Web Services. He is currently excited about the many possibilities of refinement types, and is actively developing them in the context of F7, an enhanced typechecker for the F# programming language. F7 is work in collaboration with Karthik Bhargavan, Cédric Fournet, and our colleagues.
Youssef Hamadi leads the Constraint Reasoning Group in Microsoft Research Cambridge. He is also the founder and co-director of the Microsoft-CNRS chair Optimisation for Sustainable Development, at École Polytechnique. His current research considers the design of complex systems based on multiple formalisms feed by different information channels which plan ahead and perform smart decisions. This work is set at the intersection of Optimization and Artificial Intelligence. Currently, his focus is on Autonomous Search, Parallel Search, and Propositional Satisfiability, with applications to software-verification, Automated Planning and business intelligence.
Andrew Herbert is the Chairman of Microsoft Research EMEA. In this role Herbert oversees Microsoft Research’s activities in the region, including technical strategy and policy engagements and wider engagement with politicians, officials, professional and industry bodies and their strategic advisors. Initially joining Microsoft Research in 2001 as an assistant director, he then succeeded founding director, Roger Needham in March 2003, before assuming his current role in November 2010.
Before joining Microsoft Research in 2001, he was director of Advanced Technology at Citrix Systems Inc., where he was instrumental in steering the company toward Internet thin-client technologies and initiating development of products for Web-based application deployment and for the emerging application service provider market.
Herbert joined Citrix in 1998 from Digitivity Inc., which he founded in 1996 to develop a product to enable secure deployment of Java clients for business-to-business applications. Digitivity was a spinoff from APM Ltd., a research and consulting company Herbert founded in 1985. APM managed ANSA, an industry-sponsored program of research and advanced development into the use of distributed systems technology to support applications integration in enterprisewide systems. ANSA’s work included research on support for interactive multimedia services, object technology for World Wide Web applications, distributed systems management, mobile object systems and security for electronic commerce. Herbert led ANSA’s technical program, built up its team, created its architecture, and made ANSA known and respected in the industry. ANSA-based technology was used by many organizations ahead of the widespread availability of commercial CORBA-based products. Notable successes included the NASA Astrophysics Data System, a European radio pager system and the online customer service system for a major U.K. utility. As part of his ANSA work, Herbert played an active role in many standards and consortia for distributed computing including the Telecommunications Information Networking Architecture Consortium (TINA-C), ISO/ITU ODP, the Open Software Foundation Distributed Computing Environment (OSF DCE) and Object Management Group (OMG) CORBA.
Before starting ANSA in 1985, Herbert was a faculty member in the Computer Laboratory at the University of Cambridge in England, where he worked with Roger Needham and Maurice Wilkes on seminal developments in local area networks (LANs) and distributed computing. In 1979 Herbert helped Needham and Wilkes edit “The Cambridge CAP Computer and Its Operating System,” and in 1982 he co-authored “The Cambridge Distributed Computing System” with Needham. In 2003, Herbert co-edited a monograph of papers written in tribute to Needham, “Computer Systems: Theory, Technology and Applications,” with Karen Spärck Jones.
In the 2010 honours list Herbert was awarded an Officer of the British Empire (OBE) for services to computer science. He is a fellow of the Royal Academy of Engineering, a fellow of the British Computer Society, a fellow of Wolfson College Cambridge, a visiting professor at University College London, a member of St. John’s College Cambridge, and a liveryman of the City of London Worshipful Company of Information Technologists. In 1975 he graduated from the University of Leeds with a B.Sc. in computational science and in 1978 with a Ph.D. from Cambridge University in computer science.
As corporate vice president of the External Research Division of Microsoft Research, Tony Hey is responsible for worldwide external research (ER) collaboration in Microsoft Research. He leads the company's efforts to build long-term public-private partnerships with global scientific and engineering communities, spanning broad reach and in-depth engagements with academic and research institutions, related government agencies, and industry partners. His responsibilities also include working with internal Microsoft groups to build future technologies and products that will transform computing for scientific and engineering research. Hey manages the U.S.-based external research group for North and South America, and the multidisciplinary eScience Research Group. He also has dotted-line management responsibility for Microsoft Research's ER teams in Asia, Europe, and India.
Before joining Microsoft, Hey served as director of the U.K.'s e-Science Initiative, managing the government's efforts to provide scientists and researchers with access to key computing technologies. Before leading this initiative, Hey worked as head of the School of Electronics and Computer Science, and dean of Engineering and Applied Science at the University of Southampton, where he helped build the department into one of the most respected computer science research institutions in England.
His research interests focus on parallel programming for parallel systems built from mainstream commodity components. With Jack Dongarra, Rolf Hempel and David Walker, he wrote the first draft of a specification for a new message-passing standard called MPI. This initiated the process that led to the successful MPI standard of today.
Hey is a fellow of the U.K.'s Royal Academy of Engineering. He also has served on several national committees in the U.K., including committees of the U.K. Department of Trade and Industry, and the Office of Science and Technology. He is a fellow of the British Computer Society, the Institute of Engineering and Technology, the Institute of Physics, and the U.S. American Association for the Advancement of Science (AAAS).
Tony Hey also has a passionate interest in communicating the excitement of science to young people. He has written "popular" books on quantum mechanics and on relativity.
is Professor of Computer Science at Rutgers University, and a Visiting Scholar at MIT's Sloan School of Management and Center for Collective Intelligence. From 2006-2010 he served as Director of the Division of Information and Intelligent Systems at the National Science Foundation, and he has previously held visiting positions at Bar-Ilan University, CMU, NYU, and the University of Zurich. His research is on foundations and applications of machine learning, data mining, and information retrieval. Haym received his BS degree from the Mathematics and Computer Science Departments at UCLA and his MS and PhD from the Computer Science Department at Stanford University.
Nigel Horspool is a professor of computer science at the University of Victoria. His main focus for research and teaching has been programming languages and compilers. He is the author or co-author of three books, which cover the C language, Unix and the C# language. He is currently the co-editor of the journal 'Software: Practice and Experience'.
Shahram joined the Microsoft Research Cambridge Lab in May 2005 as a member of the Computer Mediated Living Research Area. His research fits into the broad area of ubiquitous computing (or ubicomp) and focuses on creating novel technologies that push the boundaries of how we interact with computers – beyond just the desktop and the workplace. He’s interested in exploring and understanding the implications of ubiquitous computing from various perspectives: From the underlying, infrastructure and system architecture issues, right through to application development, HCI and social implications.
Bart Jacobs is a professor of computer science at the Katholieke Universiteit Leuven, Belgium. His research focus is on the verification of safety and security properties of imperative programs. He obtained his PhD at Katholieke Universiteit Leuven, supervised by Prof. Frank Piessens, in 2007. During his PhD, he interned extensively in the Spec# team at Microsoft Research in Redmond, WA, USA.
Professor Stefan Jähnichen, born in 1947, received his Ph.D. (Dr.-Ing.) in electrical engineering from the Technical University Berlin in 1974. Since 1998 he is managing and scientific director of the Fraunhofer Institute for Computer Architecture and Software Technology FIRST (former GMD FIRST). As a full professor he is furthermore leading the research group on Software Engineering at the Department of Electrical Engineering and Computer Science of the Technical University of Berlin. Stefan Jähnichen has a solid experience in software engineering especially in languages, methods, and modeling which he contributes to many national and international comitees such as the IFIP Working Group 2.4 in System Programming Languages , the Scientific Advisory Board (Fachkolleg) for Informatics of the German Research Foundation (DFG), and the panel on computer science of the European Research Council (ERC). Stefan Jähnichen is author of several books and approximately 50 papers in refereed conference proceedings and journals. Since 2008 he acts as the President of the German Computer Society.
Rajeev Joshi is a Senior Engineer with the Laboratory for Reliable Software at the NASA Jet Propulsion Laboratory (JPL) in Pasadena, California. His main research interests are in the study and application of formal methods to the specification and verification of software. He is currently also a member of the flight software development team for the Mars Science Laboratory Mission (MSL), serving as responsible engineer for the rover data management system, the filesystems, and spacecraft high-level communication behaviors.
Before joining JPL, he worked as a researcher at the CompaqHP Systems Research Center (SRC) in Palo Alto, California where, among other projects, he worked on the Denali superoptimizer and the theorem prover Verifun. Before starting graduate school, he also worked as a Senior Technical Associate with the Math Sciences Research Group at AT&T Bell Laboratories in Murray Hill, New Jersey. He holds a PhD in Computer Sciences from the University of Texas at Austin.
Director and Vice President IBM Research – Zurich
In June 2006 Matthias Kaiserswerth was named director of IBM Research – Zurich, one of nine IBM Research labs worldwide.
Since January 2006 Dr. Kaiserswerth has been leading the IBM Research Strategy in Systems Management and Compliance, coordinating the research work across IBM's global research laboratories.
From 2002 until the end of 2005 he was the Managing Director of an IBM Integrated Account.
In 2000, Dr. Kaiserswerth became the director of IBM's laboratory in Zurich. He was responsible for some researchers in the field of physical sciences, communications technology, and computer science. Additional responsibilities were for the IBM Zurich Industry Solutions Lab where IBM hosts customers to meet with its researchers to discuss future technology and emerging business trends.
From 1997 through 1999, Dr. Kaiserswerth was on assignment at the IBM Thomas J Watson Research Center in Yorktown Heights, New York, where he led the networking software and security research. In addition, he was responsible for setting IBM Research's global security research strategy and starting IBM efforts in the emerging field of privacy technology research.
From 1988 through 1997 he worked as a Research Staff Member at IBM Research – Zurich on various research projects ranging from high-performance communication systems to message brokering in a medical environment. Most recently, he worked on smart cards and Java security, which lead to the OpenCard industry standard for using smart cards in a Java environment and Visa's Java Card Price Breakthrough program based on the IBM Zurich Research JCOP platform.
Dr. Kaiserswerth received his MSc and PhD in Computer Science from McGill University in Montreal, Canada and from Friedrich-Alexander University in Erlangen-Nuremberg, Germany, respectively. He is also a member of the Association for Computing Machinery (ACM) Europe.
Dr. Kaiserswerth maintains a blog at ibmzrl.wordpress.com/
Engin Kirda is associate professor at the College of Computer and Information Science at Northeastern University in Boston. He has previously been an associate professor in the Networking and Security Department at Institute Eurecom in France (2008-2010) and has also served on the computer science faculty at the Technical University of Vienna (2003-2007).
Professor Kirda’s research focuses on security issues with the potential to affect a large number of people. He is the co-founder and co-director of the International Secure Systems Lab, a collaborative effort of European and U.S. researchers focused on Web security, malware and vulnerability analysis, intrusion detection, and other computer security issues. The lab is well-known for developing tools such as Anubis, which analyzes malware; FIRE (FInding RoguE Networks), which determines whether an Internet service provider has been compromised; and Pixy, which conducts vulnerability assessments for Web pages.
Prof. Dr. Thomas Kropf studied electrical engineering at the University of Darmstadt. He was awarded a doctorate (Dr. rer. nat) in Computer Science at the University of Karlsruhe. There, he also completed his habilitation and worked as assistant professor. After a stay in the USA at Synopsys Inc., Mountain View, CA, he changed to Robert Bosch GmbH. There, he held various management positions with responsibilities for new methods in ASIC design, system simulation as well as algorithm and software development.
Currently, Prof. Kropf is Vice President Engineering at Robert Bosch GmbH, responsible for advanced engineering and vehicle motion and safety in the division Chassis Systems Control.
Besides his main profession he holds a position as adjunct professor at the University of Tübingen where he teaches Computer Science.
I am a Professor in the Department of Computer Science at Aalborg University within the Distributed and Embedded Systems Unit and director of the ICT-competence center CISS, Center for Embedded Software Systems. I am also director of DaNES, Danish Network for Intelligent Embedded Systems, an Advanced Technology Platform, and the Innovation Network InfinIT. Finally I am co-director of the VKR Center of Excellence MT-LAB and director of the Aalborg section of BRICS.
Peter Lee recently joined Microsoft as Distinguished Scientist and Managing Director of Microsoft Research Redmond (MSR-R). MSR-R’s mission is to make fundamental advances in computer science and engineering, and then use those advances to help drive innovations in new and existing products and services. Prior to Microsoft, Peter was an office director at the Defense Advanced Research Projects Agency (DARPA), where he was responsible for developing and implementing the strategic vision and technical plans for a new office that conducted high-risk, high-payoff research projects spanning computer security, social networking, supercomputing, and many other areas of computer science. Peter was formerly a professor and head of the Computer Science Department at Carnegie Mellon University (CMU), having also served briefly as the Vice Provost for Research. He joined the CMU faculty in 1987, after completing his doctoral studies at the University of Michigan. Peter is an active researcher, educator, administrator, and servant to the academic community. His research contributions lie mainly in areas related to the foundations of software reliability, program analysis, security, and language design. He is an ACM Fellow, member of the National Research Council’s Computer Science and Telecommunications Board, and former Chair of the Board of Directors of the Computing Research Association and its Government Affairs Committee. Peter is the author of two books, has authored or co-authored more than 50 refereed papers, and has advised or co-advised 14 completed Ph.Ds.
Xavier Leroy is a senior research scientist at INRIA near Paris, where he leads the Gallium research team. His work focuses on programming languages and systems and their interface with formal verification of software for safety and security. He is the main author of the Objective Caml functional programming language and of the CompCert C formally verified compiler.
Ben Livshits is a researcher at Microsoft Research in Redmond, WA. Originally from St. Petersburg, Russia, he received a bachelor's degree in Computer Science and Math from Cornell University in 1999, and his M.S. and Ph.D. in Computer Science from Stanford University in 2002 and 2006, respectively. Dr. Livshits' research interests include application of sophisticated static and dynamic analysis techniques to finding errors in programs.
He is known for his work in software reliability and especially tools to improve software security, with a primary focus on approaches to finding buffer overruns in C programs and a variety of security vulnerabilities (cross-site scripting, SQL injections, etc.) in Web-based applications. He is the author of several dozen academic papers and patents. Lately he has been focusing on how Web application and browser reliability, performance, and security can be improved through a combination of static and runtime techniques.
Wayne Luk is Professor of Computer Engineering at Imperial College London, where he founded and leads the Computer Systems Section and the Custom Computing Research Group. He was also a Visiting Professor at Stanford University. His interests include reconfigurable computing, field-programmability, and design automation. He is a Fellow of the IEEE and the BCS.
Joao Marques-Silva is Stokes Professor of Computer Science and Informatics at University College Dublin (UCD), Ireland. Before moving to UCD, he held appointments at the University of Southampton, UK, and at the Technical University of Lisbon, Portugal. Joao Marques-Silva holds a PhD degree in Electrical Engineering and Computer Science from the University of Michigan, Ann Arbor, in 1995, and the Habiliation degree in Computer Science from the Technical University of Lisbon, Portugal, in 2004. His research interests include algorithms for constraint solving and optimization, and applications in formal methods, artificial intelligence, and bioinformatics. He received the 2009 CAV award for fundamental contributions to the development of high-performance Boolean satisfiability solvers.
Conor McBride is a Lecturer in the Department of Computer and Information Sciences at the University of Strathclyde. His PhD thesis, under Rod Burstall, set dependently typed functional programming on a solid theoretical footing. His subsequent work with James McKinna on the Epigram language helped pave the way for the dependently typed language Agda, as well as promoting the uptake of related techniques in less experimental languages such as Haskell and C#. He collaborates with Microsoft Research on dependently typed extensions to Haskell, and is still a creative force at the cutting edge of research in programming with advanced type systems.
Dr. Avi Mendelson is the manager of the Academic outreach and external research programs in Microsoft R&D Israel and served as an adjunct professor in the CS and EE departments, Technion – Israel Institute of Technology. Before, he was a principal engineer at Intel’s Mobile Platform Group in Haifa, Israel. While at Intel, he served as the “CMP architect” of the Core Due and Core Due-2 processors, the first mobile dual core architectures Intel produced. As part of his work in Intel, he also performed different research activities in the areas of power management, new SW/HW interfaces and future computer architectures.
Dr. Avi Mendelson is a member of the ACM Europe council and serves as a member of the advisory board on HiPEAC; European Network of Excellence. He published more than 60 papers in Journals, chapters of books and refereed conferences. His work and research interests are in computer architecture, low power design, parallel systems, OS related issues and virtualization.
Bertrand Meyer is Professor of Software Engineering at ETH Zurich and Chief Architect at Eiffel Software. He is the author of 10 books and over 200 articles ranging over software engineering and programming languages with a special emphasis on object technology, to which he made major contributions in particular through his book “Object-Oriented Software Construction” (Jolt Award 1998), programming and design methodology, software verification, concurrency, development environments, language design and computer science education. He is the president of Informatics Europe, the association of European computer science departments, and of the IFIP TC2 committee. His awards include the ACM Software System Award, ACM Fellow, IEEE Harlan Mills Award, Dahl-Nygaard award for object technology, and an honorary doctorate from the technical university (ITMO) of Saint Petersburg.
Simon Moore is Reader in Computer Architecture at the University of Cambridge Computer Laboratory in England, where he undertakes research and teaching in the general area of computer design with particular interests in massively parallel computer architecture and associated algorithm issues. Dr Moore is the senior member of the Computer Architecture research group.
Nachiappan Nagappan is a Senior Researcher in the Empirical Software Engineering and Measurement Research Group (ESE) at Microsoft Research. His research interests are in the field of software measurement focusing on software metrics, software reliability, failure analysis/prediction and empirical software engineering processes. Prior to his current position he earned his PhD from North Carolina State University in 2005.
Oscar Naim is a Senior Research Program Manager at Microsoft External Research. Oscar joined Microsoft in January of 2006, and he has more than 15 years of experience as a software engineer, including positions at Oracle Corporation and the University of Wisconsin-Madison. He has PhD in Computer Sciences from the University of Southampton, UK (with Tony Hey as his supervisor), as well as a Master and Bachelor’s degree in Computer Sciences from Universidad Simon Bolivar, Venezuela.
As a member of the Advanced Research Tools and Services group, Oscar has been the lead program manager for all Education and Scholarly Communications projects since he joined the team in July of 2009, including projects such as: Chemistry Add-in for Word, Article Authoring Add-in, Ontology Add-in, Zentity and the Research Information Centre Framework (RIC).
In his free time, Oscar loves to play classical guitar and help his sons little league baseball teams.
Ulf Norell got his PhD from Chalmers University in 2007 and is the main developer of the Agda language, a functional programming language with dependent types. He is currently dividing his time between Agda research and development at Chalmers and bringing functional programming and random testing to the industry in the form of Quviq QuickCheck.
Kenton O’Hara is Senior Researcher in the Socio Digital Systems Group at Microsoft Research in Cambridge. His research explores everyday practices and social behaviours relating to mobile and ubiquitous computing and digital displays in public spaces. He has looked at a wide range of technologies applications in public settings, including crowd based games with large displays, location based experiences with barcode readers, mediascape authoring, cross media alternate reality games, interactive tabletops, collaborative jukeboxes.
Kenton has authored 60 publications and two books on and public displays and collaborative music consumption. He has previously worked at at CSIRO in Australia as Director of the HxI Initiative, HP Labs, Rank Xerox EuroPARC and the Appliance Studio. He has worked on numerous award winning projects including the BBC’s BAFTA and Royal Television Society award winning “Coast” location based experience.
Tomas Petricek is a PhD student at University of Cambridge with interest in programming languages. He is a long time F# enthusiast, active community member and author of a book Real-world Functional Programming which explains basic functional concepts using C# 3.0 teaching F# alongside. He contributed to the development of F# during two internships at Microsoft Research in Cambridge. Recently, he has been also working on F# support in MonoDevelop bringing the full F# developer experience to Mac and Linux.
Simon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University, before moving to Microsoft Research (Cambridge) in 1998.
His main research interest is in functional programming languages, their implementation, and their application. He has led a succession of research projects focused around the design and implementation of production-quality functional-language systems for both uniprocessors and parallel machines. He was a key contributor to the design of the now-standard functional language Haskell, and is the lead designer of the widely-used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages.
More generally, he is interested in language design, rich type systems, software component architectures, compiler technology, code generation, runtime systems, virtual machines, and garbage collection. He is particularly motivated by direct use of principled theory to practical language design and implementation -- that's one reason he loves functional programming so much.
His home page is at http://research.microsoft.com/~simonpj.
Leo Plugge received his Masters degree in Cognitive Psychology at the University of Utrecht in 1986. He was the first master student Psychology in Utrecht to specialize in machine learning. In 1992 he received his PhD from the Medical Faculty at Maastricht University for his thesis on computer aided medical diagnosis of Alzheimer and other forms of dementia.
From 1993 Leo worked at the dept. of Computer Science as associate professor where he did research on knowledge management and the use of the Internet. Among others, he introduced in 1993 the Internet as a private network (Intranet) for the Dutch police forces and as cross border extranet for communication with the police forces in Germany, Belgium and France. In 1999 Leo was appointed as researcher and later manager at the Learning Lab of the Maastricht McLuhan Institute.
In 2001 he was installed as Executive Secretary of the Scientific Technical Council (WTR) of Stichting SURF. The WTR is an independent advisory council for the Board of Stichting SURF and all higher education institutions in The Netherlands. Additionally, Leo is Executive Secretary of the Governing Board of GigaPort3, which deploys a highly innovative hybrid research network infrastructure for The Netherlands. He was also involved in setting-up the plans for a national research infrastructure for The Netherlands, and is currently part of the group that prepares the eScience Research Center in Amsterdam. Leo is also Research Fellow at the Tilburg Centre for Cognition and Computing at Tilburg University. More information is available at www.plugge.org.
François Pottier is a senior researcher at INRIA Paris-Rocquencourt, where he studies programming languages. He is interested in type systems as well as in machine-checked proofs of programs. He hopes, through a combination of these techniques, to make the production of correct software easier and more cost-effective.
Arno Puder is an Associate Professor at the San Francisco State University. Prior to his current position, he worked for AT&T Labs Research and Deutsche Telekom AG. His interests include middleware, ubiquitous computing, and applications for sensor networks. He is the founder of the Open Source project XMLVM, a byte-code level cross-compiler.
Prof. Dr. H. Dieter Rombachstudied mathematics and computer science at the University of Karlsruhe and obtained his Ph.D. in computer science from the University of Kaiserslautern (1984). Since 1992 he has held the Software Engineering Chair in the Department of Computer Science at the University of Kaiserslautern. In addition, he is the founding and executive director of the Fraunhofer Institute for Experimental Software Engineering (Fraunhofer IESE) in Kaiserslautern. From 2006 until 2009, he was also a member of the Management Board of the Fraunhofer-Gesellschaft e.V. and chairman of the Information and Communications Group, which consists of 17 institutes. Prior to being appointed director of Fraunhofer IESE, Prof. Rombach founded the Software Technologie Transfer Initiative (STTI) Kaiserslautern and was its director for four years. This initiative led to the foundation of Fraunhofer IESE. From 2001 to 2006, Prof. Rombach was also a Visiting Professor at the Computer Science Department of the University of New South Wales, Sydney, Australia. During the course of the years, Prof. Rombach has declined several university offers (including one to TU Vienna).
Previous career steps included the Institute for Data Processing in Technology at the Karlsruhe Nuclear Research Center (scientist; 1978-79) and the Department of Computer Science at the University of Kaiserslautern (scientist; 1979-1984). This was followed by positions as a guest professor at the University of Maryland and at NASA (1984-1986), as a professor for computer science at the University of Maryland (1986-1991), and as a professor at the Institute for Advanced Computer Studies at the University of Maryland and project manager at the Software Engineering Labor (SEL) at NASA’s Goddard Space Flight Center (1986-1991). Prof. Rombach spent the summer semesters of 1988 and 1989 as a visiting professor at the Software Engineering Institute of Carnegie Mellon University in Pittsburgh, USA.
Prof. Rombach‘s research interests are in the area of “software engineering”, particularly in engineering-style methods for the development of software with predictable quality; quantitative methods for the measurement of software products and processes for the purpose of project management and quality assurance; languages, methods, and tools for the creation and management of development processes on the basis of explicit software process models; as well as empirical methods and their application for determining the effects of software development methods.
In the context of his activities as director of Fraunhofer IESE, Prof. Rombach regularly serves as an expert, auditor, reviewer, and consultant for industry. He provides advisory services to a number of government bodies on the state and federal level as well as on the international level on issues concerning research as well as education and training in the area of computer science and on strategic decisions related to software. Prof. Rombach serves as a scientific adviser to various companies and research institutions.
Prof. Rombach is the author of more than 200 scientific publications. In 1990, he received the "Presidential Young Investigator Award" (endowed with US $ 500.000) of the National Science Foundation (NSF) in the U.S. for his excellent work in the area of software engineering. In 2000, his contributions to the scientific and economic development of the state were recognized when he was awarded the Service Medal of the State of Rhineland-Palatinate. In 2003, he received the Distinguished Postdoctoral Award of the College for Computer, Mathematical and Physical Sciences of the University of Maryland. In the year 2009, he was awarded the Federal Cross of Merit on Ribbon of the Federal Republic of Germany and the University of Oulu, Finland bestowed upon him an honorary doctorate degree in recognition of his lifetime achievements as a software engineer. Since 2009 he has been the chairman of the IEEE Awards Committees for the Software Process Achievement Award (SPA, awarded jointly with the Software Engineering Institute (SEI) of Carnegie Mellon University) and for the Harlan Mills Award.
Furthermore, Prof. Rombach is co-editor of several international journals (e.g., McCluwer Journal for Empirical Software Engineering) and is regularly called upon to act as a program committee member of important software engineering conferences. His appointments include having been the General Chair of the International ACM/IEEE Conference on Software Engineering held in Berlin in 1996 and the Program Co-Chair of the International ACM/IEEE Conference on Software Engineering held in Shanghai in 2006. He is a member of the Gesellschaft für Informatik (GI) and is a Fellow of the ACM (since 2010) and a Fellow of the IEEE Computer Society (since 2003).
Dmitri Roussinov is a senior lecturer in the Department of Computer and Information Sciences at the University of Strathclyde, Glasgow, Scotland. He is interested in natural language processing, information retrieval and business information systems. He has co-authored several papers with researchers from Microsoft's Research and Bing's groups in the past. His most recent project is looking at how a large corpus, such as the entire Web or its n-grams, can help computers to learn to understand human languages in an active unsupervised way, with specific applications to question answering and information retrieval.
Arjmand Samuel is a Research Program Manager at Microsoft Research – External Research. Arjmand is responsible for building academic research partnerships related to Mobile Computing and Software Engineering. Arjmand has a PhD in Information Security from Purdue University. He has published in a variety of publications on topics of privacy and security in the healthcare domain and social media. He has published several patents and contributed to books on access control models. His recent research interests are in the areas of abuse-prevention and privacy in social media, and, cloud-enhanced mobile computing.
Dr.-Ing. habil Thomas Santen is Deputy Director of the European Microsoft Innovation Center (EMIC), located in Aachen, Germany. EMIC partners with corporations and academic institutions to drive promising results from fundamental reseearch into industrial practice. A particular focus lies on embedded systems in domains where European partners are particularly strong, such as industry automation or automotive systems, and on the integration of such systems with classical IT systems. Dr Santen oversees EMIC's relation to academia and research institutions. He leads a team addressing advanced software development techniques for predictable systems, such as design-space exploration in model-based system design and formal code verification, as well as matching platform technology.
Dr Santen received a Diploma in Computer Science form the University of Karlsruhe, and a doctorate on the mechanized verification of object-oriented systems of the Technical University of Berlin. His habilitation at TU Berlin addressed the development of secure IT systems with a particular focus on the preservation of secrecy properties.
Wolfram Schulte is a principal researcher and the founding manager of Microsoft’s Research in Software Engineering (RiSE) team in Redmond, Washington. His research concentrates on improving software development. At Microsoft he co-designed runtimes like Linq and the Task Parallel Library, test tools like Spec Explorer and Pex, verifiers like Spec# and VCC, and modeling tools like AsmL and Formula. Schulte has coauthored more than 80 refereed papers, and holds numerous patents. He has a PhD from TU Berlin, a state doctorate from the University of Ulm, and he worked for a couple of years as a software engineer.
James Scott is a researcher in the Sensors and Devices group at Microsoft Research Cambridge, UK. His research interests span a wide range of topics in ubiquitous and pervasive computing, and include novel sensors and devices, mobile interaction, rapid prototyping, wireless and mobile networking, energy management, and security and privacy. He has authored over 30 peer-reviewed publications and has served on the PCs of leading international conferences such as UbiComp, MobiSys and Pervasive, and is the current steering committee chair of the UbiComp conference series. You can find out more about his research at http://research.microsoft.com/~jws/
Dr.-Ing. Dirk Seifert is a Software Design Engineer at the European Microsoft Innovation Center in Aachen, Germany. He is member of a team addressing advanced software development techniques for predictable systems with a focus on in design-space exploration in model-based systems capturing functional and non-functional requirements.
Dr.-Ing Dirk Seifert studied Computer Science and holds a PhD on automated testing of asynchronous systems from the Technical University of Berlin. Before joining Microsoft, he has been as a postdoc at the Lorraine Laboratory of IT Research and its Applications in Nancy, France.
Manuel Serrano is a Senior Scientist at INRIA, leading the INDES (Informatique Diffuse et Sécurisée) team in Sophia-Antipolis. After completing his PhD (Paris VI, 1994), on the compilation of functional languages, he moved to Nice and created the Bigloo development environment for Scheme. He joined INRIA in 2001, and has focussed on development environments for the diffuse web since 2005.
Manuel Serrano has created HOP a Software Development Kit for the diffuse Web. This includes a new higher-order language for programming interactive web applications including multimedia applications (web galleries, music players, ...), office applications (web agendas, mail clients, ...) and home automation (ubiquitous domotics). HOP can also be viewed as a replacement for traditional graphical toolkits.
Ashwani Sharma – Program Manager, External Research, Microsoft Research India
Ashwani oversees all collaboration activities between Microsoft Research India and the Indian academia. He is responsible for programs like PhD Fellowships, Faculty Awards and various Schools and Research Workshops. He also works actively to promote research among students of Computer Science and allied areas. His nine years of professional experience spans Technical Evangelism, Marketing and Software Development. When he is not touring universities or working with professors to promote research, Ashwani might be caught playing drums or badminton.
I have an MSc in Mathematics, PhD in linguistics, and I worked as a freelance translator in between. In the end, I came to working in computational linguistics. My research interests combine three domains: linguistics, computer science and communication studies.
Probably the most interesting bit in my recent research is automatic acquisition of representative corpora from the Web and their analysis in terms of the distribution of domains and genres. Another recent development is an umbrella of projects aimed at finding translation equivalents for terminology and general lexicon from such corpora.
Jamie Shotton studied Computer Science at the University of Cambridge, and remained at Cambridge for his PhD in Computer Vision and Visual Object Recognition, graduating in 2007. He was awarded the Toshiba Fellowship and travelled to Japan to continue his research at the Toshiba Corporate Research & Development Center in Kawasaki. In 2008 he returned to the UK and started work at Microsoft Research Cambridge in the Machine Learning & Perception group.
His research interests include Object Recognition, Machine Learning, Human Pose Estimation, Gesture and Action Recognition, and Medical Imaging. He has published papers in all the major computer vision conferences and journals, with a focus on object detection by modelling contours, semantic scene segmentation exploiting both appearance and semantic context, and dense object part layout constraints. His demo on real-time semantic scene segmentation won the best demo award at CVPR 2008. More recently, he has investigated how many of the ideas from visual object recognition and machine learning can be adapted to new application areas. In human pose estimation, he architected the human body part recognition algorithm that drives Xbox Kinect’s skeletal tracking algorithm. In the sphere of medical imaging, he has published papers on the automatic detection of organs and other anatomical structures from CT data, with a view to simplifying and speeding up the radiologist’s workflow.
More information is available here: http://research.microsoft.com/en-US/people/jamiesho/default.aspx
Prof. Satnam Singh's research interests include involves finding novel ways to program and use reconfigurable chips called FPGAs and in parallel functional programming. Satnam Singh completed his PhD at the University of Glasgow in 1991 where he devised a new way to program and analyze digital circuits described in a special functional programming language. He then went on to be an academic at the same university and lead several research projects that explored novel ways to exploit FPGA technology for applications like software radio, image processing and high resolution digital printing, and graphics. In 1998 he moved to San Jose California to join Xilinx's research lab where he developed a language called Lava in conjunction with Chalmers University which allows circuits to be laid out nicely on chips to give high performance and better utilization of silicon resources. In 2004 he joined Microsoft in Redmond Washington where we worked on a variety of techniques for producing concurrent and parallel programs and in particular explored join patterns and software transactional memory. In 2006 he moved to Microsoft's research laboratory in Cambridge where he works on reconfigurable computing and parallel functional programming. He holds the Chair of Reconfigurable Systems at the University of Birmingham; is a fellow of the IET; a visiting professor at Imperial College; and a visiting lecturer at Chalmers in Gothenburg, Sweden.
Steffen Staab is professor for databases and information systems at the University of Koblenz-Landau. He is director of the institute for Web Science and Technologies (West; http://west.uni-koblenz.de). His interests are related to many aspects of Web Science, such as Semantic Web, Web Retrieval, Social Web, Multimedia Web, Software Web and Interactive Web. Steffen held positions as researcher, project leader and lecturer at the University of Freiburg, the University of Stuttgart/Fraunhofer Institute IAO, and the University of Karlsruhe and he is a co-founder of Ontoprise GmbH.
Don Syme is a Principal Researcher at Microsoft Research, Cambridge. He is the designer of the F# language, recently released as F# 2.0, including the F# parallel/asynchronous programming model. He is also the co-designer and co-implementer of generics for the .NET CLR, now used as a fundamental part of the programming models of C# and VB in Mono and Microsoft implementations.
Professor Tuula Teeri (b. 1957), was appointed as Aalto University’s first President for a term of five years beginning on 1 April 2009. Professor Teeri was previously Vice President at the Royal Institute of Technology (KTH) in Stockholm. She completed her doctoral thesis at VTT, and received her doctorate from the University of Helsinki in 1987. She has a research background in biotechnology with a particular interest in applications within the forest industries. Professor Teeri is a member of the Royal Swedish Academy of Sciences, the Royal Swedish Academy of Engineering Sciences, the Finnish Academy of Technology and the Swedish Academy of Technology in Finland. She is also cofounder of SweTree Technologies.
Dr. Lesley Thompson has responsibility for managing the EPSRC portfolio, commissioning £740 million per year for research and postgraduate training in engineering and the physical sciences.
She has been the Director Research Base for 4 years, before this she was EPSRC's Healthy Research Base Coordinator, which included coordinating Core Programmes (Engineering, Chemistry, Mathematical Sciences, Materials, ICT and Physics) and has been Head of several programmes including the Life Sciences Interface.
Stephan Tobies is a Software Design Engineer at the European Microsoft Innovation Center where he works on software verification. He is a lead developer of VCC, Microsoft Research’s Verification System for Concurrent C, which has been used to verify the Microsoft Hyper-V Hypervisor. Until March 2005, Stephan Tobies has worked as a Senior Research Engineer at Nokia Research Center. He received an MSc in Computer Science and a PhD in Natural Sciences from the University of Technology in Aachen in 1998 and 2001.
Evelyne Viegas is the Director of Semantic Computing at Microsoft Research, based in Redmond, U.S.A.
Semantic Computing is about interacting with data in rich, safe and semantically meaningful ways, to create the path from data to information, knowledge and intelligence. In her current role Evelyne is building initiatives which focus on information seen as an enabler of innovation, working in partnership with universities and government agencies worldwide. In particular she is creating programs around computational intelligence research to drive open innovation and agile experimentation via cloud-based services; and projects to advance the state-of-the-art in knowledge representation, reasoning under uncertainty at web scale.
Prior to her present role, Evelyne has been working as a Technical Lead at Microsoft delivering Natural Language Processing components to projects for MSN, Office, and Windows. Before Microsoft, and after completing her Ph.D. in France, she worked as a Principal Investigator at the Computing Research Laboratory in New Mexico on an ontology-based Machine Translation project. Evelyne serves on international editorial, program and award committees.
Nicolas Villar is a Researcher in the Sensors and Devices Group, part of the Computer Mediated Living Research Area at Microsoft Research Cambridge, UK. He works on the development of novel user interface technologies and new interaction techniques that aim to minimize the complexity of human-computer interaction and improve the experience of working and playing with technology. Nicolas is particularly interested in the use of embedded systems as building blocks in the design of physical interactive objects and user interface devices that are engaging, useful and usable.
John Winn is a senior researcher in the machine learning and perception group at MSR Cambridge. He has applied machine learning to applications ranging from recognising Bill Gates’ glasses in an image to understanding the genetic causes of asthma. His work on real time recognition of objects in video formed part of the groundwork behind the Xbox Kinect system. His goal in life is to make powerful machine learning techniques accessible to everyone so that they can have as much fun with them as he does.
Ken Wood is Deputy Managing Director at Microsoft's Cambridge Research Lab with responsibility for the lab's business-facing activities, including technology transfer, incubation, licensing, spin-outs, and other models for utilizing the intellectual property generated by the lab's research groups. As Deputy Director, Ken also oversees the lab's marketing and communications activities.
Ken also heads the Computer-Mediated Living research group (CML) which he founded in 2003. CML's vision is fundamentally interdisciplinary, bringing together hardware engineering, computer science, psychology, and sociology to address the problem of designing innovative technology to support everyday life in its widest sense. Ken's personal research interests include human-computer interaction, information retrieval, digital media management, and ubiquitous computing. He has numerous publications in these areas and holds several patents.
Ken joined Microsoft in September 2002 from RealVNC, a start-up he co-founded with colleagues from AT&T Labs Cambridge. Previously, in his seven years at AT&T Labs, Ken led research in the areas of multimedia information retrieval and communications, and was involved in the incubation and business planning of a number of projects that were spun out from the lab as successful independent companies. Earlier posts include several years as an academic at Oxford University, three years at Nortel Networks, and a year's sabbatical at the London School of Economics.
Ken is a Fellow of the British Computer Society and sits on the Board of the Cambridge Network. He holds a doctorate in Computation from Oxford University and an AB in Applied Mathematics and Economics from Harvard University.
Jim Woodcock holds the Anniversary Chair in Software Engineering at the University of York. His current research interests include industrial-scale software engineering, Safety-Critical Java, unifying theories of programming, railway signalling, hybrid control systems, and model checking state-rich concurrent systems. He helps to organise the international grand challenge on Verified Software. His main contribution is in leading verification experiments, and there are currently 60 research teams working on the verification projects he has proposed. He is a Chartered Fellow of the BCS and a consulting software engineer.
Brian Zill is a Senior Research Software Design Engineer in the Networking Research Group at Microsoft Research Redmond. Since joining Microsoft in 1994 he has worked on a variety of projects, including Microsoft Interactive Television, IPv6, Mesh, DAIR, and Hawaii. He originated Microsoft’s IPv6 effort, and co-wrote the IPv6 protocol stack that was included in Windows XP and Windows Server 2003. He is the co-author of over 15 academic research papers and 2 standards-track IETF RFCs. Before joining Microsoft he was a Research Developer at Carnegie Mellon University, where he worked on the Nectar gigabit networking project.
Thomas Zimmermann is a researcher in the Empirical Software Engineering Group at Microsoft Research and an adjunct assistant professor in the Department of Computer Science at the University of Calgary. He received the Diploma degree in computer science from the University of Passau and the PhD degree from Saarland University, Germany. His research focuses on systematic mining of version archives and bug databases to conduct empirical studies and to build tools to support developers and managers. His research interests include empirical software engineering, mining software repositories, software reliability, development tools, and social networking. He received two ACM SIGSOFT Distinguished Paper Awards for his work at ICSE '07 and FSE '08. He co-organized an ICSM working session on Myths in Software Engineering, the DEFECTS '08 and '09 and RSSE '08 and '10 workshops. He served on a variety of program committees, including ICSE, ECOOP, ISSTA, MSR, PROMISE, ICSM, and the ACM Conference on Recommender Systems. He is PC co-chair for the Mining Software Repositories conferences '10 and '11. Visit his homepage at http://thomas-zimmermann.com
Xin Zou is a Development Manager in Microsoft Research Asia, Innovation Engineering Group. He works with his colleagues in technical innovation, transferring research ideas into commercial products.
He has been working in Microsoft since 1996, involved in the development of Microsoft Outlook, MS internal project management tool, and Visual Studio Team Foundation Server.
He has a BS degree from Peking University (1991), MS degree from Wayne State University (1996), both in Computer Science.