SEFM Group

Welcome to the homepage of UTSA’s Software Engineering and Formal Method’s group.

Our research interests include:

  • Privacy
  • Requirements Engineering
  • Formal Methods
  • Software Process and Evolution
  • Program Analysis
  • Security Patterns
  • Software Mining
  • Natural Language Processed Based Software Comprehension