Si Liu — Computer Science & Eng. faculty at Texas A&M. Research: Formal Methods, Databases, Distributed Systems.