INESC Porto (Instituto de Engenharia de Sistemas e Computadores do Porto) is a private non-profit association recognised as Public Interest Institution, appointed as Associate Laboratory (LA) by the Ministry of Science, Technology and Higher Education (MCTES).
Established in December 1998, INESC Porto’s associates include INESC, the University of Porto and the Faculties of Engineering, Science and the Polytechnic Institute of Porto.
INESC Porto LA includes four autonomous units: LIAAD – Laboratory of Artificial Intelligence and Decision Support, CRACS – Center for Research in Advanced Computing Systems, UGEI – Management and Industrial Engineering Unit and CISTER – Research Centre in Real-Time Computing Systems. The LA also includes a Privileged Partner from the University of Minho: HASLab – High-Assurance Software Laboratory.
- To undertake R&D activities in specific areas, generating internationally competitive science and technology.
- To act as an effective interface between the university and companies, public institutions and services, through contract research, technology transfer, specialised consulting services and advanced training.
- To actively contribute to the development of the Portuguese science and higher education system and promote its continuous adaptation to societal needs.
INESC Porto invests in Scientific Research and Technological Development, as well as in Advanced Training and Consulting, Technology Transfer and Launching of New Technology-based Companies.
INESC Porto currently employs more than 500 collaborators, including Researchers from Higher Education Institutions, Staff Researchers, Technical and Administrative Support Staff, Grant Holders and Trainees. It is important to highlight the number of researchers holding a PhD, which is now approaching 200. Moreover, it is important to stress that INESC Porto is also appealing to foreign students: 40% of our PhD students are foreigners.
Areas of Activity
INESC Porto is organised in seven strategic areas of activity:
• Telecommunications and Multimedia
The Telecommunications and Multimedia Unit plays an active role in key areas in the context of modern networks and communication services, especially in network architectures, telecommunication services, signal and image processing, microelectronics, digital TV and multimedia.
• Power Systems
The Power Systems Unit develops activities in different areas, such as regulation and electricity markets, integration of dispersed generation, technical and economic management of distribution systems, use of information technologies in regional power planning or uncertainty and risk treatment.
• Manufacturing Systems Engineering
The Manufacturing Systems Engineering Unit develops innovative solutions based on information, communication and electronics for small and medium enterprises. This Unit is composed of about 50 researchers (18 PhD) and explore activity areas related with Advanced Operations Management and Enterprise Information Systems, applied to industrial companies and enterprise cooperation networks. The main areas are: Enterprise Cooperation Networks; Intelligent Logistic Systems; Operations Management; Advanced Planning Systems; Cutting and packing; Manufacturing Execution Systems; Interoperability at all levels of the company.
• Robotics and Intelligent Systems
The Group of Robotics and Intelligent Systems offers advanced solutions based on mobile and autonomous robotics and promotes the integration of advanced sensing solutions in the area of manufacturing technologies.
• Information and Computer Graphic Systems
The Information and Computer Graphic Systems Unit focuses its activity on large information systems applied to local authorities, industry, trade, health, telecommunications, as well as central and local administrations.
• Optoelectronics and Electronic Systems
The Optoelectronics and Electronic Systems Unit works in the areas of optical sources, optical communications, optical fibre sensors and microfabrication, investing in the design and development of electronic systems.
• Innovation and Technology Transfer
The Innovation and Technology Transfer Unit supports the other R&D Units at INESC Porto in the components of technology transfer and business incubation through the creation, development and dissemination of knowledge valorisation practices.
INESC Porto LA includes four autonomous units and a privileged partner from the University of Minho (HASLab).
Laboratory of Artificial Intelligence and Decision Support (LIAAD)
LIAAD focuses its activity on decision support systems, with particular emphasis on data mining techniques, forecasting, adaptive modelling and optimization, with potential applications in the areas of marketing, finance, process scheduling, health, text information retrieval, and others.
Center for Research in Advanced Computing Systems (CRACS)
CRACS develops projects in the areas of programming languages, parallel and distributed computing, data mining, intelligent systems and software architectures, with particular emphasis on concrete problem solving in multidisciplinary collaboration areas, such as Biology, Medicine and Chemistry.
Industrial Management and Engineering Unit (UGEI)
UGEI works in the frontier between Engineering, Management and Social Sciences. Following a problem-driven research strategy, it promotes knowledge valorisation through a closer contact with the companies.
Research Centre in Real-Time Computing Systems (CISTER)
CISTER focuses its activity in the areas of real-time communication networks and protocols; wireless sensor networks; real-time operating systems and programming paradigms; distributed and embedded real-time computer systems; cooperative computing and applications QoS-aware (Quality of Service); programming and planning analysis (including multiprocessor systems); and cyber-physical systems.
High-Assurance Software Laboratory (HASLab)
HASLab aims to produce reliable software systems in contexts where the careful consideration of characteristics such as correctness, responsiveness, robustness and security is compulsory, since they are typically subject to certification. The laboratory develops integrated research along three lines and approaches problems by taking advantage of the synergy between them: formal methods for software development, dependable distributed systems and information security.