CITI - Member - Artur Miguel Dias

CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home \ Members \ Member Page

Artur Miguel Dias
Software Systems Country: Portugal Position: Assistant Professor Email: amd(at)di.fct.unl.pt Personal Web Page	Research Projects (1) Publications (8) Graduation Activities (9) Organization of Events (4) Prototypes (10) Visits (1)

{ Post-Graduations }

OM - Uma Linguagem de Programação Multiparadigma
(Phd) - [ 30 May 2000 ]

( as supervisor )

JavaCO - Uma variante de Java com um sistema de tipos baseado em covariância
(MSc) - Duarte João Figueira Martins (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - [ 15 Sep 2009 to 29 Oct 2010 ]
Gestão de memória em CxProlog
(MSc) - André Manuel Pinheiro Castro (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - [ 15 Sep 2009 to 14 Oct 2010 ]
Plugin de CxProlog para o Code::Blocks IDE
(MSc) - Igor Vieira de Carvalho (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - [ 15 Sep 2008 to 24 Nov 2009 ]
Inferência de Tipos Em Ruby
(MSc) - Pedro Costa Teodoro (Instituto Superior de Agronomia) - [ 28 Feb 2007 to 5 Dec 2008 ]
CxProlog Foreign Interfaces to Python and OCaml
(MSc) - João Manuel de Sousa Viegas Rato (FCT-UNL) - [ ongoing since 1 Oct 2014 ]
Web Services in CxProlog
(MSc) - Bruno Rendeiro Rodrigues (Departamento de Informática FCT/UNL) - [ ongoing ]

( as jury )

Or-Parallel Prolog Execution on Multicores based on Stack Splitting
(MSc) - Rui Edgar Silva Vieira (Faculdade de Ciências da Universidade do Porto) - [ 17 Nov 2011 ]
JavaCO - Uma variante de Java com um sistema de tipos baseado em covariância
(MSc) - Duarte João Figueira Martins (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - [ 29 Oct 2010 ]
Gestão de memória em CxProlog
(MSc) - André Manuel Pinheiro Castro (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - [ 14 Oct 2010 ]
Plugin de CxProlog para o Code::Blocks IDE
(MSc) - Igor Vieira de Carvalho (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - [ 24 Nov 2009 ]
Inferência de Tipos Em Ruby
(MSc) - Pedro Costa Teodoro (Instituto Superior de Agronomia) - [ 5 Dec 2008 ]
Languages and Types for Component Oriented Programming
(Phd) - João Costa Seco - [ 13 Oct 2006 ]