Boon Thau Loo
Publications | Talks
Brief bio: I am a 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 lead the NetDB@Penn
research group, where we are working on several exciting projects at the
intersection of databases, networking, and formal methods. I am also part of the distributed systems and database groups. 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 am also 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 2017 office hours: By appointment only (605 Levine).
- Special Topic: Managing Software-defined Infrastructures - Summer 2017 (National University of Singapore).
- CIS 700/001: Operating Systems Design and Implementation - Spring 2017.
- CIS 380 Operating
Systems - Fall 2016, Fall 2013, Fall 2012, Fall 2011
- 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 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 and postdocs:
Graduated Ph.D. students and postdocs [Genealogy]
Research group affiliations: