Personal home page
I am an Associate Professor at the Computer Science Department
Technological Institute of Aeronautics - ITA
My current main areas of interest are the following:
- Semantic Computing
-
-
-
- Semantic Web
- Semantic web service composition
- Ontology Matching
- Semantic Interoperability of Systems
- Command and Control
-
-
-
- Formal Methods
-
-
-
- Formal Methods for Safety-critical Real-Time Systems
- Formal Specification and Verification of Aeronautic and Space Systems
- Interoperability of Real-Time Systems
-
-
-
Past areas of interest:
* Educational Adaptive Hypermedia
* Intelligent Tutoring Systems
You can contact me at:
Email: parente at ita.br
Technological Institute of Aeronautics
Computer Science Department - IEC
Pca. Mal. do Ar Eduardo Gomes, 50
12228-900 - S. Jose dos Campos (SP) – Brazil
Tel: +55 12 3947-6941 Fax: +55 12 3947-5989
page revision: 26, last edited: 16 Mar 2010 17:38
