FAST
Foundations and Applications of Software Technology
Login
|
Register
|
Print
Overview
Home
Research
People
Projects
Tools
Opportunities
Seminar
Education
People
*
Staff
Research Students
External Research Students
Former Research Members
Former Students
Events
MOMPES 2008
- Model-based Methodologies for Pervasive and Embedded Software
Interacção 2008
- 3ª Conferência Interacção Pessoa-Máquina
XATA 2008
- 6th national conference of XML: Applications and Technologies. Évora, 14,15 February 2008
(
more...
)
News
New Project:
FAST members participate in EFACEC's
InPACT
project
Co-chair:
J. C. Campos was designated co-chair of the programme committee of INTERACÇÃO'08.
New Paper:
Simulation and Formal Verification of Industrial Systems Controllers
New Paper:
Formal analysis of interactive systems: opportunities and weaknesses
New Paper:
Connecting rigorous system analysis to experience centred design
(
more...
)
DI
»
FAST
»
WebHome
»
WebSideBar
»
FastResearch
»
FastPeople
Staff
(All email addresses are AT di.uminho.pt except where indicated)
José Nuno Oliveira
(PI, Associate Professor) [
DBLP
] [
repositoriUM
] email: jno
José Bacelar Almeida
(Assistant Professor) [
DBLP
] [repositoriUM] email: jba
José João Almeida
(Assistant Professor) [
DBLP
] [repositoriUM] email: jja
Luís Barbosa
(Associate Professor) [
DBLP
] [
repositoriUM
] email: lsb
Manuel Barbosa
(Assistant Professor) [
DBLP
] [
repositoriUM
] email: mbb
José Barros
(Associate Professor) [
DBLP
] [
repositoriUM
] email: jbb
José Creissac Campos
(Assistant Professor) [
DBLP
] [
repositoriUM
] email: jose.campos
Alcino Cunha
(Assistant Professor) [
DBLP
] [
repositoriUM
] email: alcino
João Miguel Fernandes
(Associate Professor) [
DBLP
] [repositoriUM] email: jmf
Maria João Frade
(Assistant Professor) [
DBLP
] [
repositoriUM
] email: mjf
Pedro Rangel Henriques
(Associate Professor) [
DBLP
] [repositoriUM] email: prh
Fernando Mário Martins
(Associate Professor) [
DBLP
] [
repositoriUM
] email: fmm
Olga Pacheco
(Assistant Professor) [
DBLP
] [
repositoriUM
] email: omp
Jorge Sousa Pinto
(Assistant Professor) [
DBLP
] [
repositoriUM
] email: jsp
José Carlos Ramalho
(Assistant Professor) [
DBLP
] [repositoriUM] email: jcr
António Nestor Ribeiro
(Assistant Professor) [DBLP] [repositoriUM] email: anr
Jorge Gustavo Rocha
(Assistant Professor) [
DBLP
] [repositoriUM] email: jgr
João Saraiva
(Assistant Professor) [
DBLP
] [repositoriUM] email: jas
Alberto Manuel Simões
(Assistant Professor) [
DBLP
] [repositoriUM] email: ambs
José Valença (Full Professor) [
DBLP
] [
repositoriUM
] email: jmvalenca
Research Students
(All email addresses are AT di.uminho.pt except where indicated)
Tiago Alves
[
DBLP
] email: tiago.alves
Marco Barbosa [
DBLP
] email: marco.antonio
Daniela Carneiro da Cruz
[DBLP] email: danieladacruz
Jácome Cunha
[DBLP] email: jacome
Francisco J. Duarte [
DBLP
] email: Francisco.Duarte AT pt.bosh.com
João Fernandes
[
DBLP
] email: jpaulo
Luís Pedro Machado [DBLP] email: lpmachado
Paulo Jorge Oliveira
DBLP
email: pjorge AT dei.isep.ipp.pt
Óscar R. Ribeiro [
DBLP
] email: oscar.rafael
César Rodrigues [
DBLP
] email: cjr
Nuno Rodrigues
[
DBLP
] email: nfr
João Carlos Silva [
DBLP
] email: jcsilva
Paulo Silva [DBLP] email: paufil
Miguel Vilaça
[
DBLP
] email: jmvilaca
José Luís Silva [
DBLP
] email: jlsilva
External Research Students
(All email addresses are AT di.uminho.pt except where indicated)
Gustavo Vasconcelos Arnold [DBLP] email: gva
Pablo Berdaguer
[
DBLP
] email: pabloberdaguer
Mario Marcelo Berón [DBLP] email: mberon AT unsl.ar
João Ferreira
[DBLP]
Alexandra Mendes
[DBLP]
Claudia Necco [DBLP]
Alexandra Silva
[
DBLP
] email: xana
Former Research Members
Joost Visser
(2003-2007)
Tarmo Uustalu
(2000-2002)
Olivier Pons
(2000-2001)
Gilles Barthe
(1998-1999)
Former Students
Pedro Quaresma de Almeida
, supervised by J. Valença.
Giovani Rubert Liberlotto, Topic Maps, from Syntax to Semantics. Supervised by P. Henriques and C. Ramalho.
Paulo Jorge Matos. An Architectural Model for the Development of Compilers: application to "Dolphin" Framework. Supervised by P. Henriques.
Sun Meng
, 2004. Coalgebra Theory and its Application in Component Software. Co-supervised by L. Barbosa.
Miguel Pessoa Monteiro
, 2005. Refactorings to Evolve Object-Oriented Systems with Aspect-Oriented Concepts. Supervised by J. M. Fernandes.
Maria João Varanda Pereira
. Systematization of Program Visualization and Algorithm Animation. Supervised by P. Henriques.
Maria de Fátima Coutinho Rodrigues
. An Heterogeneous Architecture for Knowledge Extraction from Databases. Co-supervised by P. Henriques.
r6 - 29 Aug 2008 - 14:00:45 -
JoseBacelarAlmeida
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback
Syndicate this site
RSS
ATOM