Tips and Tools for Scientific Research Success
June 16–18, 2014 | Cambridge, United Kingdom
Jasmin Fisher is a Senior Researcher at Microsoft Research Cambridge and a Reader and Group Leader in the Department of Biochemistry in Cambridge University. She received her BSc in Biology (1996) and MSc in Biophysics (1998) from Ben-Gurion University in Israel, and her PhD in Neuroimmunology from the Weizmann Institute of Science in Israel (2003). She started her work on the application of formal methods to biology as a postdoctoral fellow in the department of Computer Science at the Weizmann Institute (2003-2004), and then continued to work on the development of novel formalisms and tools that are specifically-tailored for modelling biological processes as a postdoctoral researcher in the School of Computer Science at the EPFL in Switzerland (2004-2007). In 2007, Jasmin moved to Cambridge to join the Microsoft Research lab. Jasmin is one of the founders of the field of Executable Biology and a leader in the area of formal methods in biology. She is a pioneer in using computer program analysis techniques to construct and analyse executable models of cellular processes and disease. Her group’s research focuses on molecular mechanisms controlling cell fate decisions during normal development and cancer.
Kenton O'Hara works in the Socio Digital Systems Groups at Microsoft Research Cambridge and is also a Visiting Professor in the Computer Science Department at the University of Bristol. His research explores everyday social and collaborative practices with technology with a view to informing design and innovation. His most recent research has focused on user experiences and practices with “touchless” gestural interaction technology in a variety of areas such as surgery, urban displays and everyday desktop computing. Over the years, his research has investigated new technologies in a variety of domains including the home, mobile environments, urban settings and the workplace. Kenton has authored over 90 publications and two books on public displays and music consumption. He has previously worked as a Senior Principal Scientist at CSIRO and as Director of the HxI Initiative in Australia as well as being a Senior Researcher at Xerox EuroPARC, HP Labs and the Appliance Studio.
Antonio Criminisi In June 2000 Antonio Criminisi joined the Machine Learning and Perception group (MLP) at Microsoft Research in Cambridge as a Visiting Researcher. In February 2001 he moved to the Interactive Visual Media Group in Redmond, USA as a Post-Doctorate Researcher and in October 2002 he returned to MLP in Cambridge as a Researcher.
Antonio's current research interests are: image-based modelling of spaces, image and video analysis and editing; one-to-one teleconferencing; 3D reconstruction from images with application to virtual reality; forensic science; image-based rendering and history of art.
Antonio Criminisi was born in 1972 in Italy. In October 1990 he was appointed "Alfiere del Lavoro" by the Italian President F. Cossiga for his academic achievement. He has a Degree in Electronics Engineering from the University of Palermo and a PhD in Computer Vision from the University of Oxford. His thesis, “Accurate Visual Metrology from Single and Multiple Uncalibrated Images” won the British Computer Society Distinguished Dissertation Award for the year 2000 and was published by Springer-Verlag London Ltd. in August 2001.
He is currently a Research Fellow at Clare Hall College, Cambridge.
Don Syme is a Principal Researcher at Microsoft Research, Cambridge. I help Microsoft make better programming languages, and, through that, make people more productive and happier.
My main current responsibility is the design and implementation of F# (blog), though I've also worked on C# (being co-responsible for C# and .NET generics) and, indirectly, Visual Basic and other .NET languages.
As a researcher, my area is programming language design and implementation, with emphasis on making functional languages that are simpler to use, interoperate well with other languages and which incorporate aspects of object-oriented, asynchronous and parallel programming. I am interested in programming language perspectives on type inference, concurrency, reactivity, pattern matching and language-oriented programming. I also work extensively with teams in the Microsoft Developer Division on other programming-related technologies.
I am the primary author of Expert F#, published in 2007, and we are now working on a second edition of this book. In the past I have worked in formal specification, interactive proof, automated verification and proof description languages. I have a PhD from the University of Cambridge and am a member of the WG2.8 working group on functional programming.
Drew Purves is head of the Computational Ecology and Environmental Science Group (CEES), a part of the Computational Science Lab at Microsoft Research Cambridge. The goal of CEES is to develop predictive models of ecological systems, by inventing and applying new models and new scientific software tools.
Drew studied ecology at Cambridge University, did a PhD in ecological modelling at the University of York (UK, working under Prof. Richard Law), and spent nearly 6 years as a postdoc in the EEB Department at Princeton University (working under Prof. Stephen Pacala), before joining MSR Cambridge in 2007. My research has led to over 30 publications in peer-reviewed journals including Science, PNAS, Proc Roy Soc B, Global Change Biology, Ecology, Ecological Monographs and Ecology Letters. I co-supervise several PhD students at European universities (see below), and since 2008 have been an affiliate lecturer at Cambridge University. I am currently the treasurer of the British Ecological Society.
Dr. Steven M. Drucker is a principal researcher in the Visualization and Interaction group at Microsoft Research focusing on human computer interaction for dealing with large amounts of information. He is also an affiliate professor at the University of Washington Computer Science and Engineering Department. Before coming to Microsoft, he received his Ph.D. from the Computer Graphics and Animation Group at the MIT Media Lab in May 1994, a M.S from the AI Lab at MIT in 1989, and an ScB in Neurosciences from Brown University in 1984.
He has demonstrated his work on stage with Bill Gates at the Consumer Electronics Show (CES); shipped software on the web for gathering and acting on information collected on the web; was written up in the New York Times; filed over 120 patents; and published papers on technologies as diverse as exploratory search, information visualization, multi-user environments, online social interaction, hypermedia research, human and robot perceptual capabilities, robot learning, parallel computer graphics, spectator oriented gaming, and human interfaces for camera control.
Rane Johnson-Stempson is the Education and Scholarly Communication Principal Research Director, where she engages with academics worldwide and identifies high-impact areas for research investigations. She is currently working on projects that use technology to transform how we learn about history, teach middle school girls programming and how we eradicate human trafficking. Rane is also the lead for growing, attracting and retaining women in research, science and engineering. She is actively working with NCWIT, Anita Borg, AAUW, CRA-W, IEEE-WIE, ACM-W and researchers on how to grow the pipeline of women in research, science and engineering. She has been selected to sit on Whitehouse committees to focus on how technology can stop the commercial sex trafficking of minors and technology inclusion for under-represented minorities in STEM. Previously, as the WW Director of Education Strategy she was responsible for multi-stakeholder partnerships, Cisco-Intel-Microsoft Alliance, World Economic Forum- Global Education Initiative, Fast Track Initiative-Private Constituency and helping our local teams around the world use the power of technology as an accelerator to transform education to meet local government priorities to drive economic and workforce development in the 21st century.
Sian Lindley is a researcher in the Socio-Digital Systems group at Microsoft Research in Cambridge. My research focuses on how use of technology is influenced by the social context in which it is situated, and how understanding that context can feed into design.
My most recent work has explored how people use the web in their everyday lives, resulting in a framework of five modes of web use and explorations of the web as a kind of personal archive. I am interested in how people manage their digital 'stuff'. Where that stuff is kept, and how users can keep track of and feel in control of it, is becoming more complex in the current landscape of cloud computing and social media.
My methods tend to involve interviews and field studies, and I have run a number of projects in which prototype technologies are deployed 'in the wild'. These include SenseCam, a wearable 'lifelogging' camera, and Wayve, a home messaging device. I am principally interested in the experiences that such technologies afford, for example the playful interactions that unfolded via Wayve, and the reflections on the seemingly mundane aspects of everyday life that were underpinned by SenseCam.
Andy Gordon is a Principal Researcher at Microsoft Research Cambridge, where he manages Programming Principles and Tools, and is a Professor at the University of Edinburgh. Andy wrote his PhD on input/output in lazy functional programming, and is the proud inventor of Haskell's ">>=" notation for monads. He's worked on a range of topics in concurrency, verification, and security, never straying too far from his roots in functional programming. His current passion is a functional language to enable probabilistic inference from Excel.
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 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, garbage collection, and more. 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. He is also keen to apply ideas from advanced programming languages to mainstream settings.