Lang Liu

About Me

I am a Ph.D. student in Computer Science at Illinois Institute of Technology. My advisor is Farzaneh Derakhshan . Currently, I am working on LabelBI, a logic system based on the logic of Bunched Implication that enables compositional reasoning about underapproximations.

Publications

• Quantified Underapproximation via Labeled Bunches
  OOPSLA 2025

Humble as I, slow to say hi.      Code as hobby, from day to night.

资质鄙陋，常不敢妄言。     闲敲代码，度日有月悬。

Devotion and working, are what to stand by.      Build a miracle, with you and I.

立身于世，靠谱与实干。     与君共睹，创事业斐然。