Department of Computer Science The University of Texas at El Paso

Paulo Pinheiro da Silva Assistant Professor in Computer Science Department of Computer Science, Computer Science Building Office 222B The University of Texas at El Paso 500 W University Ave El Paso TX 79968-0518 Phone: (915) 747-6373 Fax: (915) 747-5030 E-mail: paulo at utep dot edu http://www.cs.utep.edu/paulo/

I am the leader of the Trust Laboratory at the University of Texas at El Paso (UTEP), a member of the Software Engineering Affinity Laboratory, and a co-PI of UTEP Cyber-ShARE Center of Excellence that aims to provide scientists and other cyber-infrastructure (CI) users with information that will enable them to make informed decisions about retrieved resources and to have confidence in using results from CI-based applications. I am a recipient of a Department of Homeland Security (DHS) Early Career Faculty Award under the DHS Scientific Leadership Awards for Minority Serving Institutions program.

Cyber-ShARE is a true National Science Foundation-funded multi-year, multi-disciplinary research effort between computer science, geosciences, environmental sciences, computational math, astronomy, and education. In this collaborative effort, I am the leader of the computer science component (Cyber-ShARE Computer Science Project) that aims to increase the scientist use of semantic web technologies in support of cyber-infrastructure-based applications and services.

I am a co-leader of the Inference Web (IW) project, a collaborative research effort between Stanford University, Rensselaer Polytechnic Institute and UTEP. The IW project aims to provide infrastructure for explaining answers from software systems. Inference Web is sponsored by a number of DARPA and DTO (formely known as ARDA) projects.

Prior to joining UTEP, I was a postdoctoral fellow in the Knowledge Systems, AI Laboratory at Stanford University. I am a former member of the Information Management Group at the School of Computer Science of the University of Manchester, United Kingdom, a leading research group on Semantic Web, Grid and e-Science solutions in Europe. I am a former member of the Database Group at the Universidade Federal de Minas Gerais (UFMG), Brazil , a leading research group on information extraction and information retrieve in Latin America.

• Selected:
• Paulo Pinheiro da Silva, Deborah McGuinness, Li Ding, Nicholas Del Rio. Inference Web in Action: Lightweight Use of Proof Markup Language. In Proceedings of the 7th International Semantic Web Conference (ISWC 2008), October 26-30, 2008, Karlruhe, Germany. (PDF)
• Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo 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. (PDF)
• Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, and Flor Salcedo. Workflow-Driven Ontologies: An Earth Sciences Case Study. Proceedings of the 2nd IEEE International Conference on e-Science and Grid Computing, Amsterdam, Netherlands, December 2006. (PDF)
• J. William Murdock, Deborah McGuinness, Paulo Pinheiro da Silva, Chris Welty, and David Ferrucci. Explaining Conclusions from Diverse Knowledge Sources. Proceedings of the 5th International Semantic Web Conference (ISWC 2006), Athens, GA, USA, November 2006. (PDF) (nominated for best paper)
• Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems 31(4-5): 381-395, 2006. (PDF)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Explaining Answers from the Semantic Web: The Inference Web Approach. Journal of Web Semantics, Vol. 1 No. 4, October 2004, pages 397-413. (PDF)
• Paulo Pinheiro da Silva, Deborah L. McGuinness and Rob McCool. Knowledge Provenance Infrastructure. IEEE Data Engineering Bulletin. Vol. 26 No. 4, pages 26-32, December 2003. (PDF)
• Paulo Pinheiro da Silva and Norman W. Paton. User Interface Modeling in UMLi. IEEE Software, Vol.20 No. 4, July/August 2003, pages 62-69. (PDF)
• Full list by year
• Full list by category
• My entry in DBLP. (Thanks to Michael Ley)

• CS3331 - Advance Object-Oriented Programming (Spring 2007)
• CS4342 - Database Management (Spring 2006, Spring 2007, Fall 2007, Fall 2008)
• CS5322 - Information Integration (Fall 2006, Fall 2008)
• CS5353 - Topics in Emerging Paradigm: Cyber-infrastructure Applications (Spring 2008)

• A list of some papers citing my work excluding self-cited papers, viz., when citing and cited papers share at least an author.
• A list of citations to my work as in Google Scholar.

• Postdoc training, Computer Science, Stanford University, USA, 2002-2005.
  
• Ph.D., Computer Science, University of Manchester, United Kingdom, 2002.
  
• M.Sc., Computer Science, UFMG, Brazil, 1998.
  
• Undergraduate, Mathematics, UFMG, Brazil, 1996.

