معرفی
Dr. Si Liu is a researcher at ETH Zürich's Institut für Informationssicherheit, specializing in distributed systems and database verification. His research focuses on developing formal methods to ensure consistency and isolation guarantees in database transactions, DNS security, and neural network verification.
His work bridges theoretical computer science with practical system design, creating tools like Plume for black-box isolation checking and techniques for compositional DNS attack analysis. Recent projects include NOC-NOC for optimal distributed transactions and abstraction-based DNN verification.
Dr. Liu has contributed significantly to protocol design for internet architectures and database concurrency models, with publications spanning top conferences including EuroSys, OSDI, and USENIX Security.
