Khalil joined the lab in Fall 2020. His primary research areas include intelligent system design and blockchain security.