A big welcome to Ilya Grischenko, who is joining us as a postdoctoral fellow from UCSB. Ilya specializes in System Security and Formal Methods and will be a fantastic fit for the vulnerability and verification work on our group. Looking forward to some great collaborations!