William DeMeo is a seasoned professional in the field of mathematics and computer science, currently serving as a Formal Methods Engineer at Input Output (IOHK) since January 2023. Prior to this role, William held the position of Senior University Lecturer in Computer Science at New Jersey Institute of Technology, where responsibilities included teaching courses in Foundations of Computing, Big Data, and Artificial Intelligence. William's academic experience also includes postdoctoral research at Charles University in Prague and the University of Colorado Boulder, as well as visiting professorships at the University of Hawaii at Manoa and the University of South Carolina. William's educational background features a Ph.D. in Mathematics from the University of Hawaii at Manoa, a Master of Science from New York University, and dual Bachelor of Arts degrees in Economics and Mathematics from the University of Virginia.
This person is not in any teams
This person is not in any offices