University of Texas at El Paso
Banner
Computing Alliance for Hispanic-Serving Institutions
   
Vita    

 


Education

University of Texas at El Paso
El Paso, Texas  79902

 

 

B.S. in Mathematics / Fall 1970

 

 

M.S. in Computer Science / Spring 1990

 

 

 

 

 

New Mexico State University
Las Cruces, New Mexico  88005

 

 

Ph.D. in Computer Science / Fall 1994

 

 

 

 

Professional Societies

Phi Kappa Phi Honor Society

 

 

Institute of Electrical and Electronic Engineers (IEEE)

IEEE-Computer Society (IEEE-CS)

 

 

Society for Design and Process Science (SDPS)

 

 

Society of Mexican American Engineers and Scientists (MAES)

 

 

Sigma Xi, Scientific Research Society

Society for the Advancement of Chicanos and Native Americans in Science (SACNAS)

 

 

 

 

Certifications

IEEE Computer Society Certified Software Development Professional (CSDP)

 

 

 

 

Service

(National)

Member, NSF Advisory Committee for Cyberinfrastructure, National Science Foundation, 2006- 2008


Member, Executive Committee, IEEE-CS, 2006-2007


Member, Board of Governors, IEEE-CS, 2004-2008


Chair, IEEE-CS Awards Committee, 2005-2007
I

EEE Technical Activities Board (TAB) Awards and Recognition Committee, 2005-2007



 


Member, National Academy of Engineering Committee on Engineering Education, 2003-2005

 

 

 

 

 

Founding member and lead Computing Alliance of Hispanic Serving Institutions (CAHSI), 2004-present
Founding member, Faculty Alliance of National Center of Women in Information Technology, 2004-present


Program Evaluator, Computing Accreditation Commission (CAC) of the Accreditation Board For Engineering and Technology (ABET)

 

 

 

 

 

Member, IEEE Computer Society Certified Software Development Professional (CDSP) Committee, 2003-2005

 

 

 

 

 

Secretary, IEEE Computer Society Educational Activities Board, 1997-2003

 

 

 

 

 

Program Committee, 2008 AAAI Spring Symposium Series Workshop, Semantic Scientific Knowledge
Integration


Program Committee, Workshop on Runtime Verficiation 2004 (affiliated with European Joint Conferences on Theory and Practice of Software (ETAPS) 2004)

 

 

 

 

 

Steering Committee Member, IEEE-CS representative, Frontiers in Education, 1999-2005

 

 

 

 

 

Program Committee, Workshop on Runtime Verification 2003 (affiliated with Conference on Automated Verification)

 

 

 

 

 

Program Committee Co-Chair, Frontiers in Education 2001, Reno, NV

 

 

 

 

 

Program Committee Member, Fifth IEEE International High-Assurance System Engineering Symposium, Albuquerque, NM, November 2000

 

 

 

 

Service

(Institutional)

Chair, Department of Computer Science, 2005-present

Associate Chair, Department of Computer Science, 2002-2005

 

 


Chair, Graduate Program Committee, Department of Computer Science, 2001-2003

 

 

 

 

 

Chair, President's Advisory Committee on Diversity, 2000-present

 

 

 

 

 

K-16 Mathematics Alignment Initiative, El Paso Collaborative, 2000-present

 

 

 

 

 

President's Advisory Committee on Women, 2000-2001

 

 

 

 

 

Faculty Mentoring Program for Women Committee, 2000-2001

 

 

 

 

 

President's Advisory Committee on Diversity, 1997-1999

 

 

 

 

 

Kellogg Foundation, Alliance Schools Scholars Initiative Mentor Professor Program

 

 

 

 

 

President's Advisory Committee on Women, 1995-1997

 

 

 

 

Honors

McDonald's 2007 Hispanos Triunfadores for Recognition in Science


Hispanic Business Magazine 2006 100 Influential Hispanics list


El Paso Hispanic Chamber of Commerce 2006 Paradigm Award for Serving as a Model of Innovation


Named to the IEEE-CS Golden Core, 2005


University of Texas at El Paso Chancellor Council's Award for Outstanding Teaching 2003

 

 

 

 

 

YWCA El Paso Del Norte Region Recognized Achievement Award for Outstanding Achievement in Education, 2003

 

 

 

 

 

Best Paper Award (co-authored paper with O. Mondragon, S. Roach and O. Sikolsky), International Conference on Software Engineering and Knowledge Engineering, 2005.


