Francisco José Correa-Zabala Professor Researcher Logic and Computation Group Software Engineering Group EAFIT University Medellín, Colombia, South America fcorrea@eafit. edu. co Braga, Portugal Junio de 2005
Colombia • Area: 1. 14 m. sq km • Pop: 45 million • Capital City: Bogotá (pop: 6 million) • Language: Spanish • Religion: Catholic (95%)
WHERE IS EAFIT LOCATED? • EAFIT is located in Medellín (Colombia), Second largest and biggest industrial and commercial city in the country.
MEDELLIN Also called the “City of Eternal Spring” due to its fantastic weather all year long (between 17ºC and 28ºC) and the fact that the Valley in which it is located, is surrounded by huge mountains.
MEDELLIN • For further information on the city, please check: www. conexioncolombia. com www. elcolombiano. com
The University • EAFIT stands for “Escuela de Administración, Finanzas y Tecnologías”. • One of the leading Management Universities in South America. • 7. 900 Undergraduate and 1. 200 graduate students • 17 undergraduate fields, 26 graduate programs and a dynamic Extension Center
UNIVERSIDAD EAFIT UNDERGRADUATE PROGRAMS • • • Law Accountancy Business Management • Music • Physics Engineering Civil Engineering • Political Studies Communication • Process Engineering Computer Science • Production Engineering Economics International Business • Prod. Design Engineering Geology Mathematics Engineering www. eafit. edu. co Mechanical Engineering
Research Funding COLCIENCIAS EAFIT USD 27. 3 millon USD 462, 000 (estimated five (2002) years) 950 projects (estimated) 38 groups of investigation % 1, 6 % 4%
COLCIENCIAS’ TOP 10 Institution Research Groups Public/ Private 1 Universidad Nacional De Colombia 211 Public 2 Universidad De Antioquia 140 Public 3 Universidad Del Valle 81 Public 4 Universidad De Los Andes 74 Private 5 Pontificia Universidad Javeriana - Bogotá 52 Private 6 Universidad Del Cauca 39 Public 7 Universidad Industrial De Santander 35 Public 8 Universidad Pontificia Bolivariana 29 Private 9 Fundación Universidad Del Norte 29 Public 9 Universidad Del Atlántico 28 Public 10 Universidad Del Magdalena 28 Public 10 Universidad EAFIT 28 Private 10 Universidad Externado De Colombia 28 Private 10 Universidad Tecnológica De Pereira 28 Public
UNIVERSIDAD EAFIT Research • 38 Research Groups. • staff – 52 Ph. D. – 110 M. Sc. • Relationship teaching – Research – – 42 specialization programs 9 master programs 1 Ph. D. program 2 Ph. D. program in process (Mathematics and Engineering) • Relationship University – Industry – Professional practices. – Co-financing Projects (30)
UNIVERSIDAD EAFIT Post-grade Programs Concerning Computer Science and ALFA Projects: • Graduate Certificate in Software Development • G. C. in Telecommunications and Informatics • G. C. in Computer and Education • G. C. in Information Systems • Master of Science in Computer Science. • M. Sc. in Applied Mathematics. • Ph. D. in Engineering (in process) • Ph. D. in Mathematics (in process)
UNIVERSIDAD EAFIT International associations’ membership ALFA Networks. América Latina - Formación Académica. CLEI Centro Latinoamericano de Estudios en Informática EAIE European Association for International Education EUROCENTRO AL-Invest (European Commission) project for Latin America. IAESTE International Association for the Exchange of Students for Technical Experience. RECLA Red Universitaria de Educación Continua en Latinoamérica
Universidad EAFIT ACADEMIC CO-OPERATION AGREEMENTS • With Europe – BELGIUM. Université Catholique de Louvain. – SPAIN. • • • Conservatori Sup de Músic del Liceu. Fundación Mapfre Estudios. Universidad Autónoma de Barcelona. Universidad de Málaga. Universidad de Salamanca. Universidad Politécnica de Valencia. VICOMTech – FRANCE. ENIM. • • • IECS – Strasbourg. ECOS – NORD. Sup De Co Montpellier. Université Bordeaux 1. Université d’Avignon. Université Panthéon-Assas (Paris II).
Universidad EAFIT ACADEMIC CO-OPERATION AGREEMENTS • With Europe – GERMANY. • • • – – HHL Leipzig (MBA Double Degree). HHL Leipzig (Undergraduate). Hochschule Bremen. Hochschule Bremerhaven. Universität Flensburg. Universität Mannheim ITALY. Universidad degli Studi de Genova SWEDEN. Jönköpink International Business School SWITZERLAND. Universität St. Gallen NETHERLANDS. Universidad Tecnológica de Delft
Universidad EAFIT ACADEMIC CO-OPERATION AGREEMENTS • With America – ARGENTINA. • Fundación Evolución (REDAL Project). • Universidad Nacional del Litoral – BRAZIL. • Universidade de Sâo Paulo. • Universidade Santa Catarina. – CANADA. • CREPUQ. • École des Hautes Etudes - Montreal – COSTA RICA. Universidad de Costa Rica. – MÉXICO. • TEC de Monterrey. • Universidad de Colima
Universidad EAFIT ACADEMIC CO-OPERATION AGREEMENTS – PERU. • Pontificia Universidad Católica del Perú – USA. • Berkeley College. • University of West Florida (Institute for Human and Machine Cognition). • University of Texas-Panamerican – CUBA. • Universidad de La Habana • With Asia – AUSTRALIA. • Australian Nacional University. • Macquarie Universtiy. • University of Wollongong.
Dept. of Computer Science and Information Systems School of Engineering School Council Other Engineering Departments Dept. of Computer Science and Information Systems Education Informatics Virtual Reality Software Engineering Networks and Distribute System
Software Engineering Group Research areas • Methodology and models for software development • Software Quality • Knowledge Management • Declarative debugging • Logical and functional programming
Software Engineering Group Researchers – Raquel Anaya de Paez (Ph. D. Informatics) – Mónica Henao Calad (Ph. D. Informatics) – Francisco José Correa Zabala (Ph. D. Informatics) – Omar García Palencia (Student Ph. D. ) – Rafael David Rincón Bermudez (M. Sc. Qualify system) – Alberto Restrepo Velásquez (MBA)
Networks and distribute System • Research areas – – – – Distributed multimedia system. Collaborative environment Network security Advanced protocols and services in internet Distributed virtual reality Programming languages Architecture of distributed development (CORBA, Java, RMI, Web, . net, etc. ) – Parallel processing – Concurrency
Networks and Distribute System Group • Researchers – Edwin Nelson Montoya Munera (Ph. D. Telecomm. ) – Juan Guillermo Lalinde Pulido (Ph. D. Telecomm. ) – Juan Francisco Cardona Mc'Cormick (M. Sc. Computer Science) (candidate to Ph. D. Ler. Net Proyect)
Research Groups in Dept. Fundamental Sciences School of Sciences and Humanities Dept. of Fundamental Sciences Logic and Computation Control System Others Groups Dept. of Music
Research Groups in Dept. of Fundamental Sciences • • • Functional analysis Differential equations Mathematics education and history Applied electromagnetism Logic and computation Applied optics Stochastic process Control systems Topology and geometry
Logic and Computation Group • Research areas – Computability – Quantum computation – Non-classical logics – Declarative debugging – Logical and functional programming
Logic and Computation Group • Researchers – Francisco Correa (Ph. D. Informatics) – Andrés Sicard (Computer Sciences, M. Sc. Computer Science) (candidate to Ph. D. Ler. Net Proyect)) – Juan Fernando Ospina (Physics) – Manuel Sierra (Logic) – Mario Vélez (Physics) – Raúl Gómez (Philosophy)
Research Related Groups in Other Departments • • • Laboratory of CAD/CAM/CAE Bioengineering Mechatronics and machines design Geographic Information System Image processing
Goals associated with Leernet Project • 3 Ph. D. • New Networks • New relations with Universities of the project – Interchange of students – Interchange of professors – Interchanges of researcher
Скачать презентацию Francisco José Correa-Zabala Professor Researcher Logic and Computation
2da93a7ef193e012ef3cfce7a98aabe2.ppt