Participantes em Pesquisa & Desenvolvimento do Projeto ATIFS:

Participantes	Instituição	Currículo Lattes	Observação
Alex Jeukens	UNICAMP/IC		Iniciação Cientifica
Ana Maria Ambrósio	INPE/DSS	CV Lattes	Responsável - INPE
Ana Silvia Martins Serra do Amaral	INPE/LAC	CV Lattes	Mestrado
Anderson José Siqueira	INPE/DSS		Estágio
Anderson Nunes Paiva Morais	UNICAMP/IC		Iniciação Cientifica
Bruno Teixeira de Abreu	UNICAMP/IC	CV Lattes	Mestrado
Cláudia Santos da Silva	UNICAMP/IC	CV Lattes	Mestrado
Daniele Constant Guimarães	UNICAMP/IC		Mestrado
Deisy Mazzini	UNICAMP/IC		Iniciação Cientifica
Dra. Eliane Martins	UNICAMP/IC	CV Lattes	Coordenadora - UNICAMP
Dr. Nandamudi L. Vijaykumar	INPE/LAC	CV Lattes	Colaborador
Dr. Solon Venâncio de Carvalho	INPE/LAC	CV Lattes	Colaborador
Leonardo Pondian Tizzei	UNICAMP/IC		Iniciação Cientifica
Marcelo Barrerto	INPE/DSS		Estágio
Márcio Roberto Stefani	IC/UNICAMP		Mestrado
Marcos Renato R. Araújo	UNICAMP/IC		Mestrado
Marcos Salenko Guimarães	UNICAMP/IC	CV Lattes	Mestrado
Maria de Fátima Mattiello Francisco	INPE/DSS	CV Lattes	Responsável - INPE
Rafael N. Bueno	UNICAMP/IC		Iniciação Cientifica
Raul Cesar Requião	UNICAMP/IC		Mestrado
Ricardo Luís Lachi	UNICAMP/IC	CV Lattes	Iniciação Cientifica
Romualdo Alves Pereira Júnior	INPE/CRN	CV Lattes	Colaborador
Selma Sabião	UNICAMP/IC		Mestrado
Selma Tanaka	UNICAMP/IC		Iniciação Cientifica
Yngrid Nicoletti de Azevedo	UNICAMP/IC		Iniciação Cientifica

Professores/pesquisadores da UFRN que têm interesse de participação efetiva nos projetos de Pesquisa & Desenvolvimento do INPE. São informados a quantidade de alunos de mestrado (M) e doutorado (D) sob orientação ou co-orientação (c) e as áreas de afinidade de pesquisa.

Professor/Pesquisador	Orientação 2003	Currículo Lattes	Áreas de Interesse
Benjamín René Callejas Bedregal	4M e 1cD	CV Lattes	Máquinas de estados finitos (algoritmos de minimizacao); álgebras de processos e outros formalismos para concorrência (Chu spaces, por exemplo); uso da matematica intervalar para lidar com o tratamento de dados coletados; criptografia para transmissao pelo radio em software.
David Boris Paul Déharbe	1M	CV Lattes	Desenvolvimento da plataforma de teste ATIFS do INPE; Ferramenta VerProp; Aplicação de métodos formais para o desenvolvimento de software ou hardware de sistemas computacionais para a indústria espacial; desenvolvimento de sistemas hardware ou firmware (tipo FPGA), com base na linguagem VHDL ou Verilog HDL.
Elizabeth Ferreira Gouvêa Goldbarg		CV Lattes	Algoritmos experimentais (otimização de alocação de freqüência) para o rádio em software.
Francisco das Chagas Mota		CV Lattes	Algoritmos para rastreamento de sinais, GPS, automacao.
Marco Cesar Goldbarg		CV Lattes	Algoritmos experimentais (otimização de alocação de freqüência) para rádio em software.
Ivan Saraiva Silva		CV Lattes	Arquitetura de hardware e sistemas embarcados ou embutidos.
Regivan Hugo Nunes Santiago	2M	CV Lattes	Matemática intervalar aplicada a dados imprecisos; especificação formal de sistemas que envolvam dados contínuos; especificação de sistemas concorrentes usando espaços de Chu.