Research students:

• Nicholas Del Rio (Ph.D.)
• Aida Gandara (Ph.D.)
• Leonardo Salayandia (Ph.D.)
• Alejandro Castaneda (M.Sc.)

Research interests:

• Active research:
• tools and infrastructure enabling explainable systems
• semantic web applications and tools
• cyber-infrastructure-based applications including scientific workflows
• provenance and trust management
• Less active but still very interesting research:
• model-based user interface development environments
• object-oriented design of systems including interactive system
• formal specification and verification of software systems
• legacy systems and reverse engineering
• database systems and web repositories

Projects:

• Trust Lab Tools - Explanations, provenance and trust for Cyber-Infrastructure
• NSF CREST CyberShARE
• UTEP GIS/Army, Texas National Guard
• NSF GEON - Cyberinfrastructure for the Geosciences (Honorary Participation)
• Inference Web - Explanations for the Semantic Web (or understanding answers in the Web)
• ARDA AQUAINT - Question answering against large heterogeneous collections of information such as the Web
• ARDA NIMD - Novel Intelligence from Massive Data
• DARPA CALO - Cognitive Agent that Learns and Observes
• DARPA DAML - A language and tools for the Semantic Web
• DARPA Explainable Knowledge Aggregation
• DARPA RKF - Support for subject matter experts to perform Rapid Knowledge Formation
• UMLi - User interface design in UML
• EPSRC Teallach - Systematic and generic support for the development of user interfaces to object-oriented database applications
• COPASA CAPPLES - Risk assessment of the migration of legacy systems using performance analysis

Professional Activities

• PC member for the following events:
• the 17th Conference on Information and Knowledge Management (CIKM 2008)
• the ECAI 2008 Workshop on Explanation-Aware Computing (ExaCt 2008)
• the 3th Asian Semantic Web Conference (ASWC 2008)
• the 1st AAAI/SSS Workshop on Semantic Scientific Knowledge Integration (SSKI 2008)
• the 5th European Semantic Web Conference (ESWC 2008)
• the 16th Conference on Information and Knowledge Management (CIKM 2007)
• the 22nd National Conference on Artificial Intelligence (AAAI 2007)
• the 22nd Brazilian Symposium on Databases (SBBD 2007)
• the 2nd International AAAI Workshop on Explanation-Aware Computing (ExaCt 2007)
• the 1st Workshop on Social and Collaborative Construction of Structured Knowledge
  at the 16th International World Wide Web Conference (WWW2007)
• the 5th International Semantic Web Conference (ISWC 2006)
• the 2st International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2006) at ISWC 2006
• the 21st Brazilian Symposium on Databases (SBBD 2006)
• the 21st National Conference on Artificial Intelligence (AAAI 2006)
• the 4th International Conference on Trust Management (iTrust 2006)
• the 3rd European Semantic Web Conference (ESWC 2006)
• the 5th International Conference on Computer-Aided Design of User Interfaces (CADUI 2006)
• the 4th International Semantic Web Conference (ISWC 2005)
• the 1st International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2005)
  at the 6th International Conference on Web Information Systems Engineering (WISE 2005)
• the 2nd International Workshop on Peer-to-Peer Knowledge Management (P2PKM 2005)
• the 20th Brazilian Symposium on Databases (SBBD 2005)
• the 3rd International Semantic Web Conference (ISWC 2004)
• the 19th National Conference on Artificial Intelligence (AAAI 2004)
• the 19th Brazilian Symposium on Databases (SBBD 2004)
• the 1st International Workshop on the Model-Driven Semantic Web (MDSW 2004)
  at the 8th International IEEE EDOC Conference
• the 1st Workshop on Making Model-based User Interface Design Practical (MDUI Workshop 2004)
  at the Intellingent User Interfaces Conference 2004
• Reviewer for the following events/publications:
• ACM Transactions on Internet Technology (TOIT)
• IEEE Software
• Computers and Geosciences
• Journal of the American Society for Information Science and Technology (JASIST)
• the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web 2004)
• the 4th International Conference on Computer-Aided Design of User Interfaces (CADUI 2002)
• the 6th IFIP Working Conference on Visual Database Systems (VDB 2002)
• the 13th Conference on Advanced Information Systems Engineering (CAiSE 2001)
• the 18th British National Conference on Database (BNCOD 2001)
• the 20th International Conference on Conceptual Modeling (ER 2001)
• the 16th IEEE International Conference on Automated Software Engineering (ASE 2001)

Personal information (with photos)

Created on April 19, 1997.
Last updated on October 24, 2006.