Francisco José Correa ZabalaProfessor Researcher

Logic and Computation Group Software Engineering Group

EAFIT UniversityMedellín, Colombia, South America

fcorrea@eafit.edu.coBraga, PortugalJunio de 2005

Research Groups in Dept. of Fundamental Sciences

• Computing and Educations.

• Virtual Reality.

• Software Engineering.

• Networks and distribute System.

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

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

Software Engineering group

Research areas• Methodology and Models for software

development

• Guarantying Qualify

• Knowledge Management

• Declarative Debugging

• Logical – functional programming

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)

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

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

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.

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.

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

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 440–450. Springer-Verlag, Berlin, 1994.

J. W. Lloyd. Declarative Error Diagnosis. New Generation Computing, 5(2):133–154, 1987.

G. Ferrand. Error Diagnosis in Logic Programming, an Adaptation of e. y. Shapiro’s Method. Journal of Logic Programming, 4:177–198, 1987.

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):289–318, 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.

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.

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.

Software for debugging

• BUGGY system. It detects errors in the program

• NOBug System. It corrects the program.

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”

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

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.

Networks and Distributed Systems Research Group

(NDSRG)• Research in:

– Digital Libraries

– Mobile Computing

– Security

– Concurrent Systems

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.

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.

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

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 Motorola’s 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.

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

Logic and Computation Group

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

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)

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