جست‌وجوی استاد و پژوهشگر

• Structural Control
• Consensus Methods
• Resilient Systems
• +۴ مورد دیگر

Guilherme Henrique Caçador Ramos is an Assistant Professor at the Department of Computer Engineering, Instituto Superior Técnico, University of Lisbon, and affiliated with the Telecommunications Institute. His work spans structural control systems, resilient consensus methods, and ethical considerations in recommender and ranking systems. Structural control systems Resilient consensus algorithms Recommender systems fairness Ranking systems security Privacy in computational models His recent publications focus on robustness in networked systems, fairness in recommendation algorithms, and security against bribery in ranking systems. Research integrates mathematical frameworks with real-world applications in control theory and AI ethics. Scientific awards: None listed.

Carlos Augusto Santos Silvaمشاهده پروفایل

دانشیار

• Energy Systems Modeling
• Optimization using Meta-heuristics
• Energy Efficiency in Buildings
• +۳ مورد دیگر

Carlos Augusto Santos Silva is an Associate Professor at the Department of Mechanical Engineering , University of Lisbon , specializing in energy systems and optimization. He leads the Energy Laboratory (Room 1.58 - TagusPark), which focuses on experimental energy management in buildings and microgrid systems since 2012. Research Interests : Energy systems modeling, meta-heuristic optimization (genetic algorithms, ant colony optimization), energy efficiency in buildings, renewable energy integration, and smart grid technologies. His work spans urban metabolism platforms, climate resilience strategies, and cross-border energy trade frameworks. Publications Overview : His research emphasizes solar energy forecasting, wind power design in isolated systems, demand response strategies, and multi-criteria energy policy analysis. Key themes include machine learning applications for energy systems, district heating network modeling , and climate risk indicators for urban areas. Additional Contributions : Developed pedagogical materials for courses on Energy Systems Management and Sustainable Energy Systems at IST. Collaborated on national strategies like ELPRE (Long-term Building Renovation Strategy) and Offshore Energy Roadmap for Portugal. Coordinated GIS-based urban sustainability assessments and hybrid renewable energy systems for remote communities.

João Correia Lopesمشاهده پروفایل

استادیار

• e-Health
• e-Science
• IoT
• +۶ مورد دیگر

João Correia Lopes is an Assistant Professor at the University of Porto 's Department of Informatics Engineering , Faculty of Engineering. He also serves as a Senior Researcher at INESC TEC Technology and Science. Correia Lopes holds a PhD in Computing Science from Glasgow University (1997) and a Diploma in Electrical Engineering and Computers from the University of Porto (1984). Research Interests: e-Health, e-Science, IoT, Web and Mobile Applications Key Contributions: Development of data curation platforms (Dendro, UPBox), FAIR data implementations, and blockchain-based solutions for media licensing and journalism.

João Tomé Saraivaمشاهده پروفایل

استاد

• Power Systems
• Renewable Energy Integration
• Electricity Market Modeling
• +۳ مورد دیگر

João Tomé Saraiva is a Professor at the Faculty of Engineering (FEUP) , University of Porto, and Research Coordinator at INESC Porto since July 15, 1985. He holds a PhD and Agregado degrees in Electrical and Computer Engineering, with 50+ MSc and 10+ PhD students supervised. His career spans EU and national projects, and consultancy work with agencies like EDP Distribuição and REN. Education: MSc (1987), PhD (1993), Agregado (2002) in Electrical and Computer Engineering from FEUP Research Interests: Focus on power systems with renewable integration, electricity market modeling, transmission expansion planning, climate change impact, AI applications in energy forecasting, and regulatory frameworks for collective self-consumption Publications: 30+ international journal papers, 120+ conference papers, and 3 co-authored books Projects: Leadership in EU/national funded initiatives and consultancy contracts with Portuguese and international TSOs Contact: +351222094230 | joao.tome.saraiva@inesctec.pt His 2024 publications address energy allocation in collective self-consumption, NECP impacts on MIBEL, battery arbitrage economics, climate-resilient transmission planning, and AI-driven hydro forecasting. These works reflect his expertise in market regulations, grid modernization, and renewable integration.

