Francisco Jos Correa Zabala

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

• Computing and Educations.
• Virtual Reality.
• Software Engineering.
• Networks and distribute System.

3
Computing and Educations

• John Trujillo
• Ph.D. Universidad Autónoma de Barcelona
• Research in
• Instructional design to virtual context
• Research on ICT integration and applications in
  education
• Ubiquitous education
• Collaborative environments mediated by ICT

4
Virtual Reality

• Leader
• Helmuth Trefftz (Ph.D. Rutgers University)
• Research in
• Collaborative Virtual Reality with applications
  in education
• Collaborative Augmented Reality with applications
  in industry and education
• Virtual Reality for training
• Projected Virtual Reality environments

5
Software Engineering group

• Research areas
• Methodology and Models for software development
• Guarantying Qualify
• Knowledge Management
• Declarative Debugging
• Logical functional programming

6
Software Engineering group

• Investigators
• Raquel Anaya de Paez (Ph.D. Informatics)
• Mónica Henao Cálad (Ph.D. Informatics)
• Francisco José Correa Zabala (Ph.D. Informatics)
• Omar García Palencia (Student Ph.D. )
• Rafael David Rincón Bermudez (Ms. C. Qualify
  system)
• Alberto Restrepo Velásquez (Ms. C. Business
  Administration)

7
Knowledge Management

• Leader
• Mónica Henao Cálad. Ph.D. Universidad Politécnica
  de Valencia, Spain
• Research in
• Knowledge Management (KM)
• KM process, Relation between theory and real
  application, TIC and Culture in KM
• Knowledge Engineering
• Knowledge Acquisition, Knowledge Modeling,
  Concept Mapping
• Knowledge
• Knowledge modeling , Knowledge creation, Relation
  between knowledge and intelligence, Analysis and
  Solution Problems
• Software Engineering
• Software Requirements, Process modeling
• Education

8
Formal Methods

• Leader
• Francisco José Correa Zabala. Ph.D. Universidad
  Politécnica de Valencia, Spain
• Research in
• Declarative Debugging
• Paradigm Integration functional logic programs
• Genetic algorithm

9
Declarative Debugging

• We develop a general framework for the
  declarative debugging of functional logic
  programs1.
• Declarative debugging is commonly done by
  comparing the actual semantics of the program
  with the intended semantics for the same program,
  or user's expectations.

10
Declarative Debugging

• Our approach is parametric with respect to
  strategy of narrowing.
• In order to provide a finite diagnosis technique
  we then present a methodology which is based on
  abstract interpretation.

11
Declarative Debugging

• By comparing
• Actual program (fixpoint, declarative and
  operational semantics)
• Intended semantic ( a program, semantics or
  oracle)
• Objective to eliminate differences between both
  actual program and intended semantics

12
Declarative Debugging of functional logic programs

• We extended or base on different approaches
• Declarative debugging of logic program following
  approach of Shapiro3, Comini, Lloyd, Ferrand,

E. Y. Shaphiro. Algorithmic Program Debugging.
The MIT Press, Cambridge, Massachusetts, 1982.
ACM Distinguished Dissertation. M. Comini, G.
Levi, and G. Vitiello. Abstract Debugging of
Logic Programs. In L. Fribourg and F. Turini,
editors, Proc. Logic Program Synthesis and
Transformation and Metaprogramming in Logic 1994,
volume 883 of Lecture Notes in Computer Science,
pages 440450. Springer-Verlag, Berlin, 1994. J.
W. Lloyd. Declarative Error Diagnosis. New
Generation Computing, 5(2)133154, 1987. G.
Ferrand. Error Diagnosis in Logic Programming, an
Adaptation of e. y. Shapiros Method. Journal of
Logic Programming, 4177198, 1987.
13
Declarative Debugging of functional logic programs

• We extended or base on different approaches
• S_semantics of Falaschi
• Debugging Scheme of functional program of Naishe,
  
• But, it is different of declarative debugging of
  functional logic program of Caballero.

M. Falaschi, G. Levi, M. Martelli, and C.
Palamidessi. Declarative Modeling of the
Operational Behavior of Logic Languages.
Theoretical Computer Science, 69(3)289318,
1989. L. Naish and T. Barbour. Declarative
Debugging of a Logical-Functional Language.
Technical report 94/30, Department of Computer
Science, University of Melbourne, Melbourne,
Australia, December 1994.
14
Declarative Debugging

