Anúncios

Talk by Prof. Cristian Cadar

17 Fevereiro 2017, 11:20 - Maria Lucilia Gonçalves Abreu

Theme: Symbolic Execution for Evolving Software

Speaker: Prof. Cristian Cadar - Imperial College London

When: Friday, February 24th

Where: Rua Alves Redol, 9  Room 0.20,  Lisboa

Hour: 11 a.m.

Abstract: One of the distinguishing characteristics of software systems is that they evolve: new patches are committed to software repositories and new versions are released to users on a continuous basis. Unfortunately, many of these changes bring unexpected bugs that break the stability of the system or affect its security. In this talk, I describe our work on devising novel symbolic execution techniques for increasing the confidence in evolving software: a technique for reasoning about the correctness of optimizations, in particular those that take advantage of SIMD and GPGPU capabilities; a technique for high-coverage patch testing, and a technique for revealing regression bugs and behavioural divergences across versions.

Bio: Cristian Cadar is a Reader (Associate Professor) in the Department of Computing at Imperial College London, where he leads the Software Reliability Group. His research interests span the areas of software engineering, computer systems and security, with an emphasis on building practical techniques and tools for improving the reliability and security of software systems. He was elected as a Fellow of the British Computer Society in 2016, awarded the ACM Computer and Communications Security (CCS) Test of Time Award in 2016, the EuroSys Jochen Liedtke Young Researcher Award in 2015, an EPSRC Early-Career Fellowship in 2013, and artifact or paper awards at ICST 2016, ISSTA 2014, ESEC/FSE 2013 and OSDI 2008. Cristian received a PhD in Computer Science from Stanford University, and undergraduate and Master's degrees from the Massachusetts Institute of Technology.


Global Game Jam no Taguspark é um sucesso

1 Fevereiro 2017, 09:15 - Maria Lucilia Gonçalves Abreu

A edição 2017 da Global Game Jam (GGJ), que decorreu no último fim-de-semana em várias localizações no mundo inteiro, foi acolhida também no campus Taguspark, num evento que contou com organização do Laboratório de Jogos e o apoio da Miniclip e da Red Bull.

Durante três dias, foram 65 os participantes que se juntaram para desenvolver jogos subordinados ao tema “ondas”: ondas de luz, de som, de radiação ou mesmo na banheira foram algumas das propostas apresentadas pelos vários grupos.

“Ao mesmo tempo, e durante três dias, dezenas de milhares de pessoas vão estar a desenvolver jogos”, explicou o professor Carlos Martinho, no início da GGJ. “Uma das coisas que queremos fazer aqui é garantir que temos equipas multidisciplinares. Para desenvolver jogos, e bons jogos, é preciso trabalhar com pessoas de outras áreas”, disse ainda o docente, acrescentando que “não há nada que substitua o contacto e o trabalho com outras pessoas como acontece numa jam como esta”.

No final de três dias, foram 12 os jogos apresentados, e o sentimento geral era de “dever cumprido”. “Vocês deviam estar todos muito orgulhosos do que conseguiram fazer em 48 horas”, concluiu Carlos Martinho. “Agora imaginem o que podiam fazer com um bocadinho mais de tempo.”

O final de tarde foi reservado para a apresentação pública dos projetos desenvolvidos – por alunos do Técnico, mas também por alunos de outras escolas e até pessoal da indústria que aproveitou esta oportunidade para fazer coisas diferentes, como a equipa da Miniclip que desenvolveu o Bass Grinders. No final, a votação entre pares elegeu o jogo Don’t Stress como o melhor jogo criado no fim-de-semana no Taguspark, seguido por perto dos jogos Sound of Darkness e Rubber Ducky League.

Para quase todos os participantes, o melhor momento foi “aquele em que finalmente as coisas começaram a funcionar”. As duas noites mal dormidas, o trabalho e as frustrações que decorrem deste tipo de projetos valeram a pena, e espera-se uma participação ainda mais concorrida no próximo ano.

Entretanto, os projetos desenvolvidos na GGJ de todo o mundo podem ser encontrados aqui.


TM Forum Hachathon Action Week Lisbon Portugal

16 Janeiro 2017, 15:50 - Maria Lucilia Gonçalves Abreu



Novos cursos DFA do DEI na Técnico LGA - Leadership Graduate Academy

21 Dezembro 2016, 14:10 - Daniel Jorge Viegas Goncalves

Está no ar a nova plataforma “Técnico Leadership Graduate Academy”  (http://lga.rnl.tecnico.ulisboa.pt) a partir da qual o IST/ Departamento de Engenharia Informática  divulga a sua oferta de cursos de pós-graduação profissional avançados, com o indiscutível selo de qualidade Técnico.


No curto prazo teremos a 4ª edição do SISE, que se destina a produzir, em 6 meses intensivos,  profissionais capazes de trabalhar em Engenharia de Software e Engenharia dos Sistemas de Informação,  que é especialmente concebido para valorizar Mestres em Engenharia ou em qualquer área com forte base científica ou matemática! A próxima edição inicia-se em meados de fevereiro de 2017.

Apresentam-se ainda mais dois cursos: o POSI renovado: “Mastering Enterprise Engineering for Digital Transformation”, para quadros profissionais já com uns anos de experiencia profissional a iniciar-se em meados de abril e que dura um ano com aulas às sextas e sábados, e o novíssimo curso super-especializado sobre Cibersegurança, que decorre também durante 6 meses intensivos, a partir de setembro de 2017.

Cursos “marca” Técnico! Curso a sério, duros, que conferem  competências reais em grande falta no mercado profissional e asseguram a curto prazo carreiras desafiantes e bem remuneradas em Portugal e no estrangeiro.

O coordenador da Pós-Graduação Profissonal do DEI
José Tribolet, Prof. Catedrático


DELix - Lisbon Winter School on Data Science and Engineering, 16-18 February 2017

14 Dezembro 2016, 11:13 - Maria Lucilia Gonçalves Abreu

O IST assinou um protocolo de colaboração com a IDC envolvendo o “novo” POSI e outras iniciativas. O próximo encontro decorrerá em Lisboa  entre os dias 16 e 18 de fevereiro de 2017  e os interessados deverão efetuar a sua inscrição através deste link . Podem ainda consultar o programa aqui