CommTech Talks
AdaPilot-EDU - Ada & SPARK
Education and Research Ecosystem for Robotic and Drone Applications
Jarno Puff
LikeAbird
DEIB - Sala Conferenze
May 23rd, 2016
5.00 pm
Education and Research Ecosystem for Robotic and Drone Applications
Jarno Puff
LikeAbird
DEIB - Sala Conferenze
May 23rd, 2016
5.00 pm
Abstract
On May 23rd, 2016 at 5.00 pm, CommTech Talks will take place at DEIB Conference Room.
AdaPilot-EDU is primarily intended for the educational and research community, and will be supported on the forum by experts from academia and industry who believe that using Ada and SPARK in education and research is fundamental to forming the software engineers of tomorrow. Ada and SPARK embody the best contemporary ideas in software technology, and students exposed to these languages at an early stage of their career become more skilled and principled programmers. AdaPilot-EDU will focus on the technical advantages of these programming languages, the tools and support available for academics, as well provide an insight into their academic and industrial use through the AdaRacer Flight Control System project.Why Ada? Ada is a state-of-the-art programming language usable for all types of applications. Its approach of detecting errors as soon as possible makes it especially suitable for robotic applications, where safety, security, and reliability are critical. SPARK is a formally-defined programming language based on Ada, intended to be secure and to support the development of high-integrity software.
Registration:
http://tinyurl.com/commtechpolimi
CommTech Talks @ POLIMI are a series of seminars and panels organized weekly by the study program in Telecommunications Engineering and the master of science track in Internet Engineering of Politecnico di Milano for stimulating the networking between students and people from industry and research.
AdaPilot-EDU is primarily intended for the educational and research community, and will be supported on the forum by experts from academia and industry who believe that using Ada and SPARK in education and research is fundamental to forming the software engineers of tomorrow. Ada and SPARK embody the best contemporary ideas in software technology, and students exposed to these languages at an early stage of their career become more skilled and principled programmers. AdaPilot-EDU will focus on the technical advantages of these programming languages, the tools and support available for academics, as well provide an insight into their academic and industrial use through the AdaRacer Flight Control System project.Why Ada? Ada is a state-of-the-art programming language usable for all types of applications. Its approach of detecting errors as soon as possible makes it especially suitable for robotic applications, where safety, security, and reliability are critical. SPARK is a formally-defined programming language based on Ada, intended to be secure and to support the development of high-integrity software.
Registration:
http://tinyurl.com/commtechpolimi
CommTech Talks @ POLIMI are a series of seminars and panels organized weekly by the study program in Telecommunications Engineering and the master of science track in Internet Engineering of Politecnico di Milano for stimulating the networking between students and people from industry and research.