José Carlos Rufino Amaroمشاهده پروفایل

استاد

• Parallel and Distributed Computing
• High Energy Physics
• Bioinformatics
• +۴ مورد دیگر

José Carlos Rufino Amaro is a Professor at the Technology and Management School (ESTiG) of the Polytechnic Institute of Bragança (IPB) , Portugal. He holds an MSc (1998) and PhD (2008) in Distributed Systems and Parallel/Distributed Systems, respectively, from the University of Minho . Current roles: Professor at ESTiG/IPB, head of ESTiG Laboratory of Advanced Computing (since 2004), and IPB scientific/cluster computing infrastructures (since 2010) Research Interests span Parallel/Distributed Computing , with applications in High Energy Physics , Bioinformatics , Wireless Networks , and Numerical Optimization . His work includes deploying one of Portugal’s first wireless community networks in the early 2000s and leading R&D projects in heterogeneous computing, system virtualization, and RNA classification via the Resonant Recognition Model. Article Trends reflect a focus on GPU acceleration , packet capturing platforms , RNA preprocessing techniques , and honeybee genomics . His collaborations extend to domains like meteorological data reconstruction and stochastic epidemic modeling . Labs and Leadership : He has managed the ESTiG Laboratory of Advanced Computing since 2004, the ESTiG IT Centre since 2009, and IPB’s scientific clusters since 2010. He also served multiple terms as head of the Informatics Engineering degree program (1997–2002, 2014–2019).

Nelson Rodriguesمشاهده پروفایل

پژوهشگر

• Intelligent Manufacturing
• Reconfigurable Manufacturing Control Systems
• Artificial Intelligence
• +۵ مورد دیگر

Nelson Rodrigues is a Researcher at the Polytechnic Institute of Bragança (IPB) and a Ph.D. candidate at the University of Porto, conducting research since 2010 with involvement in H2020 PERFoRM and GO0D MAN projects, as well as FP7 ARUM and GRACE initiatives. His academic credentials include: Master of Science in Information Systems, Polytechnic Institute of Bragança His research centers on Intelligent and Reconfigurable Manufacturing Control Systems, investigating Artificial Intelligence applications for self-adaptive manufacturing evolution. Additional expertise spans Industry 4.0, Cyber-physical systems, Multiagent systems, Simulation, and Advanced Data Analytics, with emphasis on enhancing manufacturing flexibility through cutting-edge computational methods. Recent publication analysis reveals a strategic pivot toward energy systems optimization, particularly virtual power plants, utilizing high-performance computing, quantum annealing, and evolutionary algorithms. Concurrent research explores intelligent transportation frameworks, assistive robotics, and manufacturing business analytics, demonstrating interdisciplinary technical agility. He maintains active affiliations with LIACC - Artificial Intelligence and Computer Science Laboratory and the IEEE Technical Committee on Industrial Agents, contributing to over 29 publications with an h-index of 11. Research funding derives from European Union projects including H2020 PERFoRM and GO0D MAN, and FP7 ARUM and GRACE, where he developed intelligent manufacturing control architectures and service reconfiguration systems. Within LIACC and IEEE collaborations, he advances industrial agent technologies for real-time manufacturing adaptation, focusing on dynamic reconfiguration and human-in-the-loop cyber-physical production systems.

José Proençaمشاهده پروفایل

مدرس

• Component-based systems
• Distributed systems
• Software engineering
• +۳ مورد دیگر