• We associate to our programs a (continuous)
  immediate consequences operator (Fixpoint
  Semantics).
• Then we show that, given the intended
  specification of the program, we can check the
  program correctness by a single step of this
  operator.

15
Automatic Correction of functional logic programs

• We use the result of debugging techniques for to
  apply strategies of programs correction.
• We generate positives and negative examples then
  we apply inductive learning techniques.
• We use inverses operator base on narrowing
  strategy.

16
Software for debugging

• BUGGY system. It detects errors in the program
• NOBug System. It corrects the program.

17
Current Projects and activities

• 2 projects with UPV
• A Integrated framework in declarative debugging
  and correction of functional logic program. EAFIT
• Organization of Annual event in Medellín
  Jornadas de Investigación en Informática

18
Current Proyects

• SELF with UPV
• We search strategies for optimize our approach.
• We pretend to apply the realistic program in the
  same paradigm.
• We want to apply the debugging techniques in
  other paradigms.
• We search new technique for to specific the
  intended semantics

19
Networks and Distributed Systems Research Group
(NDSRG)

• People
• Leader Edwin Montoya, emontoya, BSc Computer
  Science Ph.D. in Telecommunications (UPV,
  Spain)
• Juan Guillermo Lalinde, BSc Computer, Mathematics
  Ph.D. in Telecommunications (UPV, Spain)
• Juan Francisco Cardona, BSc Computer Science
  MSc in Computer Science.

20
Networks and Distributed Systems Research Group
(NDSRG)

• Research in
• Digital Libraries
• Mobile Computing
• Security
• Concurrent Systems

21
Current Projects

• Digital Libraries architecture based on Dublin
  Core.
• Federation of Digital Libraries based on OAI-PMH
  and Web Services protocols.
• An evaluation of a mobile collaborative
  architecture including Laptops, PDAs and
  TabletPCs in a m-learning context
• (Grant of HP)
• Real-Time Telemetry System on 802.11 Wireless
  Networks.
• Location Based Mobile Applications through PDA
  and GPS,
• Context-Aware in m-learning Systems.
• Mobile Tutoring Architecture for a m-learning
  system.

22
Past Projects

• Design and Implementation of a Digital Video
  Library
• Location Based Mobile Applications through
  Cellular Phones
• Product availability application by using CDPD
• SIMOVIL Information System of Services and
  Products in Indoor Environment Using Mobile
  Devices.

23
Juan Francisco Cardona

• Professor in EAFIT.
• Candidate to Ph. D. in LerNET project
• B. Sc Computer Science
• M. Sc in Computer Science.
• Research areas.
• Embedded Systems
• Programming Languages
• Distributed Systems

24
Juan Francisco Cardona

• Embedded Systems.ADMG is a project for
  programming microprocessors using UML 2.0 and
  patterns for design. For this design generating
  code in C or assembler programming language for
  Motorolas HCS microprocessors family.
• Programming LanguagesAspect Oriented Programming
  (AOP). Using Aspect to development concurrent and
  non-blocking components.
• Distributed SystemsPVM (Parallel Virtual
  Machine) and RMI (Remote Method Invocation). For
  developing search services in components.

25
Research Groups in Dept. Basics Sciences

• Functional analysis
• Differential equations
• Mathematics education and history
• Applied electromagnetism
• Logic and Computation
• Applied optics
• Stochastic process
• Control system
• Topology and Geometry

26
Logic and Computation Group

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

27
Logic and Computation Group

• Investigators
• Andrés Sicard (Computer Sciences, Mrs Mat.)
  (candidate to Dr. LerNet Proyect)
• Francisco Correa (Mat., Dr. Informatics)
• Juan Fernando Ospina (Physics)
• Manuel Sierra (Logic)
• Mario Vélez (Physics)
• Raúl Gómez (Philosophy)

28
Andres Sicard

• Professor in EAFIT.
• Candidate to Ph. D. in LerNET project
• B. Sc Computer Science
• M. Sc in Computer Science.
• Research areas.
• Hypercomputation
• Quantum Computation
• Computability
• Non-classic Logic

29
(No Transcript)
30
(No Transcript)
31
(No Transcript)
32
(No Transcript)