Best Paper Award (co-authored paper with O. Mondragon and F. Kassem), International Conference on Software Engineering and Knowledge Engineering, 2003.

 

 

 

 

 

Best Paper Award (co-authored paper with P.J. Teller), Frontiers in Education 2000

 

 

 

 

 

Best Paper Award (co-authored paper with P.J. Teller, A. Bernat, N. Delgado, and C. Della-Piana), Frontiers in Education 1998

 

 

 

 

 

GE Foundation Faculty for the Future Fellowship, 08/90-08/91

 

 

 

 

Book Chapters














Journal Publications

(Research)

Roach, S. and A. Q. Gates, "Teaching Software Engineering in a Computer Science Program Using the Affinity Research Group Phlosophy," in Software Engineering: Effective Teaching and Learning Approaches and Practices (H. Ellis,
S. Demurjian, and F. Naveda, eds.), 2007.

Salayandia, L., Huang, Y., Gates, A.Q., and S. Roach, "GeoNet: Use of Grid Technologies in Geoinformatics for the Transition Zone between the Colorado Plateau and the Basin & Range Province,'' in Geoinformatics: Data to
Knowledge
, (A.K. Sinha, ed.), Geological Society of America, 2006.


Salayandia, L., and A. Gates, "Towards a Workflow Management System for Service Oriented Modules,''
International Journal of Simulation and Process Modeling, 3(1-2), 2007.

Mondragon, O., Gates, A., Roach, S., and O. Sokolsky, "Generating Properties for Runtime Monitoring from Software Specification Patterns," in International Journal of Software Engineering and Knowledge Engineering, 17(1): 107-126 (2007).

Delgado, N., Gates, A.Q. Gates, and S. Roach, "A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools (with N. Delgado and S. Roach) in IEEE Transactions on Software Engineering
30(12), December 2004, 859-872.

 

 

 

 

 

Mondragon, O. and A.Q. Gates, "Supporting Elicitation and Specification of Software Properties through Patterns and Composite Propositions," International Journal on Software Engineering and Knowledge Engineering, 14(1), February 2004.

 

 

 

 

 

Gates, A.Q., Mondragon, O., "FasTLInC: A Constraint-based Tracing Approach," The Journal of Systems and Software, 63(2002): 241-258.

 

 

 

 

 

Gates, A.Q. and Teller, P.J., "An Integrated Design of a Dynamic Software-Fault Monitoring System," Transactions of the SDPS: Journal of Integrated Design & Process Science, 14(3): 63-78, September 2000.

 

 

 

 

 

Subbaramu, S., Gates, A.Q., and Kreinovich, V., "Applicationof Kolmogorov Complexity to Image Compression:  It Is Possible to Have a Better Compression, But It Is Not Possible to Have the Best One," Bulletin of the European Association of Theoretical Computer Science, 69:  145-150, October 1999.

 

 

 

 

 

Gates, A.Q., Kreinovich, V., and Longpre, L., "Kolmogorov Complexity Justifies Software Engineering Heuristics," Bulletin of the European Association for Theoretical Computer Science, 66:  150-154, October 1998.

 

 

 

 

 

Cooke, D.E., Gates, A., Demirors, O., Demirors, E., Tanik, M. and Kramer, B., "Languages for the Functional Specification of Software," The Journal of Systems and Software, 32:269-308, March 1996.

 

 

 

 

 

Cooke, D.E., R. Duran, A. Gates, and V. Kreinovich, "Geombinatoric Problems of Environmentally Safe Manufacturing and Linear Logic," Geombinatorics, 4(2):36-47, October 1994.

 

 

 

 

 

Cooke, D.E. and A. Gates, "On the Development of a Method to Synthesize Programs from Requirements Specifications," International Journal of Software Engineering and Knowledge Engineering, 1(1): 21-38, 1991.

 

 

 

 

Journal Publications

(Education)

Teller, P. and A.Q. Gates, "Using the Affinity Research Group Model to Involve Undergraduate Students in Computer Science," Journal of Engineering Education, 549-555, October 2001.

 

 

 

 

 

Gates, A.Q., and V. Kreinovich, "Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark," Bulletin of the European Association for Theoretical Computer Science, 73:142-145, February, 2001.

 

 

 

 

 

Bernat, A., Teller, P., Gates, A., Delgado, N., and Kubo Della-Piana, C., "Structuring the Student Research Experience,"  ACM SIGCSE Education, 32(3) (Sept 2000), pp. 17-20.

 

 

 

 

 

