Rate My Professor Salamah Salamah

Salamah Salamah is an endowed Professor in the Computer Science Department at the University of Texas at El Paso (UTEP), where he has served since 2013, initially as Clinical Associate Professor and Director of the Masters of Science in Software Engineering program. In January 2025, he was appointed as UTEP's first Associate Vice President for Scientific Computing and Artificial Intelligence and previously chaired the department from 2020 to 2024, during which it experienced significant growth and secured three National Security Agency Centers of Academic Excellence designations in cybersecurity. Prior to UTEP, Salamah was Assistant Professor from 2007 to 2011 and Associate Professor from 2011 to 2012 in the Electrical, Computer, Software, and Systems Engineering Department at Embry-Riddle Aeronautical University. He earned a Ph.D. in Computer Science from UTEP in 2007 as the Most Outstanding Graduate Student, with a dissertation titled 'Generating Linear Temporal Logic Formulas for Complex Pattern-Based Specifications,' and a B.S. in Computer Science (cum laude) from UTEP in 2001. Salamah also held NASA Faculty Research Fellowships at the John F. Kennedy Space Center in 2009 and 2010.

Salamah's research specializes in software engineering processes, formal software quality assurance for safety-critical systems, formal methods in software development, secure software development, and cybersecurity. He directs the Cybersecurity through Workshops, Analysis, and Research (CyWAR) lab, the DHS/NSF CyberCorps Scholarship for Service Program, and the NSF Scholarship for STEM program at UTEP, and has secured over $10 million in external funding from NSF, U.S. Department of Education, Army Research Laboratory, NASA, Software Engineering Institute, Honeywell, and Lockheed Martin. Under his leadership, UTEP launched undergraduate and graduate Artificial Intelligence degree programs in 2024. Key publications include 'Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications' (Lecture Notes in Computer Science, 2007), 'Verifying Pattern Generated LTL Formulas: A Case Study' (Lecture Notes in Computer Science, 2005), 'Validated Templates for Specification of Complex LTL Formulas' (2012), and 'Using Pairwise Testing to Verify Automatically Generated Formal Specifications' (IEEE High Assurance Systems Engineering, 2015). Salamah is a member of IEEE Computer Society, American Society for Engineering Education, and ACM.