José Proença is a Lecturer and Integrated PhD Researcher at CISTER Research Centre, ISEP, Portugal. He is currently a postdoc focusing on formal models for component-based systems. Previously, he worked at HASLab (University of Minho) and Distrinet (KU Leuven), collaborating with researchers like Luís Barbosa, Danny Hughes, and Dave Clarke. His expertise includes coordination of distributed components (Reo language), software product line engineering, and embedded systems (LooCI middleware and VirtuosoNext RTOS). Education: 5-year degree in Mathematics and Computer Science from University of Minho, with an Erasmus exchange at Bristol University, UK. PhD in Computer Science from Leiden University (2011), conducted at CWI, Amsterdam, in the Foundations of Software Engineering group. Research interests span formal methods, distributed systems, embedded systems, and software engineering. He has contributed to projects like IBEX (quantitative cyber-physical programming) and MARS (toolset for real-time systems). His work emphasizes practical applications of formal models in real-time and safety-critical systems. Publications focus on coordination models, multiparty session types, and formal verification, with contributions to journals like Science of Computer Programming and conferences such as COORDINATION and FMAS. He actively collaborates on tools like CAOS (Scala framework) and ARx (reactive programming for connectors).

Eduardo Tovarمشاهده پروفایل

استاد

• Real-Time Systems
• Wireless Sensor Networks
• Cyber-Physical Systems
• +۲ مورد دیگر

Eduardo Tovar is a Professor at the Computer Engineering Department, School of Engineering (ISEP) of Polytechnic Institute of Porto. He serves as Director of the CISTER Research Center, focusing on real-time and embedded computing systems. With a PhD in Electrical and Computer Engineering from University of Porto (1999), he has authored over 200 publications in real-time systems, wireless sensor networks, and cyber-physical systems. His research interests span: Real-time distributed systems and multiprocessor architectures Industrial communication protocols and wireless sensor networks Cyber-physical system security and vehicular networks Recent publications show strong focus on intelligent transportation systems, including energy-efficient intersection management, adaptive vehicle security using deep learning, and UAV surveillance systems. He has chaired major conferences including IEEE RTAS, ECRTS, and CPSWeek. As Vice-chair of ACM SIGBED and member of IEEE TC-RTS Executive Committee, he contributes to embedded systems research communities. Currently leads a collaborative lab on Cyber-Physical and Cyber-Security Systems.

Enrico Biniمشاهده پروفایل

دانشیار

• Real-Time Systems
• Embedded Systems
• Control Theory
• +۳ مورد دیگر

Enrico Bini is an Associate Professor at the Department of Computer Science, Università degli Studi di Torino, Italy. His research focuses on real-time systems, control theory, and embedded systems. He has contributed extensively to scheduling algorithms, resource management, and system optimization in both academic and practical contexts. His work spans topics such as feedback-based resource allocation, multiprocessor scheduling, and the design of predictable interconnected systems. Recent publications emphasize real-time control systems, low-latency task scheduling, and efficient resource utilization in heterogeneous environments. Bini’s articles highlight advancements in optimizing task execution times, minimizing jitter, and achieving fairness in multi-core systems. His research also includes contributions to Linux kernel modules for temporal verification and novel approaches to handling communication delays in networked control systems. No scientific awards or grants are explicitly mentioned in the provided materials. His advising record is currently empty. He is affiliated with the University of Turin and collaborates with institutions in formal methods and embedded systems research.

• Complex Networks
• Collective Behavior
• Artificial Intelligence
• +۳ مورد دیگر

