Default Directory Image


Assistant Research Professor
E370 Westgate Building
University Park, PA 16802
Ph.D., Computational Science and Engineering, Michigan Tech University
M.S., Mathematics, Michigan Tech University

Hello! My name is Amer Tahat. I am an Assistant Research Professor in the Software Systems Security Research Group at Penn State University, led by Prof. Dinghao Wu. My current primary area is Formal Verifications and Cybersecurity. I use reverse engineering and deductive proofs to verify the safety properties of critical software systems that run on ARM hardware. I received my Ph.D. in Computational Science and Engineering from Michigan Technological University on August 13, 2016, under Prof. Ali Ebnenasir's supervision. Dr. Cesar Munoz, the head of NASA Langley Formal Methods Group's Safety-Critical Avionics Systems Branch, was the external member of my Ph.D. graduate committee. Significant results of my dissertation have become part of NASA PVS Library under the GNU GPL license, copyright (C) Michigan Technological University, and Amer Tahat (Innovation Disclosure Tech ID# 1617.00). According to digital commons, my dissertation has been downloaded 760+ times since September 29, 2016. It is available here
Before joining Penn State University Fall 2021, I worked as Assistant Research Professor at Virginia Tech University (VT) between Dec 2020 and Aug 2021 at the Electrical and Computer Engineering (ECE) Department. Further, I worked as a Post Doctoral Research Associate from Nov 2016 to Dec 2020 at the VT ECE department. I have received several awards and studentships. Among these, I was the Co-PI of a DoD-funded project with a $681K ONR Award for long-term Navy and Marine Corps Science and Technology Research. I have co-organized, participated in, and attended several international formal methods conferences, schools, and workshops. These events were organized by leading research centers such as Stanford Research International SRI-CSL, NASA, and others; please see my CV for further details.
I feel thrilled when I work with brilliant students, team members, colleagues, and collaborators worldwide!

Research Interests
  • Formal Verification
  • Computational Sciences,
  • Fault Tolerance
  • AV Trajectories Safety Verification
  • Cybersecurity
Research Keywords
Formal Verification
Computational Sciences
Fault Tolerance
AV Trajectories Safety Verification