Francisco Jos CorreaZabala

1
Francisco José Correa-Zabala

• Professor Researcher
• Logic and Computation Group
• Software Engineering Group
• EAFIT University
• Medellín, Colombia, South America
• fcorrea_at_eafit.edu.co
• Braga, Portugal
• Junio de 2005

2
Colombia

• Area 1.14 m. sq km
• Pop 45 million
• Capital City Bogotá (pop 6 million)
• Language Spanish
• Religion Catholic (95)

3
WHERE IS EAFIT LOCATED?

• EAFIT is located in Medellín (Colombia), Second
  largest and biggest industrial and commercial
  city in the country.

4
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.

5
MEDELLIN

• For further information on the city, please
  check
• www.conexioncolombia.com
• www.elcolombiano.com

6
The University

• One of the leading Management Universities in
  South America.

• EAFIT stands for Escuela de Administración,
  Finanzas y Tecnologías.
• 7.900 Undergraduate and 1.200 graduate students
• 17 undergraduate fields, 26 graduate programs and
  a dynamic Extension Center

7
UNIVERSIDAD EAFITUNDERGRADUATE PROGRAMS

• Law
• Music
• Physics Engineering
• Political Studies
• Process Engineering
• Production Engineering
• Prod. Design Engineering
• www.eafit.edu.co

• Accountancy
• Business Management
• Civil Engineering
• Communication
• Computer Science
• Economics
• International Business
• Geology
• Mathematics Engineering
• Mechanical Engineering

8
Research Funding
9
COLCIENCIAS TOP 10
10
UNIVERSIDAD EAFITResearch

• 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)

11
UNIVERSIDAD EAFITPost-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)

12
UNIVERSIDAD EAFITInternational 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
13
Universidad EAFITACADEMIC 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é dAvignon.
• Université Panthéon-Assas (Paris II).

14
Universidad EAFITACADEMIC 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

15
Universidad EAFITACADEMIC 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

16
Universidad EAFITACADEMIC 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.

17
Dept. of Computer Science and Information Systems
18
Software Engineering Group

• Research areas
• Methodology and models for software development
• Software Quality
• Knowledge Management
• Declarative debugging
• Logical and functional programming

19
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)

20
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

21
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. LerNet
  Proyect)

22
Research Groups in Dept. Fundamental Sciences
23
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

24
Logic and Computation Group

• Research areas
• Computability
• Quantum computation
• Non-classical logics
• Declarative debugging
• Logical and functional programming

25
Logic and Computation Group

• Researchers
• Francisco Correa (Ph. D. Informatics)
• Andrés Sicard (Computer Sciences, M. Sc. Computer
  Science) (candidate to Ph. D. LerNet Proyect))
• Juan Fernando Ospina (Physics)
• Manuel Sierra (Logic)
• Mario Vélez (Physics)
• Raúl Gómez (Philosophy)

26
Research Related Groups in Other Departments

• Laboratory of CAD/CAM/CAE
• Bioengineering
• Mechatronics and machines design
• Geographic Information System
• Image processing

27
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