..

Some friends and fellow researchers from around the PL/Formal Methods space. Please check them out!

• Arjun Vendantham
• Kiran Gopinathan
• Hemant Sai Gouni
• Ari Prakash
• Anahita Golshani
• Selene Wu
• Sai Divvela
• JJ
• Youssef Saleh
• Roger Burtonpatel
• Isidore Mohr
• Jonathan Chan