Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About
Download Photo HD

About

I am a lecturer in the Department of Computer Science, School of Sciences of University of Porto, Portugal. I obtained a B.Sc. degree in Computer Science from State University of Rio de Janeiro, Brazil, in 1985, and an M.Sc. degree in the Systems Engineering and Computer Science department of Federal University of Rio de Janeiro, Brazil, in 1988. My Ph.D. degree was obtained from Bristol University, UK, in 1995. In 1998, I started as a lecturer in the Department of Systems Engineering and Computer Science of COPPE, an institution for postgraduate studies in Engineering, at Federal University of Rio de Janeiro, where I taught courses on Operating Systems, Concurrent Programming and Topics on High Performance Computing, at M.Sc. and Ph.D. levels, and Artificial Intelligence and Logic Programming, at undergraduate level. In Februrary 2007 I moved to Portugal where I am now located. During the periods between October 2001 and December 2002, April 2004 and March 2005, Aug 2010 and Feb 2011, and Oct 2014 and Mar 2015, I worked as a visiting researcher at University of Wisconsin-Madison, USA, in the department of Biostatistics and Medical Informatics, and at the Radiology Department of the School of Sciences and Public Health. During these periods, I worked for machine learning projects funded by NSF, DARPA and American Air Force (projects COLLEAGUE, EELD and EAGLE), and NLM (Project ABLe) and started to work with applications that demanded a huge amount of resources. At this time, I had the opportunity to work with the Condor team, and to largely use the Condor resource manager to run experiments. My main research areas are Logic programming, Inductive Logic Programming, and Parallel Logic Programming systems. I served as Program Comittee member of several workshops and conferences in these areas. I supervised several M.Sc. and Ph.D. students in these areas. I have more than 80 publications in conferences and journals. I also participated or was the principal investigator of several projects funded by CNPq (Brazil), FCT (Portugal) and the EU. I am a member of the EELA (E-science grid facility for Europe and Latin America) initiative, whose main objective is to promote and maintain the infrastructure of hardware and software between Europe and Latin America. Currently, I have been working on machine learning techniques based on Inductive Logic programming, but still using parallelzation and grid environments to be able to perform machine learning experiments.

Interest
Topics
Details

Details

005
Publications

2020

Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

Authors
Fernandes, D; Silva, C; Dutra, I;

Publication
XRDS: Crossroads, The ACM Magazine for Students

Abstract

2019

Erratum: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

Authors
Fernandes, D; Silva, C; Dutra, I;

Publication
XRDS: Crossroads, The ACM Magazine for Students

Abstract

2019

Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I

Authors
Fernandes, D; Dutra, I;

Publication
ACM Crossroads

Abstract

2018

atSNPInfrastructure, a Case Study for Searching Billions of Records While Providing Significant Cost Savings over Cloud Providers

Authors
Harrison, C; Keles, S; Hudson, R; Shin, S; Dutra, I;

Publication
2018 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2018, Vancouver, BC, Canada, May 21-25, 2018

Abstract
We explore the feasibility of a database storage engine housing up to 307 billion genetic Single Nucleotide Polymorphisms (SNP) for online access. We evaluate database storage engines and implement a solution utilizing factors such as dataset size, information gain, cost and hardware constraints. Our solution provides a full feature functional model for scalable storage and query-ability for researchers exploring the SNP's in the human genome. We address the scalability problem by building physical infrastructure and comparing final costs to a major cloud provider. © 2018 IEEE.

2018

Improving Candidate Quality of Probabilistic Logic Models

Authors
Real, JC; Dries, A; Dutra, I; Rocha, R;

Publication
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom

Abstract

Supervised
thesis

2019

Towards Improving the Search for Multi-Relational Concepts in ILP

Author
Alberto José Rajão Barbosa

Institution
UP-FCUP

2019

Exascale computing with custom Linear Mixed Model kernels and GPU accelerators for Genomic Wide Association Studies and personalized medicine

Author
Christopher David Harrison

Institution
UP-FCUP

2017

Improving the search for multi-relational concepts in ILP

Author
Alberto José Rajão Barbosa

Institution
UP-FCUP

2017

Weighted Multiple Kernel Learning for Breast Cancer Diagnosis applied to Mammograms

Author
Tiago André Guedes Santos

Institution
UP-FCUP

2017

Execução e Gestão de Aplicações Conteinerizadas

Author
Diogo Cristiano dos Santos Reis

Institution
UP-FCUP