Kotlin Lisboa - Meetup #7

Olá Kotliners, é bom estar de volta !!

O próximo meetup (#7) será a: 2022/04/19 - 3ª feira e o anfitrião é a Springer Nature.
O evento contará com as apresentações do Prof. João Seco - NOVA School of Science and Technology e Sofia Fernandes e Pedro Vilas-Boas da Springer Nature.

🔴 Kotlin as a teaching tool for trustworthy full-stack software construction.
🗣Orador: Prof. João Costa Seco, FCT
João Costa Seco graduated in 1993, got a Masters in 1997 and got his PhD from NOVA in 2006. He is a researcher at the Software Systems group of NOVA LINCS and an assistant professor at NOVA SST. His research, teaching, and knowledge transfer activities are all centred on the use of language-based approaches and programming models to better enable software development processes, advance the state-of-the-art, and improve software engineering practices. He teaches courses like Programming Languages, Compiler Construction, Software Construction and Verification, and Design and Implementation of Internet Applications. He actively participates in collaborative research initiatives with companies. Examples are a Carnegie Mellon Portugal research project with OutSystems and INESC-Id on Automated Programming, and the VORTEX CoLAB with Altran on cyber-physical systems and cyber security.
Software architects are disciplined professionals that master a myriad of technologies, methods, conventions and good practices. That is usually the result of transforming basic and fragmented learning experiences into a sound and integrated body of knowledge, combined with critical thinking and problem-solving skills. In this talk, I will present the results of the pedagogical experience of teaching an elective course on the design and implementation of Internet applications, which includes a hands-on and full-stack approach to software development. Learning outcomes for these advanced students includes decision-making capabilities about architectural patterns, programming languages, and validation and verification methods to deal with heterogeneous large-scale environments.
This course relates high-level concepts and recent research results with the usage of mainstream software development frameworks, with a special focus on certifying the correctness of code by systematic and methodological steps. Topics in the syllabus include data-centric and user-centric development, software architectures, software specification languages, design patterns, software testing, security specification, and performance pitfalls. I will present the key technologies, which include Kotlin, that correctly instantiate a safe and productive pipeline.

🔴 “Our experience with Kotlin at SN”
🗣Oradores:
Sofia Fernandes, Software developer, Authors team
Pedro Vilas-Boas, Software developer, Payments team

Anfitrião:
Springer Nature advances discovery by publishing robust and insightful research, supporting the development of new areas of knowledge and making ideas and information accessible around the world. We provide the best possible service to the whole research community.

Localização:
SPACES Lisboa
Praça Marquês de Pombal 14, 1250-162 Lisboa