Rate My Professor Salamah Salamah
Ratings & reviews
Always patient and willing to help.
Creates dynamic and engaging lessons.
This comment is not public.
Taught by or worked with Salamah?
Add your rating. It takes about 30 seconds.
About 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.
Trending Research & Publication News
SPARC Cost of Knowledge Study: 95% Public Investment in Articles
Photo by Precondo CA on Unsplash
AI Research Scooping: OpenAI & Anthropic Priority Disputes
Photo by Brecht Corbeel on Unsplash
Informa Taylor & Francis Split & Clarion Deal | AcademicJobs
Photo by Anne Nygård on Unsplash
arXiv Two-Submission Monthly Cap Explained | AcademicJobs
Photo by Kelly Sikkema on Unsplash
Cell Press Bribery Investigation: Cancer Cell Editor Accused
Photo by Markus Winkler on Unsplash
Society Journal Sales & Nonprofit Consolidations | AcademicJobs
Photo by Philip Strong on Unsplash