First Name

Andrew

Last Name

Mata

Email Address

andrew.mata@stonybrook.edu

Image

Student Type
Ph.D

Expected Graduation Date

Research Area

Formal Methods, Neural Network Verification

Advisor

Stanley Bak