Gates, A.Q., Teller, P.J., Bernat, A., Delgado, N., and Kubo Della-Piana, C., "Expanding Participation in Undergraduate Research Using the Affinity Group Model," Journal of Engineering Education, 88(4):409-414, October 1999.

 

 

 

 

 

Gates, A. and V. Kreinovich, "Why is a Function Defined as a Set of Ordered Pairs?" SIGSCE Bulletin, 29(4): 57, December 1997.

 

 

 

 

Conference Publications

(Research)

Gates, A.Q., Keller, G.R., Salayandia, L., Pinheiro da Silva, P., and F. Salcedo, "The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies," in Proceedings of the Second International Conference on Geospatial Semantics (GeoS 2007), Mexico City, Mexico, November 29-30, 2007.

Del Rio, N., Pinheiro da Silva, P., Gates, A.Q., and L. Salayandia, "Semantic Annotation of Maps Through
Knowledge Provenance,'' in Proceedings of the Second International Conference on Geospatial Semantics (GeoS 2007), Mexico City, Mexico, November 29-30, 2007.

Ochoa, O., Gallegos, I., Roach, S., and A. Gates, "Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification,'' Electronic Notes in Theoretical Computer Science, 2007.

Salamah, S., Kreinovich, V., Gates, A., and S. Roach, "Using Patterns and Composite Propositions to Automate the Generation of Complex LTL Specifications,'' in 2007 Proceedings of the Automated Technology for Verification and Analysis
5th International Symposium in Lecture Notes in Computer Science
, Namjoshi, K., Yoneda, T., Higashino, T. and Y. Okamura (Eds.), Vol. 4762, 2007.

Salamah, S., Kreinovich, V., and A. Gates, "Generating Linear Temporal Logic Formulas for Patterns-Based Specifications,'' in Proceedings of the Nineteenth International Conference on Software Engineering and Knowledge Engineering, Boston, July 2007.

Salayndia, L., Pinheiro da Silva, P., Gates, A. Q., and F. Salcedo, "Workflow-Driven Ontologies: An Earth
Sciences Case Study," Proceedings of the 2nd IEEE Int'l Conference on e-Science and Grid Computing, Amsterdam, Netherlands, December 2006.

Salayandia, L., Pinheiro da Silva, P., Gates, A., and A. Rebellon, "A Model-Based Workflow Approach for
Scientific Applications,'' Proceedings of the 6th OOPSLA Workshop on Domain-Specific Modeling, Portland, Oregon, October 2006.

Gates, A., Kreinovich, V., Longpre, L., Pinheiro da Silva, P., and G. Randy Keller, "Towards Secure Cyberinfrastructure for Sharing Border Information,"
Proceedings of the Lineae Terrarum: International Border Conference, El Paso, Las Cruces, and Cd. Juarez, March 27-30, 2006.

Salamah, S., Gates, A., Roach, S., and O. Mondragon, "Verifying Pattern-Generated LTL Formulas: A Case Study," Model Checking Software, Proceedings 12th International SPIN Workshop in Lecture Notes in Computer Science, Springer, 2005, pp. 200-220.

Mondragon, O., Gates, A., Mendoza, H., Sokolsky, O., "Generating Properties for Runtime Monitoring from Software Specification Patterns,'' Proceedings 17th International Conference on Software Engineering and Knowledge Engineering, July 2005.

Gates, A., S. Roach, I. Gallegos, O. Ochoa, and O. Sokolsky, "JavaMaC and Runtime Monitoring for Geoinformatics Grid Services,'' Proceedings 10th IEEE International Workshop on Object-Oriented Real-Time
Dependable Systems WORDS 2005
, February 2005, pp. 105-112.


Keller, G., et al., "A Community Effort to Construct a Gravity Database for the United States and an Associated Web Portal to appear in the Geological Society of America Special Paper on Geoinformatics, 2004.

 

 

 

 

 

Aldouri, R., et al., "GEON: Geophysical Data Add the 3rd Dimension in Geospatial Studies," to appear in Proceedings of the ESRI User Conference, Aug. 2004.

 

 

 

 

 

Gates, A.Q., Mondragon, O., and F. Kassem, "Automated Support for Property Specification Based on Patterns," Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering, July 2003, pp. 174-181.

 

 

 

 

 

Mondragon, O., Gates, A.Q., and S. Roach, "Prospec: Support for Elicitation and Formal Specification of Software Properties," Electronic Notes in Theoretical Computer Science, O. Sokolsky and V. Mahesh (eds.), 2003.

 

 

 

 

 

