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

• Youth and Journalism
• Audience Studies
• Critical Literacies
• +۳ مورد دیگر

Maria José Lisboa Brites de Azeredo is an Associate Professor with Habilitation at Lusófona University, Portugal. She serves as Vice-President of the Centre for Research in Applied Communication, Culture and New Technologies (CICANT) and coordinates the Media Literacy and Civic Cultures Lab (MeLCi Lab). She holds leadership roles in the Portuguese Association for Communication (SOPCOM) and the European Communication Research and Education Association (ECREA). Her academic career spans over two decades, including roles at institutions like Universidade Lusófona do Porto and Universidade Nova de Lisboa. Her education includes a PhD and Habilitation in Communication Sciences from Universidade Nova de Lisboa. She has completed specialized courses in digital education, intercultural dialogue, and pedagogical training from institutions like the University of Edinburgh and the Knight Center for Journalism in the Americas. Brites’ research focuses on youth journalism, audience studies, digital citizenship, and participatory methodologies. She has led projects such as the YouNDigital study (PTDC/COM-OUT/0243/2021) and the SMaRT-EU initiative. Her work has been recognized with awards including the Research Prize (2017, 2020, 2023) and the Gold Medal of Academic Value (2019). She coordinates the Master's Degree in Media and Information Literacy and Digital Citizenship at Lusófona University and has trained educators through initiatives like the Media in Action (MIA) project. Her publications span peer-reviewed journals, edited books, and conference proceedings addressing media literacy, generational media practices, and civic engagement.

• Crowdsourcing
• Human-Computer Interaction
• Digital Health
• +۷ مورد دیگر

Simo Hosio is an Academy Research Fellow (2022-2027) and Professor of Computer Science and Engineering at University of Oulu's Center for Ubiquitous Computing, where he leads the Crowd Computing Research Group. He also maintains a visiting position at University of Tokyo, Japan. Having graduated as the first Finnish scholar under Microsoft Research Cambridge's Ph.D. scholarship program, he has published over 150 peer-reviewed scientific articles spanning two decades of research. Hosio's research spans three primary domains: crowdsourcing methodologies, human-computer interaction, and digital health applications. His work pioneers novel approaches to online labor markets, investigates the suitability of crowdsourcing for diverse applications, and explores HCI aspects of digital health solutions for chronic conditions. His research group, founded in 2020, has secured nearly two million USD in funding, demonstrating significant research impact and recognition. Analysis of Hosio's recent publications reveals a strong trend toward interdisciplinary research at the intersection of crowdsourcing, healthcare technology, and emerging AI systems. His work increasingly focuses on practical applications of crowd computing in health contexts, with growing attention to mental health, women's health, and workplace well-being solutions. The integration of AI and machine learning techniques with traditional HCI approaches represents another significant trajectory in his recent scholarship. Distinguished Paper Award (2024) Best Paper Honourable Mention Award (2022) PMCJ Best Research Paper (awarded in 2024) Best Paper Award (2022) Best Full Paper Award (2015) Honorable Mention Award (2014) Best Paper Presentation award (2010) As an educator, Hosio has taught Human-Computer Interaction (2019-2025) to over 260 students in 2024, Social Computing (2018-2021) to approximately 60 students annually, and Applied Computing (2015-2018) to around 50 students each year. His research group's nearly two million USD in secured funding demonstrates significant grant acquisition success, supporting innovative work at the intersection of crowd computing, health technology, and human-centered AI systems. The Crowd Computing Research Group, founded by Hosio in 2020, represents a significant research infrastructure focused on advancing methodologies for crowd-powered systems. The group's work spans from fundamental research on crowd labor markets to applied projects in healthcare, workplace well-being, and social computing, demonstrating a strong commitment to both theoretical advancement and practical impact.

• Compilers
• Automatic Software Verification
• Compiler Optimization
• +۷ مورد دیگر

Nuno Pereira Lopes is an Associate Professor at Instituto Superior Técnico , part of Universidade de Lisboa , and a researcher at INESC-ID . He also serves as an advisor at FuriosaAI , focusing on tensor contraction processors for AI workloads. Research Interests : Compilers, formal verification of LLVM optimizations, machine learning frameworks, undefined behavior exploitation, probabilistic model checking, blockchain security, and many-core code generation. Teaching : Compilers and Computer/Informatics Engineering projects. Funding : Supported by Google, Matter Labs, NLnet, Oracle, PRACE, RNCA, and Woven by Toyota. Recent Publications focus on LLVM backend validation , PyTorch pipeline parallelism , C++ dynamic cast optimization , undefined behavior in C/C++ , and AI tensor processors . His work bridges compiler design, formal methods, and AI hardware. Academic Service includes representing Portugal in ISO/IEC JTC 1/SC 22 (C++), organizing FLoC'26 , and serving on program committees for PLDI, EuroLLVM, and CGO.

Pedro M. B. Silva Girãoمشاهده پروفایل

استاد

• Instrumentation
• Transducers
• Wireless Sensor Networks
• +۶ مورد دیگر

Pedro M. B. Silva Girão is a Full Professor in the Department of Electrical Engineering at Instituto Superior Técnico (IST), University of Lisbon (UL), and a Senior Researcher at Instituto de Telecomunicações where he heads the Instrumentation and Measurements Group and coordinates the Basic Sciences and Enabling Technologies area. His dual institutional roles position him at the forefront of academic research and technological innovation in Portugal. His research program focuses on instrumentation, transducers, and measurement techniques with specialized applications in biomedical and environmental domains. Key interests include wireless sensor networks for health monitoring, metrology standards, and digital data processing methodologies. This work bridges engineering principles with real-world healthcare and ecological challenges, emphasizing practical implementations in diagnostic systems and environmental sensing. Analysis of his 2019-2024 publications reveals a strong thematic trajectory in IoT-enabled healthcare solutions and precision environmental monitoring. Recurring motifs include gait rehabilitation through mixed reality systems, advanced dosimetry for liver cancer radioembolization, microvascular reactivity assessment, and water quality sensor networks. His output demonstrates consistent interdisciplinary collaboration between engineering, medical, and environmental science communities. Dr. Girão's scientific recognition includes: IEEE Senior Member status IEEE IMS Distinguished Lecturer appointment Honorary Chairmanship of IMEKO TC19—Environmental Measurements As leader of the Instrumentation and Measurements Group at Instituto de Telecomunicações, he directs a multidisciplinary team developing next-generation measurement systems. Current initiatives integrate microwave Doppler radar, wearable biopotential sensors, and wireless networks for unobtrusive health monitoring and environmental assessment, with active partnerships across medical institutions and ecological agencies.

• Agent-Based Modeling
• Social Simulation
• Computational Ethics
• +۱۰ مورد دیگر

Nuno David is an Associate Professor at ISCTE - Instituto Universitário de Lisboa, affiliated with the Department of Information Science and Technology within the School of Technologies and Architecture. He is also an Integrated Researcher at DINÂMIA'CET-Iscte, focusing on socioeconomic change and territory. He serves as the Data Protection Officer at Iscte and chairs the Ethics Committee of the School of Technologies and Architecture, while also being a member of the university-wide Ethics Council. PhD in Computing, Faculty of Sciences, University of Lisbon (2005) Master's degree in Agent-Based Social Simulation, University of Lisbon Undergraduate degree in Electrical Engineering – Computer Science, University of Coimbra His research spans agent-based modeling , social simulation , computational ethics , privacy , and the philosophy of computer science , with a focus on the epistemology of computational social science. He investigates how computational methods influence social science theories and methodologies. His recent publications highlight a consistent focus on ethical dimensions of simulation, disaster response modeling (e.g., tsunami evacuation), and digital governance. Articles frequently appear in high-impact journals such as Journal of Artificial Societies and Social Simulation , AI & Society , and Geosciences , reflecting interdisciplinary engagement across computer science, social sciences, and ethics. Member, Ethics Committee, ISCTE (2020–2026) Data Protection Officer, ISCTE (since 2018) Coordinator, multiple ethics and cybersecurity courses in Master’s and Bachelor’s programs Nuno David leads and participates in significant research initiatives, including the Research Data Management Center for SSH (RDMC-SSH) and the Re.Data network , both focused on research data infrastructure. He is also involved in the EU-funded ManagiDiTH master’s program, aimed at digital transformation in healthcare. His work integrates academic research with practical policy and institutional governance, particularly in data protection and research ethics. He has contributed to multiple projects on e-government in developing contexts, especially in Mozambique, and has developed tools for analyzing academic collaboration networks. His teaching includes courses on simulation, programming, and professional ethics in computing.

• Verification of Secure Systems
• Software Security
• Web Security
• +۵ مورد دیگر

Pedro Adão is an Assistant Professor at the Department of Computer Science and Engineering (DEI) of the Instituto Superior Técnico (IST) , University of Lisbon . He is affiliated with the SQIG - Security and Quantum Information Group at the Institute of Telecommunications , formerly part of CLC - Logic and Computation Centre . His work bridges formal methods and computational cryptography , focusing on security protocols , software security , and quantum information security . PhD in Mathematics (2006, IST) with thesis "Formal Methods for the Analysis of Security Protocols" Graduated in Applied Mathematics and Computation (2002, IST) with thesis "Electronic Money" His research interests include verification of secure systems, composition of secure systems, mathematical foundations of cryptography, and physical/day-life security. His publications span topics like firewall configuration tools , smart contract verification , quantitative protocol analysis , and computationally sound symbolic cryptography . He has collaborated with institutions such as the University of Pennsylvania, Microsoft Research Cambridge, and INRIA-Microsoft Research Paris. Key teaching contributions include courses in Introduction to Algorithms and Data Structures , Computational Models in Security , and Software Security . He is a member of the SQIG research group and has organized the SQIG Information Security Seminar . Past teaching roles include lecturing at the Catholic University of Portugal and the Air Force Academy.

• Compilers
• Program Verification
• Formal Methods
• +۶ مورد دیگر

Nuno P. Lopes is an Associate Professor at Instituto Superior Técnico (University of Lisbon) and affiliated with INESC-ID . His research focuses on compiler optimization, program verification, formal methods, and hardware-software co-design for AI workloads. He advises students at both PhD and MSc levels in areas such as compilers, machine learning frameworks, and blockchain security. Education: PhD in Computer Science from Instituto Superior Técnico (2014), Master's from the same institution, and Bachelor's in Computer Science. Research Interests: Compilers, static analysis, LLVM optimization validation, undefined behavior exploitation, tensor contraction processors, and secure smart contract verification. He leads projects like Alive2 for LLVM optimization validation and Torchy , a tracing JIT compiler for PyTorch. Awards: Distinguished Paper at PLDI 2015, Best Paper at SPIN 2013. His student Juneyoung Lee won the EuroLLVM'19 SRC award and best PhD thesis in Seoul National University's Engineering College. Grants: Supported by Google, Matter Labs, Oracle, PRACE, and Woven by Toyota. His lab focuses on sustainable AI computing and compiler-driven optimizations. Current Projects: Alive2, TCP (Tensor Contraction Processor), and FuriosaAI collaborations. Advises students on topics like blockchain mining efficiency, Rust-C++ translation, and secure smart contract execution.

David R. Matosمشاهده پروفایل

استادیار

• Distributed Systems
• Cybersecurity
• Cloud Computing
• +۲ مورد دیگر

David R. Matos is an Assistant Professor at the College of Engineering, University of Lisbon, and a researcher at the Distributed, Parallel and Secure Systems Group (DPSS) of INESC-ID. He is also a member of the BIG ERA Chair Team. His primary research interests include distributed systems, cybersecurity, and cloud computing, with a specific focus on intrusion recovery mechanisms for cloud environments and microservice architectures. Education: BSc in Informatics Engineering, University of Lisbon MSc in Informatics Engineering, University of Lisbon PhD in Computer Sciences and Engineering, Instituto Superior Técnico His research applies machine learning techniques to associate application requests with database statements, enabling identification and reversal of malicious operations. Key themes include decentralized storage, blockchain recovery, secure communication protocols, and pluggable intrusion recovery systems. David has contributed to projects such as PATI, SITAN, SafeCloud, SEAL, and the BIG ERA Chair. He developed the Rectify system for intrusion recovery in PaaS clouds, which is deployable alongside applications without software modifications.

