Manual de Sobrevivência
Neste manual você encontrará informações essenciais para a sua sobrevivência no Centro de Informática. Tudo será explicado de forma simples e direta com o objetivo de servir como uma referência rápida sobre como e onde você conseguirá obter o que precisa.
Índice
Cursos
Bacharelado em Ciência da Computação, Engenharia da Computação e Sistemas de Informação são os três cursos oferecidos pela Graduação do Centro de Informática (CIn) da UFPE, um dos maiores e mais importantes Centros Acadêmicos em Informática da América Latina, sendo no Brasil, um dos cinco melhores.
Ciência da Computação
O Curso de Graduação em Ciência da Computação foi criado em 1974 e tem como objetivo proporcionar uma ampla formação aos seus alunos, preparando-os para acompanhar a evolução das diversas áreas da informática. Os profissionais que atuam nesta área são habilitados a desenvolver sistemas de softwares e hardwares utilizando metodologias e técnicas avançadas. Uma das metas é fornecer conhecimentos básicos bem fundamentados, preparando os estudantes tanto para o mercado de trabalho, com particular incentivo ao empreendedorismo, quanto para a carreira acadêmica, destacando-se em pesquisas inovadoras e desenvolvimento. Segue abaixo a grade curricular deste curso. Para mais informações sobre cada disciplina, acesse Grade Curricular e clique em cima do nome da disciplina desejada.
Engenharia da Computação
Já Engenharia da Computação, criado em 2002, é uma parceria do CIn com o Departamento de Eletrônica e Sistemas (DES) do Centro de Tecnologia e Geociências da UFPE (CTG), e surgiu da necessidade gerada a partir dos avanços tecnológicos nas áreas de eletrônica e computação que estão criando um novo cenário global. O curso capacita os estudantes a elaborarem sistemas que envolvam o uso do computador em conjunto com sistemas de controle, comunicações ou hardware. A formação profissional é mais voltada para atuar com hardware cujas funcionalidades são determinadas e controladas por sistemas de computação. Segue abaixo a grade curricular deste curso. Para mais informações sobre cada disciplina, acesse Grade Curricular e clique em cima do nome da disciplina desejada.
Sistemas de Informação
O Bacharelado em Sistemas de Informação (BSI) tem como objetivo fornecer uma formação sólida em Administração e Computação. Além de uma ampla formação em áreas relacionadas a Sistemas de Informação com ênfase na gestão das organizações e estudos humanísticos. Dessa forma, o curso não possui um enfoque exclusivamente técnico, ele oferece ao aluno uma visão abrangente do ambiente organizacional e da sociedade com competências e habilidades para o profissional compreender as necessidades de um mundo em constante mudança. Ainda não há desenhado um diagrama da grade curricular, mas informações sobre a estrutura curricular deste curso podem ser encontradas em: Grade Curricular
Solicitação de crachá
De maneira bastante simples, escrevemos um passo-a-passo a ser seguido para que você solicite e obtenha seu crachá do CIn. É importante ressaltar que, para solicitá-lo, você precisa já possuir um login e uma senha.
Passo-a-passo
1º) Dirija-se a algum laboratório da graduação, utilize seu login e senha para logar e vá para a url Crachás A url visualizada deverá ser a seguinte:
Uma vez carregada a página, você deverá:
i) Colocar o mesmo login e senha, anteriormente utilizados, e clicar em “Confirmar”;
ii) Preencher um formulário com seus dados pessoais. Após devidamente preenchido, clicar em “Próxima Etapa”;
iii) Preencher outro formulário com seus dados residenciais. Clicar em “Próxima etapa”.
iv) Por fim, fazer o upload de uma foto e a solicitação do seu crachá.
ATENÇÃO: Você não poderá solicitar seu crachá se não fizer o upload da foto.
Em seguida, você receberá na sua conta de email do CIn (login@cin.ufpe.br) um e-mail de crachas_novo@cin.ufpe.br confirmando sua solicitação e com informações sobre o pagamento e recebimento do crachá.
2º) Dirija-se à Gerência Administrativa Financeira (Bloco D – sala 204, 2º andar) para pagar uma taxa no valor de R$6,50.
3º) Para terminar, basta aguardar a mensagem de e-mail informando que o crachá está pronto. Ele é entregue na Sala da Infraestrutura/Oficina do Centro de Informática (Bloco D – sala B015, térreo). Observação: Qualquer dúvida, contacte crachas_novo@cin.ufpe.br
Secretaria de Graduação
A Secretaria de Graduação é responsável por todo o acompanhamento acadêmico dos alunos da Graduação. A secretaria da graduação é composta pelos seguintes membros: Lúcia do Nascimento (Secretária), Gustavo Pereira (Assistente em Administração) e Anicélia da Silva (Técnica em Assuntos Educacionais). Todas as informações relevantes sobre os cursos de Graduação do CIn podem ser encontradas nos seguintes sites: Graduação e Secgrad. Nesses endereços eletrônicos é possível encontrar a lista de equipe de Docentes, grades curriculares, horários do semestre, alocações das salas de aulas, códigos das disciplinas e o calendário acadêmico da UFPE. Além disso, existe também uma página de perguntas frequentes (FAQ) no portal Portal CIn Graduação. Outros questionamentos referentes à graduação podem ser feitos diretamente na sala da Secretaria da Graduação ou através do e-mail: secgrad@cin.ufpe.br. A secretaria de graduação se propõe ao atendimento dos seguintes assuntos:
- Alteração de matrícula.
- Matricula em disciplinas isoladas e eletivas de outros Centros.
- Cancelamento de disciplina e semestre.
- Pedido de segunda chamada de prova.
- Pedido de revisão de prova.
- Declarações (inclusive para estágio, que só podem ser emitidas após a conclusão de todas as disciplinas obrigatórias).
- Esclarecimentos sobre regras, disciplinas, horários, matrículas e o SIG@.
O horário de atendimento é de segunda à sexta-feira, de 08:00 às 12:00 e de 14:00 às 17:00h.
Uso da Copa
Todos os alunos poderão usar a estrutura da copa, localizada no bloco B Térreo, como geladeira, microondas, gelágua, café e praça de alimentação ao lado. Para beber água, os alunos devem trazer seu copo ou caneca, porém não poderão mais guardá-los na copa. O CIn não oferece copos descartáveis para uso dos geláguas do Centro.
Outras recomendações:
- Guarde somente o seu depósito na geladeira, não deixe enrolado em sacos plásticos que ocupam muito espaço e atrapalham a conservação de sua refeição;
- Ao terminar sua refeição, coloque o resto no lixo e não dentro da pia. Evite entupimento;
- Lave seus objetos, enxugue-os e guarde-os com você. Não use a geladeira como armário;
- Não coloquem garrafas pet no congelador, pois elas podem estourar e danificar o refrigerador.
O CIn ainda não oferece nenhum restaurante nem cantina em seu prédio. As refeições podem ser feitas na cantina da Área II ou no restaurante do CEFET que são os lugares mais próximos, além do Restaurante Universitário da UFPE.
Consultar reservas de salas
Qualquer aluno pode visualizar quais as salas pertencentes ao CIn que estão reservadas, e o motivo de sua reserva. Para isso, deve-se seguir o seguinte procedimento:
- Abrir a página Reserve;
- Clicar no link correspondente à sala em que se deseja ver a reserva.
Ao clicar no link, as reservas irão aparecer com seus respectivos títulos.
Acessando seus arquivos no CIn
Acessando o H:
Quando o usuário efetua login, o H: fica disponível automaticamente, mas pode ser que isso não aconteça. Para acessá-lo no Windows, pressione Win+R e digite \\grad\LOGIN . No Ubuntu: Pressione Alt+F2 e digite smb://grad/LOGIN Na janela que aparecer informe seu usuário, sua senha e no campo Domain digite CIN.
Acessando seus arquivos de casa
Mesmo em casa, você pode acessar diversos recursos do CIn (acessíves apenas na rede local do centro). Usar seus arquivos pessoais (o seu H), editar o public_html, acessar papers restritos do IEEE. Conectado à VPN, mesmo de casa, é como se o seu computador estivesse na rede local do centro, tendo inclusive um IP local.
Conectando à VPN do CIn no Windows 7
Clique no ícone de rede ao lado do relógio e clique em “Abrir a Central de Rede e Compartilhamento”.
Das opções apresentadas, escolha “Conectar a um local de trabalho” e clique em avançar.
Na janela aberta, procure o link “Configurar uma nova conexão ou rede”.
Na próxima tela, escolha que deseja criar uma nova conexão clique em avançar e então clique em “Usar minha conexão com a internet (VPN)”.
Depois, preencha os dados como no exemplo e clique em avançar.
Finalmente, informe seu usuário, senha e no campo domínio digite CIN. Após isso clique em criar.
Para se conectar, basta acessar o ícone de rede perto do relógio, escolher a conexão VPN e clicar em conectar.
Conectando à VPN do CIn no Linux
A maioria das distribuições Linux fornecem o pacote NetworkManager. No Ubuntu ele já vem instalado por padrão, basta ver ao lado do relógio o ícone que indica sua conexão.
Clique no ícone da sua conexão e clique em “Configurar VPN”.
Na janela que abrir, vá para a aba VPN, clique em Adicionar e escolha a opção PPTP.
Em “Connection name”, dê um nome para a sua conexão, preencha o campo “Gateway” com vpn.cin.ufpe.br e o campo “NT Domain” com CIN.
Não se esqueça, é claro, de informar seu nome de usuário no CIn. A senha é a mesma que você usa para logar nas máquinas dos laboratórios.
Agora clique em “Avançado” e, dos métodos de autenticação mostrados na lista que vai ser aberta, selecione apenas MSCHAP e MSCHAPv2.
Convênios do CIn
O CIn mantém convênio com diversas empresas, que são localizadas na própria estrutura do centro, se tornando uma ótima oportunidade de estágio e trabalho para os alunos. Diferentes projetos e focos são incorporados em cada empresa, entre eles podemos citar:
- Samsung: Aplicativos de Computação Móvel e de Correio Eletrônico, Centro de Testes GMS, Testes Ginga-NCL para TV Digital;
- Megaware: Desenvolvimento de E-commerce B2B e B2C com Configurador Inteligente;
- Petrobras: Soluções de Alto Desempenho para Modelagem e Migração Sísmica baseado em Dispositivos FPGA’s;
- Motorola: Validação de Software Embarcado em Telefones Celulares e Residência em Software e Desenvolvimento de Ferramentas de Suporte a Teste de Software;
- Itautec: Sistemas Integrados Embarcados para Automação no Processamento de Documentos e Homebanking seguro;
- HP: Avaliação e Desenvolvimento de Metodologias para Avaliação de Dependabilidade e Centros de Dados Sustentáveis;
- Waytec: Programa de Desenvolvimento de Device Drivers para Touchscreen Resistivo;
- Leucotron: Desenvolvimento de Software Interface Voip para PABX Active e Criação de um Modelo de Software Interface Voz sem IP para Central Telefônica.
- Jabil: Projeto SPC - Statical Process Control, que investiga a criação de aplicações para dar suporte ao monitoramento de linhas de produção.
Divisão Docentes / Área
Abaixo você pode encontrar a relação dos professores do centro e as respectivas áreas de interesse:
| Nome | Áreas de Interesse |
|---|---|
| Abel Guilhermino da Silva Filho | Projetos de sistemas embarcados low power, sistemas reconfiguráveis (FPGAS), algoritmos inteligentes para exploração de arquitetura, ambientes de projeto de sistemas embarcados. |
| Adriano Augusto de Moraes Sarmento | Ambientes de projeto de sistemas embarcados modelagem e síntese de interfaces hardware/software, co-simulação de sistemas heterogêneos. |
| Adriano Lorena Inácio de Oliveira | Aprendizagem de máquina, redes neurais artificiais, algoritmos genéticos, otimização, sistemas inteligentes. |
| Alex Sandro Gomes | Interação humano computador (computer human interaction), computer supported collaborative learning (CSCL). |
| Alexandre Cabral Mota | Engenharia de software, projeto de sistemas críticos (concorrentes, distribuídos e orientados a objetos), métodos formais. |
| Alexandre Marcos Lins de Vasconcelos | Engenharia de software, qualidade de software, metodologias e processos de software, testes de software e ambientes e ferramentas case. |
| Aluízio Fausto Ribeiro Araújo | Sistemas inteligentes, redes neurais, algoritmos genéticos, vida artificial, aprendizagem de máquinas, sistemas dinâmicos, robótica, otimização. |
| Ana Carolina Brandão Salgado | Banco de dados, integração de dados, sistemas sensíveis a contexto. |
| André Luis de Medeiros Santos | Programação funcional, compiladores e linguagens de programação. |
| Anjolina Grisi de Oliveira | Teoria da computação e lógica aplicada à computação. |
| Augusto Cezar Alves Sampaio | Engenharia de software, projeto de sistemas críticos (concorrentes, distribuídos e orientados a objetos), métodos formais e geração e seleção de testes a partir de modelos. |
| Bernadette Farias Lóscio | Banco de dados, integração de dados, web semântica, XML. |
| Carina Frota Alves | Engenharia de software, engenharia de requisitos, desenvolvimento baseado em COTS. |
| Carla Taciana Lima Lourenço Silva Schuenemann | Engenharia de requisitos, desenvolvimento de software orientado a agentes, desenvolvimento de software orientado a aspectos, desenvolvimento de software dirigido por modelos e engenharia de linhas de produtos de software. |
| Carlos Alexandre Barros de Mello | Processamento de imagens, processamento de documentos, visão computacional, reconhecimento de padrões, processamento de sinais. |
| Carlos André Guimarães Ferraz | Sistemas distribuídos, aplicações, educação a distância, geoprocessamento, plataformas, corbadcom, modelo ODP (open distributed processing), redes de computadores, engenharia de software e TV digital. |
| Cleber Zanchettin | Redes neurais artificiais, sistemas híbridos inteligentes, reconhecimento de padrões, reconhecimento de imagens. |
| Cristiano Coelho de Araújo | Electronic system level, modelagem e simulação de sistemas digitais e projeto de circuitos integrados. |
| Daniel Carvalho da Cunha | Teoria das comunicações, códigos corretores de erros, teoria da informação aplicada e comunicações cooperativas. |
| Divanilson Rodrigo de Sousa Campelo | Comunicações ópticas, redes de computadores, redes de telecomunicações, sistemas de computação. |
| Djamel Fawzi Hadj Sadok | Redes de computadores, gerenciamento de redes e computação móvel. |
| Edna Natividade da Silva Barros | Hardware/software co-design, projeto de sistemas embarcados e arquitetura de computadores. |
| Edson Costa de Barros Carvalho Filho | Inteligência computacional, redes neurais e processamento de imagens. |
| Eduardo Antônio Guimarães Tavares | Avaliação de desempenho, modelagem de processos de negócio, sistemas de tempo real, métodos formais, redes de Petri. |
| Fabio Queda Bueno da Silva | Engenharia de software experimental, planejamento e gerenciamento de projetos, gestão da inovação e empreendedorismo. |
| Fernando da Fonseca de Souza | Banco de dados, interação homem-máquina, sistemas adaptativos e informática na educação. |
| Fernando José Castor de Lima Filho | Programação orientada a aspectos, modularidade, tratamento de exceções, arquitetura de software e tolerância a falhas de software para sistemas distribuído. |
| Flávia de Almeida Barros | Inteligência artificial, informática na educação e processamento de linguagem natural. |
| Francisco de Assis Tenório de Carvalho | Classificação supervisionada e não supervisionada, taxonomia numérica e agrupamento conceitual. |
| Frederico Luiz Gonçalves de Freitas | Inteligência artificial simbólica, representação de conhecimento, ontologias e web semântica, recuperação inteligente de informação na web e gestão de conhecimento. |
| Geber Lisboa Ramalho | Agentes inteligentes, entretenimento digital, inteligência artificial, jogos digitais, computação musical. |
| George Darmiton da Cunha Cavalcanti | Reconhecimento de padrões, processamento de imagens e redes neurais artificiais. |
| Germano Crispim Vasconcelos | Mineração de dados, sistemas híbridos, redes neurais e sistemas de apoio à decisão. |
| Gurvan Nicolas Huiban | Pesquisa operacional, otimização, matemática computacional. |
| Hermano Perrelli de Moura | Semântica de linguagens de programação, gestão de tecnologia da informação, comércio eletrônico e empreendedorismo. |
| Ivan Gesteira da Costa Filho | Biologia computacional, transcriptômica, redes regulatárias, aprendizagem de máquina, algoritmos de agrupamento e redes bayesianas. |
| Jacques Pierre Louis Robin | Inteligência artificial e agentes inteligentes, engenharia da linguagem e linguística computacional, recuperação e extração de informação em internet/intranet, descoberta de conhecimento em banco de dados e mineração de dados, banco de dados dedutivos, orientado a objetos e ativos e programação em lógica e programação declarativa multi-paradigma. |
| Jaelson Freire Brelaz de Castro | Engenharia de software, engenharia de requisitos, orientação a aspectos e orientação a objeto. |
| José Antônio Monteiro de Queiroz | Técnicas de descrição formal, engenharia de software, especificação de protocolos de comunicação, sistemas distribuídos e especificações gráficas. |
| José Augusto Suruagy Monteiro | Redes de computadores de alta velocidade e avaliação de desempenho. |
| Judith Kelner | Multimídia, realidade virtual e interfaces sistemas de autoria informática na educação. |
| Juliano Manabu Iyoda | Verificação formal de hardware e software, provadores de teoremas e testes de software. |
| Katia Silva Guimarães | Biologia computacional, redes reguladora(s) de gene(s) e redes de interação proteína/domínio, biológica, redes associadas a doenças e algoritmos e teoria dos grafos. |
| Kelvin Lopes Dias | Redes sem fio, computação ubíqua, internet das coisas, rádio cognitivo e virtualização de redes. |
| Kiev Santos da Gama | Engenharia de software baseada em componentes, sistemas distribuídos, internet das coisas e cidades inteligentes. |
| Leandro Maciel Almeida | Inteligência computacional, computação evolucionária, mineração de dados, reconhecimento de padrões, sistemas inteligentes híbridos, redes neurais artificiais. |
| Liliane Rose Benning Salgado | Análise e projeto de algoritmos, algoritmos de aproximação, teoria da complexidade, otimização combinatória e teoria dos grafos. |
| Manoel Eusébio de Lima | Prototipação de sistemas digitais, hardware/software codesign, layout de circuitos integrados e sistemas reconfiguráveis. |
| Marcelo Bezerra d'Amorim | Verificação e validação de software, software model checking e testes, análise estática e resolução de restrições. |
| Marcília Andrade Campos | Análise de desempenho de sistemas, aritmética de exatidão máxima, matemática computacional e probabilidade. |
| Márcio Lopes Cornélio | Engenharia de software, métodos formais, projetos de sistemas críticos, transformação de programas. |
| Nelson Souto Rosa | Sistemas distribuídos, arquitetura de software, requisitos não-funcionais e middleware. |
| Odilon Maroja da Costa Pereira Filho | Análise de antenas, antenas conformais, métodos numéricos aplicados em teoria eletromagnético, sensoriamento remoto. |
| Patrícia Cabral de Azevedo Restelli Tedesco | Inteligência artificial, sistemas multi-agentes, educação a distância e trabalho cooperativo apoiado por computador. |
| Paulo André da Silva Gonçalves | Redes de computadores e computação móvel. |
| Paulo Gustavo Soares Fonseca | Biologia computacional, processamento de cadeias, grafos e redes de regulação, aprendizagem de máquina. |
| Paulo Henrique Monteiro Borba | Desenvolvimento de pesquisas em engenharia de software e linguagens de programação, linguagens e desenvolvimento orientados a aspectos, linhas de produtos de software, refactoring e transformação de programas e modelos. |
| Paulo Jorge Leitão Adeodato | Sistemas de apoio a decisão, mineração de dados, análise de risco financeiro, redes neurais e reconhecimento de padrões. |
| Paulo Roberto Freire Cunha | Sistemas distribuídos, especificação formal e arquitetura de software. |
| Paulo Romero Martins Maciel | Avaliação de desempenho, redes de Petri, sistemas embarcados e sistemas de manufatura. |
| Pedro Machado Manhães de Castro | Geometria computacional, geometria discreta, processamento de geometria. |
| Rafael Dueire Lins | Processamento de imagens, engenharia de documentos (aquisição, filtragem, transcrição, indexação, compressão, etc.), otimização de código em uniprocessadores e máquinas paralelas, gerenciamento de memória (garbage collection). |
| Renata Maria Cardoso Rodrigues de Souza | Análise de dados numéricos e simbólicos, aprendizagem de máquina, mineração de dados e estatística aplicada. |
| Ricardo Bastos Cavalcante Prudêncio | Inteligência artificial, aprendizado de máquina sistemas híbridos meta-aprendizado, recuperação de informação e mineração de texto. |
| Ricardo Martins de Abreu Silva | Otimização combinatória e grafos, pesquisa operacional, programação matemática, inteligência computacional, biologia computacional, metaheurísticas, redes de computadores. |
| Ricardo Massa Ferreira de Lima | Implementação e otimização de compiladores, modelagem e avaliação de desempenho de sistemas, mineração de processos e redes de Petri. |
| Roberto Souto Maior de Barros | Engenharia de software, XML, bancos de dados e linguagens de programação. |
| Robson do Nascimento Fidalgo | Banco de dados, ferramentas case, integração de sistemas, sistemas de informações geográficas (SIG), sistemas de suporte à decisão (SSD), banco de dados geográficos (BDG), processamento analítico de dados (OLAP) e data warehouse (DW). |
| Ruy José Guerra Barretto de Queiroz | Lógica e computação, fundamentos teóricos da computação, teoria da prova, teoria de modelos e fundamentos da criptografia. |
| Sergio Ricardo de Melo Queiroz | Teoria da decisão, análise multicritério, recomendação, otimização combinatória, pesquisa operacional, aprendizagem de máquina, inteligência artificial. |
| Sérgio Castelo Branco Soares | Desenvolvimento de software orientados a aspectos, linhas de produtos de software, engenharia de software experimental, orientação a objetos e testes de software. |
| Sérgio Vanderlei Cavalcante | Engenharia de sistemas embarcados, hardware-software co-design e sistemas de tempo real. |
| Silvio de Barros Melo | Computer aided geometric design (CAGD), computação gráfica e aplicações e aplicações da geometria computacional. |
| Silvio Romero de Lemos Meira | Engenharia de software, performance e segurança de sistemas de informação e redes sociais. |
| Simone C. dos Santos | Sistemas de informação: e-business; BPM - gestão de processos de negócios; governança em tecnologia da informação. Engenharia de software: gestão de projetos; qualidade de software. Educação em TIC: modelos inovadores de aprendizado; PBL - aprendizado baseado em problemas reais. |
| Sóstenes Luiz Soares Lins | Combinatória, grafos, otimização discreta, otimização combinatória, topologia combinatória, grafos e algoritmos, cálculos diagramáticos, heurísticas em otimização. |
| Stênio Flávio de Lacerda Fernandes | Medição, análise e modelagem de tráfego na internet, virtualização de redes, gerenciamento de mobilidade em redes heterogêneas, avaliação de desempenho de sistemas em redes, sistemas multimídia na internet. |
| Teresa Bernarda Ludermir | Redes neurais artificiais, computabilidade e teoria dos autômatos. |
| Tsang Ing Ren | Processamento de imagens, visão computacional, inteligência artificial, reconhecimento de padrão, bioinformática, simulação computacional. |
| Valéria Cesário Times | Sistemas de banco de dados, sistemas de suporte a decisão, sistemas de informação geográfica, banco de dados não-convencionais, raciocínio espacial qualitativo, sistemas de data warehouse e OLAP, mineração de dados espaciais, sistemas de GPS e de objetos móveis, banco de dados espaço-temporais e nebulosos, sistemas de informações financeiras. |
| Veronica Teichrieb | Realidade aumentada, realidade virtual (modelagem e simulação gráfica e física) e interação 3d. |
| Vinicius Cardoso Garcia | Reuso de software, linhas de produtos de software, arquitetura de software, reengenharia de software, refactoring, computação na nuvem, computação social, educação em engenharia de software. |
