INESC TEC
INESC TEC
INESC TEC
Search results for:
Filter your results

0 Search results

T4CDTKC

INESC TEC

About Project

This project aims to outline an innovative training program oriented to the development of skills around the themes inherent to the i4.0 industry. Within this scope, the structure of the programme is defined, the production of the thematic contents to be explored based on the pedagogical methodology adopted. A teaching-learning methodology centred on an online platform is explored, having as central element a collection of videos complemented by a set of 'handouts' that organise the set of key messages and 'take-ways' associated to each module.
Acronym

T4CDTKC

Responsible

Américo Lopes de Azevedo

Status

Closed

Start

January 1, 2019

End

January 19, 2021

Effective End

January 19, 2021

Global Budget

--

Financing

--

Members

Team Leaders
Américo Lopes de Azevedo

Américo Azevedo - [PhD], he is head of CESE Centre for Enterprise Systems Engineering and Cientific Director of FABTEC Laboratory of Processes and Technologies for Production Advanced Systems

He is an Associate Professor with Aggregation in the Department of Industrial Engineering and Management at Faculty of Engineering of University of Porto (FEUP). He has gained large experience in the academic, industrial and consultancy environments.

He teaches in the academic programmes of FEUP and PBS (Porto Business School) and in specific programmes such as EDAM (Engineering Design and Advanced Manufacturing) of the MIT-Portugal Program.

His research and teaching focuses on operations management, business processes management and enterprise collaborative networks. He has been active in supervising PhD and M.Sc research thesis on this research areas.

He has been author of many articles in international journals and technical publications and also active in preparing and participating in R&D projects involving industrial companies. He has been reviewer and evaluator of several international R&D Industrial projects and member of several scientific programmes committees.

Responsible for leading more than 45 company based national and international R&D and consulting projects in the domain of enterprise networks and industrial and operations management. He has been responsible in several consulting assignments with industrial companies, with special emphasis in operations and industrial management as well as in designing and developing new facilities, process optimization and development and implementation of decision support and planning tools for order management. Experience in several sectors/industries: machinery, semiconductors, ceramics, furniture, packaging, shoes and cork processing.

Pedro Sanches Amorim

Master of Science and Doctor of Philosophy in Industrial Engineering and Management by FEUP.


Head of the Research Center for Industrial Engineering and Management from INESC TEC Laboratório Associado.

Assistant Professor at the Department of Industrial Engineering and Management at FEUP.


Co Founder of LTPlabs - consultancy company that applies advanced analytical methods to help make better complex decisions.


Specialist in supply chain planning with an emphasis on food products. He was Supply Chain Analyst at Total Raffinage Marketing (França). Researcher/Consultant in several projects related to Operations Management and supported by different types of entities.


Author of several publications in international journals in the field of Operations Research (for example, International Journal of Production Economics, Industrial Engineering and Chemistry Research, Computers and Chemical Engineering, Interfaces) - Google citation profile.

 

Ricardo Jorge Gomes Lopes da Rocha

I'm an Associate Professor at the Department of Computer Science, Faculty of Sciences, University of Porto and a researcher at the CRACS & INESC TEC research unit.

I received my PhD degree in Computer Science from the University of Porto in 2001 and my main research topics are the Design and Implementation of Logic Programming Systems, Tabling in Logic Programming and Parallel and Distributed Computing. Another areas of interest include Lock-Free Data Structures, Inductive Logic Programming, Probabilistic Logic Programming and Deductive Databases. I'm also one of the main developers of the Yap Prolog system with particular focus on the execution models that support tabling and parallel evaluation.

I've published more than 100 refereed papers in international journals and conferences, served more than 50 events as PC chair or PC member, served the ALP Board as executive committee member and the ALP Newsletter as area co-editor for the Implementations and Systems track, served the INForum Board as president, supervised several PhD/MSc students and had leading role in two national projects. Currently, I'm the coordinator of the CRACS center at INESC TEC.

António Paulo Gomes Mendes Moreira

