Boon Thau Loo
Research | Publications | Talks
I am an Associate Professor in the Computer and Information Science (CIS)
department at the University of Pennsylvania. I hold a secondary appointment in the Electrical and Systems Engineering (ESE) department. I am also the CIS Masters Chair, and Director of our Master of Science in Engineering in CIS program.
I received my Ph.D. degree
in Computer Science from the University of California at Berkeley in
2006. Prior to my Ph.D, I received my M.S. degree from Stanford
University in 2000, and my B.S. degree with highest honors from UC
Berkeley in 1999. I was awarded the 2006 David J. Sakrison Memorial
Prize for the most outstanding dissertation research in the Department
of EECS at UC Berkeley, and the 2007 ACM SIGMOD Dissertation Award. I am
a recipient of the NSF CAREER award (2009) and the Air Force Office of
Scientific Research (AFOSR) Young Investigator Award (2012). My graduated Ph.D. students include three winners of dissertation awards (Rubinoff, SIGMOD, SPEC).
I lead the NetDB@Penn
research group, where we are working on several exciting projects at the
intersection of databases, networking, and formal methods. Please refer to my research projects, research and teaching statements for more details.
I am also an active entrepreneur, currently the co-founder and Chief Scientist at Termaxia, a big data storage startup. I have also participated in the NSF I-Corps program, advise the Penn M&T Innovation fund, and done technology transfer from my research at Penn.
Summer 2016 office hours: By email appointment (605 Levine).
- Special Topic: Software-defined Data Centers - July 2016 (National University of Singapore)
- CIS 505 Software Systems - Spring 2016, Spring 2015, Spring 2011, Spring 2009, Spring 2008
- CIS 800 Special Topic: Software-defined Data Centers - Fall 2015
- CIS 380 Operating
Systems - Fall 2013, Fall 2012, Fall 2011
- CIS 553 / TCOM 512 Networked Systems - Spring
2010, Fall 2009, Fall 2008, Fall 2007
- CIS 800/003 Rigorous Internet Protocol Engineering - Fall 2011
- CS 598D: Formal Methods in Networking - Spring 2010 (Princeton)
- CIS 700/005 Special Topics: Networking meets
Databases - Spring 2007
Current PhD students:
Graduated Ph.D. students and postdocs [Genealogy]
Research group affiliations: