• 
• Lance Tan
• University: Yale University CT
• Project Summary Page: 980 - Formal program verification for a smart network interface controller
• Mentor: Srinivas Narayana
• Mentor Department: Computer Science
• Project Site: https://archive.reu.dimacs.rutgers.edu/2020/lkt27/public_html
• Project Site - Original: http://reu.dimacs.rutgers.edu/~lkt27
• Personal Site: http://reu.dimacs.rutgers.edu/~lkt27/
• Participant Year: 2020