António Casimiroمشاهده پروفایل

دانشیار

• Dependable adaptive systems
• Middleware for distributed embedded real-time systems
• Cyber-Physical Systems
• +۴ مورد دیگر

António Casimiro is an Associate Professor at the Department of Informatics of the Faculty of Sciences, University of Lisbon. He holds a PhD in Computer Science (2003) from the same institution. His research focuses on dependable adaptive systems, middleware for distributed real-time applications, and cyber-physical systems. He leads the Cyber-Physical Systems research line at the LASIGE research unit and coordinates EU projects like ADMORPH and VEDLIoT, as well as the national AQUAMON project for water monitoring. Education: PhD in Computer Science, University of Lisbon (2003) Research Interests: Middleware for embedded real-time systems Fault-tolerant distributed systems IoT and environmental monitoring Cybersecurity in autonomous systems Key Projects: KARYON (FP7): Safe cooperative automotive/avionics systems VEDLIoT (H2020): Accelerated AIoT systems AQUAMON: Wireless sensor networks for water monitoring Awards: None explicitly listed, but active in editorial roles like Editor-in-Chief of the Ada User Journal. Teaching & Leadership: Coordinates the Master in Information Security program Former Vice-Director of LASIGE and member of Faculty Scientific Council Labs/Teams: LASIGE research unit, Navigators group, involvement in GULLIVER testbed for vehicular systems.

• Proof Theory
• Concurrency Theory
• Ecumenical Systems
• +۶ مورد دیگر

Elaine Pimentel is an Associate Professor at the University College London's Department of Computer Science, specializing in Programming Principles, Logic, and Verification. She also serves as Schools Outreach Lead, supporting initiatives like the Afghan Female Student Outreach project. Previously, she held professorships at MAT/UFMG and DMAT/UFRN, and has been actively involved in academic leadership roles, including Treasurer of the Brazilian Logic Society and Editor of the Bulletin of Symbolic Logic. Her research focuses on proof theory, ecumenical systems, concurrency theory, and logical frameworks, with notable contributions to the ECUMENICAL project on proof-theoretic semantics for non-classical logics. Elaine earned her Ph.D. in Computer Science from UFMG under advisors Dale Miller and Carlos Camarão de Figueiredo. She has held visiting positions at institutions like TU Wien and LIX - École Polytechnique, collaborating on proof theory and λ-calculus. Her work bridges theoretical computer science and philosophy, emphasizing interdisciplinary projects like the MOSAIC and PROSA initiatives. Elaine has been honored with the Rae Harbird Award and has organized influential events such as the World Logic Day activities and international conferences like STACS and CSL. She is a strong advocate for diversity in STEM, leading projects like POTIMÁTICAS to inspire girls in mathematics and computer science.

• Computer Science
• Formal Methods
• Programming Languages
• +۱ مورد دیگر

André de Matos Pedro is an Assistant Professor in the Department of Computer Science at the University of Beira Interior. He teaches courses including Teoria da Computação (Theory of Computation), Programação Funcional (Functional Programming), and Segurança e Fiabilidade de Software (Software Security and Reliability). His research focuses on formal methods, runtime verification, and programming language theory. His publication record shows consistent focus on formal verification methods applied to real-time and embedded systems. Recent work emphasizes runtime monitoring frameworks, SAT/SMT-based verification techniques, and applications in safety-critical domains like autopilot systems. The research trajectory demonstrates increasing emphasis on practical applications of temporal logic and co-simulation testing platforms.

Miguel Matosمشاهده پروفایل

استادیار

• Persistent Memory
• Blockchain Scalability
• Systems Evaluation
• +۳ مورد دیگر

