• Skip to main content
  • Skip to header right navigation
  • Skip to site footer
MEST Center

MEST Center

National Microelectronic Security Training Center

  • Home
  • About Us
    • Highlights
    • Advisory Board
    • Diversity and Inclusion Statement
    • Careers
  • Contributors
  • Trainings & Schedule
    • Webinars
    • On-Site and Virtual Training
    • On-Campus Training
    • Certificate Programs
    • Courses
  • Contact Us

Webinar: Hardware Security Verification Using Formal Methods

February 5, 2020 by k.galatea

Date/Time
Date(s) - 02/05/2020
12:00 - 13:00
Add to Google Calendar or iCal/Outlook Calendar


Speaker: 

Dr. Prabhat Mishra, Professor in the Department of Computer and Information Science and Engineering at the University of Florida

Abstract:

 

Speaker Bio:

Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering at the University of Florida. He received his Ph.D. in Computer Science and Engineering from the University of California at Irvine in 2004. His research has been recognized by several awards including the NSF CAREER Award, IBM Faculty Award, three Best Paper Awards, and EDAA Outstanding Dissertation Award. Prof. Mishra is an ACM Distinguished Scientist and a Senior Member of IEEE.


Registration

Bookings are closed for this event.

MEST Center Associates

Copyright © 2022

Navigation

Home
About Us
Contributors
Trainings & Schedule
Contact Us