Ola a todos,
Eu me chamo Vivek Nigam, sou mais um brasileiro que cursou o
Programa Europeu de Mestrado em Logica Computacional (Erasmus Program). Eu
cursei o mestrado nos anos entre 2004-2006, o primeiro ano em Dresden e o
segundo em Lisboa. Depois de ler o depoimento do Bruno Paleo, eu me senti na
obrigacao de dar tambem o meu depoimento.
Apesar de concordar com muita coisa do que o Bruno escreveu,
especialmente sobre o processo de selecao das bolsas Erasmus, existem outros
pontos que naum concordo plenamente. Diferente do Bruno, eu classifico minha
experiencia como *muito boa*. Mas antes de entrar em mais detalhes sobre a
minha experiencia, acho que vale a pena lembrar um pouco de como o Mestrado
eh estruturado e do seu objetivo geral: O programa consiste de dois anos:
como o programa aceita alunos dos quatro cantos do mundo, no primeiro ano,
os alunos atendem a varios modulos basicos com o objetivo de equalizar o
conhecimento da classe. Jah, a partir do segundo ano, os alunos estudam
modulos avancados com o objetivo de se especializar em um topico, o que deve
resultar numa tese de mestrado. Como o titulo do mestrado diz, o mestrado
eh em *Computational Logic* e naum sobre* Logica* pura. Portanto, existem
muitas materias que saum baseadas em logica mas que contem tb componentes
naum logicos com a motivacao vindas da ciencia da computacao, por
exemplo, *Constraint
Logic Programming*.
Bom, idealmente esse eh o objetivo global do Mestrado. Claro
que na realidade existem varios problemas. O primeiro eh o mais obvio: naum
eh possivel dar cursos em todos os ramos de Computational Logic. Diferentes
universidades tem sua especialidade, e portanto, dao prioridade a essas
especialidade. Por exemplo, em Dresden naum existe um grupo em Proof Theory
(sequent calculus, natural deduction, etc), mas um grupo enorme em
Ontologies e Model Theory (Description Logics, Semantic Web, Model Checking,
etc). Jah em Lisboa, a especialidade saum em topicos envolvendo Logic
Programming e Knowledge Representation (Answer Set Programming, Constraint
Logic Programming, etc). O segundo problema eh uma consequencia dessa
diferenca entre as universidades: um aluno que vai a Madrid e Lisboa, tem
uma educacao diferente de um aluno que vai a Dresden e Vienna. Naum existe
uma uniformidade entre as universidades. Portanto, uma pessoa mais
interessada em Proof Theory, como o Bruno, pode preferir ficar em Vienna.
Agora, gostaria de compartilhar um pouco sobre as minhas boas
experiencias do curso:
1) Naum eh verdade que os alunos naum encontram
empregos, conheco muitos que fizeram estagio em companias de chips nas
redondezas de Dresden, e.g., AMD, escrevendo teses de mestrado sobre a
verficacao de *correctness* de chips produzidos. Muitos outros continuam em
programas de PhD, com bolsas de estudos na Europa ou nos EUA. Por exemplo,
na minha turma nos fomos cerca de 40-50 alunos nas cinco universidades, eu
sei de 10 que conseguiram bolsas de doutorado, *9 na Europa* *e um nos EUA
(NYU)*. Um indice muito bom;
2) Apesar das universidades terem diferentes
especialidades, existe um intercambio de pesquisadores, ainda que timido eh
verdade. Por exemplo, no meu primeiro ano em Dresden, nos tivemos ao menos
tres cursos dados por pesquisadores visitantes. Tb eh comum de haver Summer
Schools organizados nas universidades.
3) Os professores do cursos tem uma boa bagagem em
pesquisa de alto nivel. A maioria estaum na lista dos dez mil professores
mais citados do Citeseer, o que eh uma boa referencia.
4) Naum tive nenhum problema nas instalacoes em Dresden
nem em Lisboa. Alias, estive em Lisboa e posso dizer que o alojamento lah eh
bem melhor que em Dresden por exemplo, entaum fiquei surpreso com o
depoimento do aluno russo.
5) Durante o curso, tive *3 papers internacionais
publicados na Springer-Verlag*. Um quando estava em Dresden e os outros dois
quando estive em Lisboa.
6) Naum tive problemas em achar uma bolsa de doutorado,
*tive 5 ofertas*. Atualmente, estou na Ecole Polytechnique em Paris,
trabalhando coincidentemente em Proof Theory.
7) Apesar de eu tambem ter queixas na transparencia do
processo de selecao das bolsas Erasmus, naum posso dizer que haja
discriminacao. Na minha turma, existiam ao menos *3 latino-americanos *com a
bolsa Erasmus, uma mexicana e dois argentinos. Eu acredito que o fato de
naum haver bolsistas Erasmus brasileiros seja mais uma consequencia do menor
numero de aplicantes brasileiros do que do processo de selecao.
Resumindo, de um ponto de vista academico, minha experiencia no
program foi muito positiva. Eu aprendi muito sobre diversas areas de
Computational Logic. Atualmente, naum conheco nenhum programa de Mestrado
europeu que tenha um foco em Computational Logic e que seja ministrado em
ingles. Contudo, concordo com o Bruno que faltam mais detalhes na descricao
do programa, especialmente sobre as diferencas de especialidades entre as
universidades, para dar ao aplicante uma visao geral do programa. Tb naum
gosto da atitude do programa em forcar os alunos brasileiros a irem a
Lisboa, sem dar a chance deles escolherem. Esse tipo de *management* eh
dishonesto e deve ser mudado.
Atenciosamente,
Vivek Nigam
http://www.lix.polytechnique.fr/~nigam/<http://www.lix.polytechnique.fr/%7Enigam/>
PS: Desculpe-me pelos acentos :).
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