Manuel Pita is an Assistant Professor in Artificial Intelligence, Data Science, and Complex Systems at CICANT , Universidade Lusófona, Portugal, and an Associate Researcher in the Complex Systems group at ISTAR, ISCTE-IUL, Portugal. His research focuses on the interplay between individual and collective behaviors in complex networks, aiming to understand how these dynamics shape each other. Education: PhD in Artificial Intelligence and Cognitive Science (2007) from the University of Edinburgh, UK. Postdoctoral Training: Indiana University (Prof. Luís Rocha) and Portland State University (Prof. Melanie Mitchell). His work spans theoretical studies of complex systems and practical applications in ambient intelligence/IoT for human well-being. He leads a project analyzing driver factors of collective states in online social conversations among Portuguese secondary school students, with applications in ethical educational interventions to combat hate speech, polarization, and fake news. Publication Trends emphasize computational modeling of complex networks, multi-agent systems, and interdisciplinary applications in education, biology, and artistic performance. Key areas include critical dynamics, social network analysis, IoT, and intelligent tutoring systems. Labs & Collaborations: Works with the Complex Systems group at ISTAR and CICANT, integrating computational theory with real-world challenges in public health, education, and cultural technology.

• Concurrent Systems
• Formal Methods
• Modal Logic
• +۴ مورد دیگر

Carlos Olarte is an Associate Professor at the LIPN (Laboratoire d'Informatique de Paris Nord) within the Institut Galilée at Université Sorbonne Paris Nord . His research focuses on concurrent systems , formal methods , and rewriting logic , with affiliations to the AVISPA research group . He has contributed to tools like PTA2Maude , PITPN2Maude , and SiLVer , addressing formal verification and logic-based systems. He holds grants including NATO Science for Peace (SymSafe, 2023) and CNPq projects (LOGOCOSMICS, 2019–2022). His work spans theoretical computer science, with recent publications in Tableaux , JLAMP , and Coordination . He actively participates in academic service, including PC chair roles for PPDP 2025 and local organization of Petri Nets 2025 . His research tools emphasize formal analysis of real-time systems, modal logics, and strategic reasoning. He has developed frameworks for linear logic theorem proving and declarative system specification.

• Artificial Intelligence
• Machine Learning
• Computer Vision
• +۷ مورد دیگر

Joao Pedro Leal Abalada de Matos Carvalho is a researcher at Lusofona University 's School of Communication, Architecture, Arts and Technologies , focusing on Artificial Intelligence, Machine Learning, and Unmanned Aerial Vehicle systems. He contributes to projects like ANTIDOTE (AI Attack & Defense) and REMARKABLE (Rural Environmental Monitoring). Active in AI-driven environmental monitoring and cyber-physical systems Collaborates with Horizon Europe and Marie Skłodowska-Curie Actions Key research areas: Deep Learning, Federated Learning, High-Energy Physics His work involves LoRaWAN engineering , satellite data processing , and hydroelectric forecasting models , with 55 scientific publications and 382 h-index citations. Current collaborations span Europe and Brazil , with active projects in smart healthcare , AI literacy , and radiation-hardened electronics for CERN experiments.

• Integer Programming
• Operations Research
• Cutting and Packing
• +۵ مورد دیگر

José Manuel Vasconcelos Valério Carvalho is a Full Professor at the School of Engineering, University of Minho, and Senior Researcher at Algoritmi Research Center's SEOR R&D Group. His academic career spans decades with significant contributions to combinatorial optimization and operations research. His educational background includes: PhD in Production Engineering (Operational Research major) from University of Minho MSc in Industrial Engineering and Operations Research from Virginia Polytechnic Institute (Fulbright scholar) Research focuses on large-scale integer programming applications in cutting/packing, network design, and operations planning. He develops exact and heuristic algorithms for complex optimization problems, frequently integrating domains like bin packing with vehicle routing using arc-flow formulations and column generation. Recent publications (2016-2025) reveal strong trends toward integrated logistics solutions, emphasizing temporal aspects, multi-trip scenarios, and combined routing/packing challenges. His methodologies consistently yield robust formulations for real-world supply chain applications. He has supervised 7 postdoctoral and 12 PhD students, many achieving award-winning work. Research leadership includes coordination of FCT-funded national projects and European project workpackages. As core member of Algoritmi's SEOR Group and former coordinator of the SEOOR Research Line (consistently rated 'Excellent' by international panels), he contributes to Portugal's leading operations research team.