Gates, A.Q., Mondragon, O., Payne, M., and S. Roach, "Instrumentation of Intermediate Code for Runtime Verification," Ann Quiroz Gates, Oscar Mondragon, Mary Payne, Steve Roach, Proceedings 28th Annual NASA Goddard/IEEE Software Engineering Workshop, December 2003.

 

 

 

 

 

Mondragon, O., Gates, A.Q., and S. Roach, "Composite Propositions:  Toward Support for Formal Specification of System Properties," Proceedings 27th Annual NASA Goddard/IEEE Software Engineering Workshop, December 2002, pp. 67-74.

 

 

 

 

 

Gates, A.Q., Roach, S., Mondragon, O., N. Delgado, "DynaMICs: Comprehensive Support for Run-Time Monitoring," in Electronic Notes in Theoretical Computer Science, K. Havelund and G. Rosu (eds.), 55(2), 2001, www.elsevier.nl/locate/entc.

 

 

 

 

 

Wen, Q., Gates, A.Q., Beck, J., Kreinovich V., and G.R. Keller, "Towards Automatic Detection of Erroneous Measurement Results in a Gravity Database," Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference, Tucson, AZ, (Oct. 2001): 2170-2175.

 

 

 

 

 

Roach, S., and Gates, A., "Towards Synthesis of Runtime Constraint Monitoring Code," Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification in conjunction with the International Conference on Software Engineering (ICSE 2001), Toronto, Canada, May 13, 2001.

 

 

 

 

 

Gates, A. and Roach, S., "A Framework for Knowledge Management and Automated Constraint Monitoring," Proceedings of the Monterey 2001 Workshop on Engineering Automation for Software Intensive System Integration, Monterey, California, June 18-22, 2001: 77-99.

 

 

 

 

 

Gates, A.Q., "How Can Symposia Be Structured to Benefit Both Industry and Academia?," Proceedings of the Fifth IEEE International High Assurance Systems Engineering Symposium, Albuquerque, N.M., November 2000: 45-46.

 

 

 

 

 

Gates, A.Q., Mondragon, O., Saenz, F., and Cereceres, R., "The Use of Integrity Constraints to Support Tracing," Proceedings of Software Engineering and Knowledge Engineering, June 2000, 195-204.

 

 

 

 

 

Teller, P.J. and Gates, A.Q., "Progress Towards a Comprehensive Knowledge-based Monitoring System for the Development and Evolution of Software," Proceedings of Computations Aeroscience Workshop 2000, NASA Ames, February 2000.

 

 

 

 

 

Gates, A.Q. and Teller, P.J., "DynaMICs: An Automated and Independent Software-Fault Detection Approach," Proceedings of the Fourth IEEE International High Assurance Systems Engineering Symposium, Washington, D.C., November 1999, 11-19.

 

 

 

 

 

