Lucas Bang

Ph.D. Candidate

Email: bang at cs dot ucsb dot edu

Verification Laboratory
Department of Computer Science
University of California, Santa Barbara

Home   |   Curriculum Vitae   |   Completed Courses   |   Teaching

I am a Ph.D. candidate at the University of California, Santa Barbara. I am researching ways to perform automated analysis of software side channels. To that end, I am working to combine symbolic execution with model counting and information theoretic measures of side-channel information leakage. I am advised by Tevfik Bultan in the Verification Lab.

Prior to joining the UCSB Computer Science Department, I completed undergraduate degrees in mathematics and computer science at the University of Nevada, Las Vegas. I also completed a master's degree in computer science at UNLV, where I worked on competitive online algorithms for the k-server problem with Lawrence Larmore.