Likai Liu
I am a graduate (Ph.D.) student at 
Boston University Graduate School of Arts and Sciences, studying computer science. I'm also a class 2004 graduate of Boston University, holding a B.A. degree of Computer Science and Mathematics.
My contact information may be retrived from the BU Directory or using "ph" command line utility if you have a BU computer systems account. This information is official from the university registrar, and is guaranteed to be up to date.
E-mail addresses, both are spam filtered:
- liulk (at) cs.bu.edu, for computer science related subjects.
- liulk (at) bu.edu, for all other affairs.
See my current Schedule.
Activities
Talks
- Unit Testing for Student Talk Series.
Teaching Assistance
- Fall 2006 - CS320 Concepts of Programming Languages (Xi)
- Fall 2005 - CS320 Concepts of Programming Languages (Kfoury)
Classes
Spring 2007
- ENG SC713 Parallel Computing Architecture (Herbordt)
- Directed study (Kfoury)
Fall 2006
- Seminar on Approximation Algorithms (Gacs)
- Directed study (Kfoury)
- Directed study (Xi)
Spring 2006
- CS660 Introduction to Databases (Kollios)
- Seminar on Logic and Formal Methods (Kfoury)
- Directed study (Kfoury)
Fall 2005
- CS535 Complexity (Homer)
- CS640 Artificial Intelligence (Betke)
Spring 2005
- CS530 Analysis of Algorithms (Homer)
- CS585 Image and Video Computation (Betke)
- Seminar on Programming Language Topics (Kfoury, Xi)
- Directed study (Kfoury)
Fall 2004
- CS538 Cryptography (Reyzin)
- CS655 Networking I (Byers)
- Directed study (Kfoury)
Current Projects
This is an overview of current projects. Please check the Status page for progress activities.
- TRAFFIC - "Safe Composition Specification of Networked Systems", joint work with Azer Bestavros, Assaf Kfoury, and Ibrahim Matta. I am responsible for (1) designing and implementing a compositional analysis type inference algorithm; (2) building and motivating type system with polymorphic and constrained types, TRAFFIC(X); and (3) maintaining the web site.
- ATS - "Applied Type System" by Hongwei Xi. ATS provides classical and linear theorem proving facilities that form the foundation of safe pointer arithmetic, resource usage, and concurrency. I contribute to a repertoire of functions and lemmas in ATS by identifying C code that can be proven safe and proving its safety in ATS.
Also see OtherProjects for the ones I have worked on in the past.
Fun
Here is a little Survey about myself.
This homepage is made with PhpWiki. The DefaultHomePage has some good links on how to use a Wiki. This is a closed wiki, i.e., unauthorized editing is not allowed.