José Pacheco's home page

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
José Pacheco's home page

José Daniel Dias Pacheco

Photograph Address Departamento de Informática
Faculdade de Ciências e Tecnologia
Universidade Nova de Lisboa
Quinta da Torre, 2829-516 Caparica
Portugal

Office P3/6 (CITI Building)

Phone +351.21 294 83 00 ext. 10749

Fax +351.21 294 85 41

E-mail jddp[at]di.fct.unl.pt

Work

Degrees

MSc in Computer Science (Informática), Universidade de Lisboa, 2004;

BSc in Computer Science Engineering (Engenharia Informática e de Computadores), Universidade Técnica de Lisboa, 1995.

Positions

Teaching Assistant at the Computer Science Department (Departamento de Informática) of the Faculty of Sciences and Technology (Faculdade de Ciências e Tecnologia) of the New University of Lisbon (Universidade Nova de Lisboa);
Member of the Science and Technology of Programming Section (Secção de Ciência e Tecnologia da Programação) of DI-FCT/UNL;
Member of the Center of Computer Science and Information Technology (Centro de Informática e Tecnologias da Informação);
Member of the European Association for Theoretical Computer Science (EATCS).

Research

Statical Analisys of Security Properties in Distributed Systems [ PhD page ] (supervised by Prof. Luís Caires);
Computational Power of the Immune System [ MSc page ] (with Prof. José Félix Costa).

Projects

MOBILOG;
SecureSpace (GRICES/MCTES/CNRS 2007-2008);
POLY (POSI 34398/2000) [closed].

Selected Publications

The Abstract Immune System Algorithm. José Pacheco and José Félix Costa.
Proceedings of the 6th International Conference on Unconventional Computation, volume 4618 of LNCS, pages 137-149, Springer-Verlag, 2007;
[ Abstract | BibTeX | ps.gz | ]
Computational Power of Killers and Helpers in the Immune System. José Pacheco. MSc Thesis, University of Lisbon, 2004.
[ Abstract | BibTeX | ps.gz | ]

Events

Expo FCT 2008
IEEEXtreme 2008

SWERC 2007
MIUP 2007
CONCUR 2007
PPPJ 2007

Expo FCT @ DI 2007
SWERC'06
ICALP'05
ONI 2005

Teaching Activities

On leave for PhD studies;

Previous Teaching Activities.

Interests

Programming Languages, Calculi and Logics;
Models of Concurrency, Distribution, Mobility, Security;
Type Systems and Type Theory.

Hobbies

Music

Current Ninety Three Want List

My music list (MsExcel format) (last updated on 02.I.07)

Concerts I organized: Sol Invictus, Von Magnet, Michael Gira (all in Portuguese)

Other events: Triologia de Endovellico, Current Ninety Three^(*)

Cinema, Literature, ...

Last update: Monday, March 10, 2008

		Address		Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa Quinta da Torre, 2829-516 Caparica Portugal
		Office		P3/6 (CITI Building)
		Phone		+351.21 294 83 00 ext. 10749
		Fax		+351.21 294 85 41
		E-mail		jddp[at]di.fct.unl.pt

Expo FCT 2008 IEEEXtreme 2008
SWERC 2007 MIUP 2007 CONCUR 2007 PPPJ 2007	Expo FCT @ DI 2007 SWERC'06 ICALP'05 ONI 2005