Nosso estilo de pesquisa

Outubro 2014

Este documento descreve resumidamente o estilo de pesquisa adotado dentro do nosso grupo. Caso você seja um novo aluno no grupo, por favor, leia atentamente o texto abaixo. Caso você esteja interessado em ingressar no nosso grupo, a leitura deste texto pode lhe ajudar a decidir se o grupo é adequado para você.

Sobre dedicação. Apenas oriento alunos com dedicação exclusiva e morando em Recife.

Sobre o nosso grupo.  O interesse de pesquisa do nosso grupo é prevenir, encontrar, diagnosticar, e corrigir erros e vulnerabilidades em software. Nós estamos abertos a uma variedade de problemas e soluções dentro deste contexto. Você pode encontrar mais detalhes técnicos sobre nosso trabalho lendo alguns de nossos papers e conversando comigo (veja minha agenda para marcar horário).

Sobre orientação. Meu contato com o aluno é frequente. Quando necessário, eu participo em partes da implementação da solução. Portanto, é importante você se sentir confortável com este estilo de trabalho.

Sobre produtividade. Produtividade em pesquisa é importante para reduzir o tempo necessário para que outros pesquisadores possam avaliar nossa pesquisa e nos dar feedback. Você deve ficar atento às práticas adotadas por alunos mais antigos no grupo para obter maior produtividade. Alguns exemplos de boas práticas:

Sobre papers. O processo de publicação de papers científicos não está livre de falhas. Apesar disto, publicação de papers ainda é a principal forma de avaliação de pesquisa que eu conheço. Avaliação frequente é importante para fazer correções no projeto (especialmente quando o paper é rejeitado) e transferir conhecimento (especialmente quando o paper é aceito). Dito isto, eu espero que você publique um paper por ano em uma conferência top em Engenharia de Software e Linguagens (e.g., ASE, FSE, ICSE, ISSTA, PLDI, etc.). Evidentemente, eu tenho todo interesse em lhe ajudar.

Sobre ciclos de atividade. Historicamente, os períodos de maior intensidade de trabalho são durante o estudo de viabilidade da pesquisa (quando ainda não entendemos bem o problema) e durante as semanas que antecedem a submissão de um paper. Prepare-se para isto.

Sobre outras atividades. A participação em atividades afins vai ajudar na sua formação a médio e longo prazo. Alguns exemplos:

Lembre-se, entretanto, que pesquisa é nossa atividade principal.

Sobre disciplinas. As disciplinas são importantes para sua formação básica. Mas você vai precisar bem mais do que o conhecimento de sala de aula para realizar sua pesquisa. Se você estiver colocando muito tempo em disciplinas, certamente há um problema. Decida as disciplinas em conjunto comigo para equilibrar seu interesse, sua necessidade (dentro da pesquisa que está realizando), e sua carga de trabalho.

Sobre horário e local de trabalho. Você pode fazer seu horário e escolher o local onde se sente melhor para trabalhar. Entretanto, é muito importante estar ciente dos pontos abaixo:

Sobre equipamentos. Não hesite em me avisar que precisa de um equipamento novo ou que seu equipamento precisa de algum tipo de atualização ou manutenção.

Sobre disponibilidade. Mesmo que você esteja imerso em uma atividade planejada, não desapareça do radar, por favor. Em particular, eu encorajo ficar online no gtalk sempre que possível para facilitar nosso contato. Sinta-se à vontade para solicitar meu telefone e ligar para mim sempre que achar necessário.

Sobre reuniões de grupo. Nossas reuniões são importantes. Nessas reuniões você terá chance de explicar o que está fazendo para o grupo e criticar o trabalho dos seus colegas. Participe ativamente das reuniões e caso não possa participar de um dos encontros faça o possível para nos avisar com antecedência. Perceba que nosso grupo é pequeno; portanto, a falta de um membro faz bastante diferença na dinâmica da reunião.

Quando iniciar suas atividades...

-Marcelo