Home

AMER TAHAT,

PhD .
Computational Sciences and Engineering ,
Michigan Technological University,

Houghton,  MI, USA.

Research Interests:


Interactive Mechanical Verifications, Automatic Verification Techniques and their applications on Fault-tolerance
and Self-stabilization, Safety-Critical systems. Mechanical Verifications of hardware and Software , Verifications of
Mathematical Theories (Automatic Verifications of Numerical Calculus) and Mechanical verifications of embedded and
Control Systems. - Other interests : Computational logic, Computational Algebra, also recently in Computational
Metaphysics and computational linguistics!




NEW: 

- The contribution of part II of my PhD dissertation has become part of NASA PVS standard

library, under the GNU GPL license, copyright(C)Michigan Technological University and Amer

Tahat, innovation disclosure Tech ID# 1617.00. for Amer Tahat.https://github.com/nasa/pvslib.


Awards, & Assistantships : 


1- Dept of Computer Science, GRA-GTA Assistantship, Michigan Technological University, Fall
2015- to present.

2- National Science Foundation (NSF), Travelling Grant, Stanford Research Institute (SRI) 5th Summer School of Formal Techniques. Menlo College, Silicon Valley, Atherton, CA, USA. 17-24 May 2015.

3- National Science Foundation (NSF), Travel Grant, Attending 4th Summer School in Formal Techniques,
 Menlo College, Silicon Valley, Summer 2014, Atherton, CA, USA.

4- National Science Foundation (NSF), Award number CCF-1116546., Research Assistantship-RA, Michigan
 Technological University, 2014-2015, MI USA.

5- Dept of Computer Science, Research Assistantship-RA, Michigan Technological University, Fall
2013- Spring 2014.

6- Tafila Tech University SAS award (Study Abroad Scholarship): Renewed, Sept 2012 to May 2013,
 Tafila, Jordan.

7- Tafila Tech University SAS award (Study Abroad Scholarship): Sept 2009- May 2012,
 Tafila, Jordan.

8- Dept of Mathematics, Graduate Teaching Assistantship -GTA, Al A l - Bayt University, 2005-2006.

Recent Events:

- Coordinator of students presentations session, Stanford Research Institute Fifth Summer School in formal techniques 2015, CA, USA.
 
- Coordinator of students presentations session, Stanford Research Institute Fourth Summer School in formal techniques 2014,  CA, USA.

-  Organizer of PVS tutorial @mtu 2014, 3rd-5th  Dec 2014.  (PVS at Michigan Tech University).

Organizer of PVS tutorial @ mtu (two versions Nov 2012, Dec 2014). (PVS at Michigan Tech University).


Latest publications:

- The contribution of part II of my PhD dissertation has become part of NASA PVS standard

library, under the GNU GPL license, copyright(C)Michigan Technological University and Amer

Tahat, innovation disclosure Tech ID# 1617.00. for Amer Tahat.https://github.com/nasa/pvslib.


A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols, Amer Tahat and Ali Ebnenasir, accepted at LOPSTR 2014, UK.



-Part of My Mechanical Verification:


Featured Presentation :

 Prototype Verification System PVS: Cutting Edges Human-Machine Interactive Verification, Modeling and Analysis Software , Mechanical Engineering Graduate Seminar, 20th NOV 2014.  Invited Talk. 

Mechanical Verification of Avicenna’s Proof on the Existence of a Necessary Existent and Its Unity, computational philosophy, Menlo College, Stanford,SRI Fourth Summer School in Formal Techniques 2014,CA,USA.  

Workshops, Conferences:

1. SRI Fifth Summer School in Formal Techniques 2015, Atherton, CA,USA. (I got the honor of assisting Dr.N. Shankar in the school,  I was the coordinator for students presentations during the school ).
 
2. SRI Fourth Summer School in Formal Techniques 2014,CA,USA.(I got the honor of assisting Dr.N. Shankar in organizing students presentations during the school )


4. 6th NASA Formal Methods Symposium 2014. John Space Center, Houston,TX,USA.

5. 5th NASA Formal Methods Symposium 2013, Moffett field,CA, USA.

My Favorite language:


Some Other Useful Verification Languages:

- Spin,                      Verifast  ,
- Alloy                       UPPAAL,
- HOL                       SeaHorn.
- Isabelle
- VerifPro
- PRISM
-  Z3