Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

I was born in Portugal in 1964. I graduated in mathematics from the Faculty of Sciences of the University of Porto and earned a Ph.D. in Computer Science from the same institution.
My current position is auxiliary professor at the Computer Science department of the Faculty of Sciences of the University of Porto. I am also affiliated with the Center for Research in Advanced Computing Systems (CRACS), an R&D unit of INESCTEC Research Laboratory, where I am an effective member.
My main research interests are technology enhanced learning, web adaptability, and semantic web.

Interest
Topics
Details

Details

  • Name

    José Paulo Leal
  • Cluster

    Computer Science
  • Role

    Senior Researcher
  • Since

    01st January 2009
Publications

2017

Enhancing Feedback to Students in Automated Diagram Assessment

Authors
Correia, H; Leal, JP; Paiva, JC;

Publication
6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal

Abstract
Automated assessment is an essential part of eLearning. Although comparatively easy for multiple choice questions (MCQs), automated assessment is more challenging when exercises involve languages used in computer science. In this particular case, the assessment is more than just grading and must include feedback that leads to the improvement of the students’ performance. This paper presents ongoing work to develop Kora, an automated diagram assessment tool with enhanced feedback, targeted to the multiple diagrammatic languages used in computer science. Kora builds on the experience gained with previous research, namely: a diagram assessment tool to compute di erences between graphs; an IDE inspired web learning environment for computer science languages; and an extensible web diagram editor. Kora has several features to enhance feedback: it distinguishes syntactic and semantic errors, providing specialized feedback in each case; it provides progressive feedback disclosure, controlling the quality and quantity shown to each student after a submission; when possible, it integrates feedback within the diagram editor showing actual nodes and edges on the editor itself. © Hélder Correia, José Paulo Leal, and José Carlos Paiva

2017

RUTICO: Recommending Successful Learning Paths Under Time Constraints

Authors
Nabizadeh, AH; Jorge, AM; Leal, JP;

Publication
Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, UMAP 2017, Bratislava, Slovakia, July 09 - 12, 2017

Abstract

2017

6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal

Authors
Queirós, R; Pinto, M; Simões, A; Leal, JP; Varanda Pereira, MJ;

Publication
SLATE

Abstract

2017

Tuberculosis in children from diagnosis to decision to treat

Authors
Ramos, S; Gaio, R; Ferreira, F; Leal, JP; Martins, S; Santos, JV; Carvalho, I; Duarte, R;

Publication
Revista Portuguesa de Pneumologia (English Edition)

Abstract

2016

Design and implementation of an IDE for learning programming languages using a gamification service

Authors
Paiva, JC; Leal, JP; de Queirós, RAP;

Publication
Gamification-Based E-Learning Strategies for Computer Programming Education

Abstract
This chapter presents the architecture and design of enki, an Integrated Development Environment (IDE) for learning programming languages on massive open online courses (moocs). this environment can be used as a tool by a learning management system (lms) and a typical lms such as moodle can launch it using the learning tool interoperability (lti) api. student authentication tokens are passed via lti, thus integrating enki in the single sign-on domain of the academic institution. the proposed tool has a web user interface similar to those of reference ides, where the learner has access to different integrated tools, from viewing tutorial videos, to solving programming exercises that are automatically evaluated. enki uses several gamification strategies to engage learners, including generic gamifications services provided by odin and the sequencing of educational resources. the course content (videos, pdfs, programming exercises) is progressively disclosed to the learner as he successfully completes exercises. this is similar to what happens in a game, where new levels are unlocked as the previous are completed, thus contributing to the sense of achievement.

Supervised
thesis

2016

Integração e processamento de dados em experiências sobre processos cognitivos da escrita

Author
Patrícia Sofia Borges Santos

Institution
UP-FCUP

2016

Recommender System for an e-learning platform

Author
Ricardo Jorge Mendes Oliveira

Institution
UP-FCUP

2016

Long term goal oriented recommender system

Author
Amir Hossein Nabizadeh Rafsanjani

Institution
UP-FCUP

2015

Avaliador de Exercícios Baseados em Diagramas

Author
Rúben Filipe Pereira de Sousa

Institution
UP-FCUP