• "Modeling and verification of security system architectures", Department of Computer Science, University of Texas at Dallas, April 2000.

• "Embedded software systems: Coming of Age", University of Texas at Dallas faculty club, 2001.

• "Research and funding programs in School of Computing and Information Sciences at Florida International University", Telcordia Research, September 2002.

• "An approach for modeling and analysis of security architectures", Department of Computer Science, University of Pittsburgh, November 2002.

Software Engineering (undergraduate), Software Engineering (Graduate), Advanced Topics on Software Engineering (Graduate), Data Structures (undergraduate), Computer Networks (graduate), Advanced Topics on Concurrent and Distributed Systems (Graduate), Object-Oriented Analysis and Design (Graduate).