Miguel Matos is an Assistant Professor at Instituto Superior Técnico (IST) of Universidade de Lisboa and a Researcher at INESC-ID's Distributed Systems Group. His research focuses on Persistent Memory systems, blockchain scalability, distributed systems evaluation, and database performance. He has led major projects such as Angainor (reproducible evaluation tools) and ACT-PM (crash-consistency testing). Research interests include exploring persistent memory's challenges, blockchain Layer-2 limitations, automated bug detection (HawkSet, Mumak), and decentralized network emulation (Kollaps). He has received awards like the Gilles Muller Best Artefact Award at EuroSys 2025 and Best Paper Awards at DAIS 2017 and IPDPS 2012. He coordinates multi-million Euro grants including EU's Qualichain and national FCT projects. Teaching includes courses like 'Highly Dependable Systems' and 'Large-Scale Systems Engineering' at IST. His work bridges academia and industry, collaborating with startups like MIMA Housing and LeanXcale.

Jose Nuno Oliveiraمشاهده پروفایل

استاد

• Formal Methods
• Programming Algebra
• Functional Programming
• +۳ مورد دیگر

Jose Nuno Oliveira is a Professor at the Department of Informatics of the University of Minho and a researcher at HASLab/INESC TEC. He is a member of the IFIP WG 2.1 (Algorithmic Languages and Calculi) and the Formal Methods Europe (FME) Association. He serves on the editorial board of Springer's Formal Aspects of Computing . His research focuses on formal methods, programming algebra, and functional programming, with recent work on relation algebra and linear programming algebra for software verification. He has supervised multiple theses in areas like quantum programming, probabilistic model verification, and functional programming applications. Key research interests include applying theoretical constructs (e.g., adjunctions, difunctions) to practical software systems. His publications (2022–2024) explore fuzzy logic extensions in Alloy, historical relational program analysis, and foundational programming concepts. He leads efforts in trusted software development through collaborations at INESC TEC.

Nuno Moreira Macedoمشاهده پروفایل

استادیار

• Trustworthy Software Design
• Formal Methods
• Model Checking
• +۵ مورد دیگر

Nuno Moreira Macedo is an Assistant Professor at the Department of Informatics Engineering (DEI) of the Faculty of Engineering of the University of Porto (FEUP), Portugal, and a Senior Researcher at HASLab, INESC TEC. His research focuses on trustworthy software design, formal methods (model checking/model finding), and the development of tools like Alloy 6 and Alloy4Fun. He teaches programming languages and formal methods, emphasizing autonomous learning platforms. His work spans automotive systems, robotics software dependability, and fuzzy logic applications. Affiliations: University of Porto (FEUP), HASLab/INESC TEC Key Projects: Alloy Analyzer development, Alloy4Fun educational platform Research Themes: Formal specification, software verification, educational tools Publications highlight contributions to specification repair, automotive validation, and fuzzy logic extensions. Supervised multiple theses on topics like contract programming and API security testing. Active in both academic and industrial knowledge transfer projects.

João Pascoal Fariaمشاهده پروفایل

دانشیار

• Software Engineering
• Model-Based Testing
• Software Process Improvement
• +۵ مورد دیگر

João Pascoal Faria is an Associate Professor at the Department of Informatics Engineering, Faculty of Engineering of the University of Porto. He holds a PhD in Electrical and Computer Engineering and serves as Director of the Integrated Master in Informatics and Computing Engineering (MIEIC). He is a researcher at INESC TEC, coordinating the Software Engineering area, and represents FEUP and INESC TEC in national and international technical commissions for health informatics and software quality. Education: PhD in Electrical and Computer Engineering (1999), University of Porto His research focuses on model-based testing , software process improvement , and model-driven development . He explores the use of Large Language Models (LLMs) for automated test generation in REST APIs and formal verification tools like Dafny. His work emphasizes practical applications, including IDE integration and market-driven tools like SAGA, a rapid application development platform based on domain-specific languages. João has supervised multiple theses in areas such as IoT systems, sign language recognition, and low-code development. He has over 25 years of experience in education and industry collaboration, co-founding companies like Qualisoft and Strongstep. His contributions span formal verification, test automation, and software quality assurance.