Yue Li is a postdoc currently working at the CASA(Center for Advanced Software Analysis), Aarhus University, Denmark. He received his Ph.D from the University of New South Wales, Australia. His interests include program analysis, programming languages, security and software engineering.