TSD 2014
4th Tsinghua Software Day
               
 Home  Invited Speakers  Lectures  Program  Local Infomation  Contact Us  
               
Vijay Saraswat

Vijay Saraswat

IBM TJ Watson Research Center
Columbia University, USA

Vijay Saraswat joined IBM Research in 2003, after a year as a Professor at Penn State, a couple of years at startups and 13 years at Xerox PARC and AT&T Research. His main interests are in programming languages, constraints, logic and concurrency. At IBM, he leads the work on the design of X10, a modern object-oriented programming language intended for scalable concurrent computing.
Greg Morrisett

Greg Morrisett

Havard University

Greg Morrisett received his B.S. in Mathematics and Computer Science from the University of Richmond in 1989, and his Ph.D. from Carnegie Mellon in 1995. In 1996, he took an assistant professor position in the Computer Science Department of Cornell University, where he was promoted to associate professor with tenure in 2002. In the 2003-04 academic year, he took a sabbatical and visited the Microsoft European Research Laboratory. In 2004, he moved to Harvard as the Allen B. Cutting Professor of Computer Science, and served in the position of Associate Dean for Computer Science and Engineering from 2007-2010. He currently heads the Harvard Center for Research on Computation and Society.

Morrisett has received a number of awards for his research on programming languages, type systems, and software security, including a Presidential Early Career Award for Scientists and Engineers (presented at the White House in 2000), an IBM Faculty Fellowship, an NSF Career Award, and an Alfred P. Sloan Fellowship.

He served as Chief Editor for the Journal of Functional Programming and as an associate editor for ACM Transactions on Programming Languages and Systems and Information Processing Letters. He currently serves on the editorial board for The Journal of the ACM and as co-editor-in-chief for the Research Highlights column of Communications of the ACM. In addition, Morrisett has served on the DARPA Information Science and Technology Study (ISAT) Group, the NSF Computer and Information Science and Engineering (CISE) Advisory Council, Microsoft Research's Technical Advisory Board, Microsoft's Trusthworthy Computing Academic Advisory Board, and the Fortify Technical Advisory Board.

Mingsheng Ying

Mingsheng Ying

Tsinghua University, China
University of Technology, Sydney, Australia

Professor Ying graduated from Fuzhou Teachers College, Jiangxi, China, in 1981. He is a Distinguished Professor with and the Research Director of the Center for Quantum Computation and Intelligent Systems(QCIS), Faculty of Engineering and Information Technology, University of Technology, Sydney, Australia, and Cheung Kong Professor with the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. His research interests are quantum computation and quantum information, formal methods and logics in computer science, and foundations of artificial intelligence. He has published more than 100 papers in various international journals. He is the author of the book "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs"(Springer-Verlag, 2001).
Luke Ong

Luke Ong

University of Oxford, England

Luke Ong is Professor of Computer Science and Director of Graduate Studies, Department of Computer Science, University of Oxford; and Fellow of Merton College. He holds a BA in Mathematics (1984, Triple First) and a Postgraduate Diploma in Computer Science (1985, Distinction) from the University of Cambridge, and PhD in Computer Science (1988) from Imperial College London. After a Lectureship at the National University of Singapore (1991) and a Prize Research Fellowship at Trinity College Cambridge (1992-1993), he was appointed to a University Lectureship at the University of Oxford in 1994 and promoted to Professor in 2004. He was a Visiting Professor at Ecole Normale Superieure, Paris (1996), Visiting Consultant at Bell Labs, Murray Hill, USA (2001), and Resident Member of the Isaac Newton Institute of Mathematical Sciences, Cambridge (1996 and 2006).

Ong's research has mainly been in semantics of computation. He has worked in many areas in the semantics and logic of computation, including lambda calculus and types, concurrency, linear logic and computational proof theory. He has played a leading role in the development of game semantics. More recently his research has tended to be motivated by algorithmic problems. He has worked in software model checking, algorithmic game theory and computational economics, implicit computational complexity, and convergence and scalability in internet routing protocols. His current projects include higher-order model checking, verification of concurrent programs, and validation of firmware.

Luke Ong is General Chair of ACM/IEEE Symposium on Logic in Computer Science. He was PC chair of CSL05, LICS07, IFIP TCS08, FoSSaCS10 and TLCA11. He serves on the steering committee / council of LICS, ETAPS, EACSL, FoSSaCS, TLCA, GaLoP and ILLC. He chairs the Informatics and Mathematics Expert Panel, Academic Research Council, Singapore; and is a jury of the EACSL Ackermann Award. He has served as a member of the EPSRC Peer Review College and on the editorial boards of the LMS Journal of Computation and Mathematics and Logical Methods in Computer Science.