 |
 |
 |
|
|
|
|
 |
 |
 |
| Name: Vasco T. Vasconcelos |
 |
| Homepage: http://www.di.fc.ul.pt/~vv/ |
|
| Position: Associate Professor |
|
| Biography: |
| Vasco T. Vasconcelos received his BSc degree in Informatics from New University of Lisbon, Portugal, in 1988. He received the MSc and PhD degrees in computer science from the University of Keio, Japan in 1992 and 1994, respectively. He is an associate professor at the Department of Informatics, University of Lisbon. His research interests include programming languages, concurrency, type systems, and mobile computing. |
 |
 |
 |
|
|
|
|
|
| Name: Luís Barros Lopes |
|
| Homepage: http://www.ncc.up.pt/~lblopes |
|
| Position: Associate Professor |
|
| Biography: |
| Luís Lopes graduated in Applied Mathematics/Computer Science at the Faculty of Sciences of the University of Porto, Portugal, in 1992. He received his MSc and PhD degrees in computer science from the same University, in 1995 and 1999, respectively, where he is now an assistant professor. His research interests include: programming languages, virtual machines, distributed systems and computer architecture. |
|
|
|
|
|
|
|
|
| Name: António Ravara |
|
| Homepage: http://cs.math.ist.utl.pt/amar.html |
|
| Position: Assistant Professor |
|
| Biography: |
| António Ravara graduated in Applied Mathematics at the Faculty of Sciences of the University of Lisbon, Portugal, in 1991. He received the MSc degree in Applied Mathematics in 1996 and the PhD degree in Mathematics in 2000, both from the Technical University of Lisbon, where he is now Assistant Professor. His research interests include: semantics of programming languages, theory of concurrency and of mobile systems, type systems. |
|
|
|
|
|
|
|
|
| Name: Francisco Martins |
|
| Homepage: http://www.uac.pt/~fmartins/ |
|
| Position: Assistant Professor |
|
| Biography: |
| Francisco Martins received the BSc degree in Mathematics/Informatics from University of Azores, Portugal, in 1993. He received the MSc (by research) in computer science from the University of Azores, Portugal in 2000. He is a teaching assistant at the Department of Mathematics, University of Azores. His research interests include type systems, security, and distributed systems. |
|
|
|
|
|
|
|
|
| Name: Hervé Paulino |
|
| Homepage: http://www-asc.di.fct.unl.pt/~herve/ |
|
| Position: Assistant Professor |
|
| Biography: |
| Hervé Paulino received the graduation and MSc degree in Computer Science from University of Porto, Portugal, in 1996 and 1998, respectively. He is currently working in his PhD thesis, "Infrastructures for Mobile Computations Over a Process-Calculi". He is a teaching assistant at the Department of Informatics, New University of Lisbon. His research interests include programming languages, concurrency, mobile agents, and distributed systems. |
|
|
|
|
|
|
|
|
| Name: Fernando Silva |
|
| Homepage: http://www.ncc.up.pt/~fds |
|
| Position: Associate Professor |
|
| Biography: |
| Fernando Silva is an Associate Professor in the Computer Science Department of the School of Sciences at the University of Porto (UP), Portugal. He was awarded his Ph.D. in Computer Science from the University of Manchester, UK (1993). His primary research interests are in logic programming, programming languages, parallel and distributed computing, peer-to-peer computing and, applications in information mining and bioinformatics. |
|
|
|
|
|
|
|
|
| Name: Licínio Oliveira |
|
| Homepage: Not available |
|
| Position: Researcher |
|
| Biography: |
| Licínio Oliveira received the BSc degree in Computer Science and MSc in Informatics from Faculdade de Ciências da Universidade do Porto, Portugal, in 2000 and 2003, respectively. He is currently a researcher at the Department of Computer Science, Faculdade de Ciências, Universidade do Porto. His research interests include districuted programming, parallelism and concurrency. |
|
|
|
|
|
|
|
|
| Name: Paulo Rafael |
|
| Homepage: Not available |
|
| Position: Researcher |
|
| Biography: |
| Paulo Rafael received the BSc degree in Informatics from the University of Lisbon, Portugal, in 2002. He is an investigator in the Department of Informatics, University of Lisbon. His research interests are currently focused in type systems and development tools. |
|
|
|
|
|
|
|
|
| Name: Ricardo Silva |
|
| Homepage: Not available |
|
| Position: Researcher |
|
| Biography: |
| Ricardo Silva received the Bsc degree in Computer Science from Faculdade de Ciências da Universidade do Porto, Portugal, in 2002. He is currently working in the development of a debugger for the Tyco language as a project for his MSc degree in Informatics at the same university. |
|
|
|
|
|
|
People that no longer contribute to TyCO
|
| Name: André Gonçalves |
| Homepage: Not available |
| Position: Researcher |
| Date: October 2002/October2003 |
|
|
| Name: Rui Bastos |
| Homepage: Not available |
| Position: Researcher |
| Date: 1997/1999 |
|
|
| |
|
|