António Paulo Gomes Mendes Moreira has a degree in Electrical and Computer Engineering - FEUP (1986), Electronic Instrumentation option, a Master's degree in Electrotechnical and Computer Engineering - Systems Specialisation at FEUP (1991), a PhD in Electrical and Computer Engineering (1998) and an Aggregation - FEUP (2017). He is currently a Full Professor in the Department of Electrical and Computer Engineering at the Faculty of Engineering of the University of Porto. He is also a Researcher and Coordinator of CRIIS - Centre for Industrial Robotics and Intelligent Systems and Head of the iiLab – Industry and Innovation Laboratory at INESC TEC. He carries out research essentially in Robotics, Automation and Control, with an emphasis on its application in industrial projects and technology transfer. He has participated or is still participating in 25 scientific projects, being the coordinator or researcher responsible for 7 of them. The work carried out on these projects has generated 40 projects with companies or development and technology transfer contracts, and he is the lead researcher on 18 of these projects. He also participated in the development of 18 prototypes and 2 patents, of which he is co-owner. He has contributed to the creation of two spin-off companies. More details at: https://www.cienciavitae.pt/portal/EB15-85A7-4A0D

Manuel Alcino Pereira da Cunha

Alcino Cunha is Associate Professor at the Department of Informatics of University of Minho and a member (and currently co-coordinator) of the High-Assurance Software Laboratory, a research center of the INESC TEC associate laboratory. His research focuses on making formal software design more accessible for all software engineers, and he was one of the main developers of the new version 6 of the Alloy lightweight formal method, that added support for behavioral specifications and temporal logic. He is also interested in the topic of robotic software quality, namely developing formal analysis tools for software developed with the popular ROS framework. He published over 70 papers, including several papers in relevant software engineering and robotic venues, such as TSE, FSE, ASE, IROS, or FM.

Alípio Mário Guedes Jorge

I am an associate professor at the Department of Computer Science of the Faculty of Science of the University of Porto and the coordinator of LIAAD , the Artificial Intelligence and Decision Support Lab of UP. LIAAD is a unit of INESC TEC (Laboratório Associado) since 2007. I am a PhD in Computer Science by U. Porto, MSc. on Foundations of Advanced Information Technology by the Imperial Collegeand BSc. in Applied Maths and Computer Science, currently Computer Science (U. Porto). My research interests are Data Mining and Machine Learning, in particular association rules, web and text intelligence and data mining for decision support. My past research also includes Inductive Logic Programming and Collaborative Data Mining. I lecture courses related to programming, information processing, data mining, and other areas of computing. While at the Faculty of Economics, where I stayed from 1996 to 2009, I launched, with other colleagues, the MSc. on Data Analysis and Decisison Support Systems, which I coordinated from 2000 to April 2008. I lead research projects on data mining and web intelligence. I was the director of the Masters in Computer Science at DCC-FCUP from June 2010 to August 2013. I co-chaired international conferences (ECML/PKD 2015, Discovery Science 2009, ECML/PKDD 05 and EPIA 01), workshops and seminars in data mining and artificial intelligence. I was Vice-President of APPIA the Portuguese Association for Artificial Intelligence.

António Fernando Vasconcelos Cunha Castro Coelho

António Coelho is a senior researcher at INESC TEC and coordinates the Computer Graphics and Virtual environments area of the HUMANISE.

He is actively involved in several research projects (from H2020 European projects to I&DT projects with the industry) and PhD supervisions, focused in the areas of Computer Graphics (Virtual Reality and Procedural Modeling), Serious Games (Procedural Content Generation, Mobile Gaming and Games-based Learning) and Geospatial Systems (Location-based Systems and Spatial Databases). 

He is also Associate Professor with Habilitation at the Department of Informatics Engineering of the Faculty of Engineering of the University of Porto where he teaches in the areas of Computer Graphics, Programming and Digital Games. He is the director of the Doctoral Program in Digital Media at the University of Porto and academic leader of the European University Alliance for Global Health (EUGLOH).

Associated Centres

Advanced Computing Systems

The Centre for Advanced Computing Systems (CRACS) strives for scientific excellence in the areas of programming languages, parallel and distributed computing, information mining, security and privacy, focusing on developing scalable software systems for multidisciplinary applications in Engineering, Life Sciences, Social Networks, the Internet of Things, and more. We explore deep theoretical and practical knowledge related to the design and development of programming languages and middleware for advanced computing systems - including parallel, distributed, high-performance, cloud, wireless, and IoT systems -, while mastering the concepts and methodologies that underpin trust, privacy, and security in computing systems. Our research environment brings together talented junior and senior researchers, most of whom are university lecturers. Together, they form the critical mass and scientific expertise required to fulfil our mission.

Advanced Computing Systems

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.

High-Assurance Software