Teller, P.J., Maxwell, M.E., and A.Q. Gates, "Towards the Design of a Snoopy Coprocessor for Dynamic Software-Fault Detection," Proceedings of the 1999 IEEE International Performance, Computing, and Communications Conference (IPCCC '99), February 1999, 310-317.

 

 

 

 

 

Gates, A.Q. and Li, S., "Software Faults and Their Detection Through DynaMICs," Proceedings of the International Association of Science and Technology for Development (IASTED) Software Engineering, (R. Lee, ed.).  Anaheim, CA: ACTA Press, 1998, 323-327.

 

 

 

 

 

Gates, A., Krienovich, V., Sifuentes, L, and S. Starks, "OO or Not OO: When Object-Oriented is Better Qualitative Analysis and Application to Satellite Image Processing," Proceedings of Interval Computations and its Applications to Reasoning under Uncertainty, Knowledge Representation and Control Theory, in conjunction with the 4th World Congress on Expert Systems, Mexico City, March 1998.

 

 

 

 

  Auguston, M., A. Gates, and M. Lujan, "Defining a Program Behavior Model for Dynamic Analyzers," Proceedings International Conference on Software Engineering Knowledge Engineering, Madrid, Spain, June 1997, 257-262.  
     
  Gates, A. and C. Kubo Della-Piana, "The Identification of Integrity Constraints in Requirements for Context Monitoring," Proceedings of the 1997 IEEE International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, IEEE Computer Society Press, March 1997, 498-505.  
     
  Gates, A., Fernandez, F.G., and L. Romo, "Building Systems with Integrity Constraints," The Proceedings from the Second World Conference on Integrated Design and Process Technology Vol. 1, Austin, TX, Society for Design and Process Science, December 1996, 437-444.  
     
  Gates, A., "On Defining a Class of Integrity Constraints", Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering, Lake Taho, NV, June 1996, 338-344.  
     
  Gates, A. and D.E. Cooke, "The Use of Integrity Constraints in Software Engineering," Proceedings 7th International Conference on Software Engineering and Knowledge Engineering, Rockville, Md, June 1995, 383-390.  
     
  Cooke, D.E., R. Duran, A. Gates, and V. Kreinovich, "Bag Languages, Concurrency, Horn Logic Programs, and Linear Logic," Proceedings Fifth International Conference on Software Engineering and Knowledge Engineering, Latvia, June 1994.  
     
  Gates, A., and D.E. Cooke, "On a Fundamental Relationship Between Software Reuse and Software Synthesis," Proceedings of Hawaii International Conference on System Sciences Vol. II, Kauia, Hawaii, January 1992, 539-548.  
     
  Gates, A., and D.E. Cooke, "An Introduction to the Recognition of Iterative Structures by a CASE Tool," Proceedings Second International Conference on Software Engineering and Knowledge Engineering, June 1990, 202-208.  
     
  Cooke, D.E., and A. Gates, "On the Application of Stratification to Requirement Specifications," Proceedings of the Second International IEEE Conference on Tools for Artificial Intelligence, November 1990, 760-766.  

 

 

 

Conference Publications

(Education)

Kephart, K., Villa, E., Gates, A., and S. Roach. “The Affinity Research Group Model: Creating and Maintaining Dynamic, Productive and Inclusive Research Groups,” accepted for publication in the Council on Undergraduate Research (CUR)-Quarterly, 2008.

Aló, R., Beheshti, M., Fernandez, J., Gates, A., and D. Ranjan, “Work in Progress: Peer-Led Team Learning Implementation in Computer Science,” Proceedings 2007 IEEE/ASEE Frontiers in Education Conference, S4A-7-8.

Teller, P.J. and Gates, A.Q., "Applying the Affinity Research Group Model to Computer Science Research Projects," Proceedings 2000 Frontiers in Education Conference, Kansas City, Mo., 2000, S1G7-S1G12.

 

 

 

 

 

Gates, A.Q., Delgado, N., and Mondragon, O., "A Structured Approach for Managing a Practical Software Engineering Course," Proceedings 2000 Frontiers in Education Conference, Kansas City, Mo., 2000.

 

 

 

 

 

Bernat, A., Kubo Della-Piana, C., Gates, A., and P. Teller, "Structuring the Student Research Experience," Proceedings of ITiCSE, Fifth Annual Conference in Innovation and Technology in Computer Science Education, Helsinki, Finland, July 2000.

 

 

 

 

 

Gates, A.Q., Teller, P.J., Kubo Della-Piana, C., Bernat, A., and Cabrera, S., "A Cooperative Model for Orienting Students to Research Groups," Proceedings 1999 Frontiers in Education Conference, Puerto Rico, 1999.

 

 

 

 

 

Gates, A.Q., Teller, P.J., Bernat, A., Delgado, N., and Della-Piana, C.K., "Meeting the Challenge of Expanding Participation in the Underground Research Experience," Proceedings to the 1998 Frontiers in Education Conference, November 1998, 1133-1138.

 

     
  Bernat, A., Gates, A., Teller, P., and Cabrera, S., "Affinity Groups for Student Success in Computing", Proceedings of the 1997 ADMI Conference, Washington, D.C., May 29-30, 1997, 206-211.  
     
  Gates, A., C., Kubo Della-Piana, and A. Bernat, "Affinity Groups:  A Framework for Developing Workplace Skills," Proceedings of the Frontiers in Education Conference '97, November 1997.  
     
  Gates, A., Delgado, N., Bernat, A. and S. Cabrera, "Building Affinity Groups to Enable and Encourage Student Success in Computing," Proceedings of Impacting Change Through Collaboration 1997 WEPAN/NAMEPA Conference, March 1997, 233-238.  
     
  Alvarado, L. and A. Gates, "Affinity Research Groups:  Attracting and Retaining Women in Computing," Proceedings of the 10th Annual International Conference Women in Higher Education, Ft. Worth, Texas, January 4-7, 1997, 5-10 (Laura Alvarado received Best Student Presentation Award).  
     
  Gates, A., "Integrating a Problem-solving Methodology and Group Skills into CS1,", Proceedings 9th SEI Conference on Software Engineering Education, Daytona Beach, FL, April 1996, pp. 6-15.