Honors & Awards


  • Scholar, Fulbright

All Publications


  • The Marabou Framework for Verification and Analysis of Deep Neural Networks Katz, G., Huang, D. A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S., Wu, H., Zeljic, A., Dill, D. L., Kochenderfer, M. J., Barrett, C., Dillig, Tasiran, S. SPRINGER INTERNATIONAL PUBLISHING AG. 2019: 443–52