جستجوی استاد راهنمای دانشگاهی

Luís Miguel Botelhoمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Intelligent Agents
• Multi-Agent Systems
• +۸ مورد دیگر

Luís Miguel Botelho is an Associate Professor at the Department of Information Science and Technology (ISTA), ISCTE – IUL (Instituto Universitário de Lisboa), where he actively contributes to teaching and research in Artificial Intelligence and Intelligent Agents. He teaches courses in Artificial Intelligence and Intelligent Systems Technology, using Prolog as the implementation language. PhD in Business Organization and Management, ISCTE-IUL (1997) Master’s in Electrical and Computer Engineering, Higher Technical Institute – UTL (1990) Bachelor’s in Electrical Engineering, Higher Technical Institute – UTL (1983) His research focuses on autonomous agents, multi-agent systems, context-aware computing, semantic web services, and affective interactions. He has led and participated in major projects including CASCOM, Agentcities, SAFIRA, and MODEST, contributing to architectures for service coordination, agent communication, and intelligent surveillance. His recent publications (2021–2022) explore rhetoric modeling, automatic story generation, and enhancements to business tools, reflecting a trend toward cognitive modeling, narrative AI, and practical AI integration. Earlier works (2008–2013) emphasize service discovery, composition, and execution in agent-based systems, grounded in semantic technologies and distributed coordination. He has held academic leadership roles, including Director of the PhD in Information Science and Technology and 3rd Year Coordinator for multiple undergraduate programs. His work is published in top AI venues such as AAMAS, IJCAI, and IEEE conferences. Research Projects: CASCOM – Context-aware Service Coordination (FP6) KnowledgeAndCulture.org – Intelligent Team Selection (FCT) Agentcities – Worldwide Agent Network (FP5) SAFIRA – Affective Interactions (FP5) MODEST – Surveillance Video Analysis (FP4) He advises students and leads research in agent-based systems, with a strong emphasis on open, dynamic, and semantically rich environments. He is affiliated with the Instituto de Telecomunicações and maintains active profiles on Scopus, ORCID, and Google Scholar.

• Multimedia Signal Processing
• Light Field Coding
• 3D Holoscopic Video
• +۷ مورد دیگر

Paulo Jorge Lourenço Nunes is an Associate Professor in the Department of Information Science and Technology at ISCTE – Instituto Universitário de Lisboa, where he also serves as Coordinator of the Multimedia Signal Processing Group at the Institute of Telecommunications - IUL. He is an Integrated Researcher at the same institute, contributing to advanced research in multimedia and signal processing. PhD in Electrical and Computer Engineering, Higher Technical Institute - UTL (2007) Master's in Electrical and Computer Engineering, Higher Technical Institute - UTL (1995) Bachelor's in Electrical and Computer Engineering, Higher Technical Institute - UTL (1992) His research focuses on multimedia signal processing , particularly in light field coding , 3D holoscopic video , and scalable video representation . He applies deep learning and advanced signal processing techniques to problems in immersive systems and image compression. His work bridges theoretical innovation with practical implementation in next-generation visual media. The recent articles highlight a strong trend in light field processing , including segmentation, coding, disparity estimation, and view synthesis using neural networks. Keywords across publications include computer vision, image compression, deep learning, and immersive media, reflecting a cohesive and impactful research trajectory in next-generation visual technologies. Notable scientific contributions include highly cited works in IEEE Transactions and Signal Processing journals, with over 1300 citations on Google Scholar. While no formal awards are listed, his extensive publication record and leadership in funded research projects underscore significant recognition in the field. He actively supervises postdoctoral researchers, PhD, and Master’s students. His advising portfolio includes ongoing and completed theses on light field coding, deep learning for immersive systems, and multimedia communication. He has also secured and led multiple research projects in multimedia and telecommunications. His teaching includes courses such as Multimedia Communication Systems and Fundamentals of Computer Networks. He leads the Multimedia Signal Processing Group at the Institute of Telecommunications - IUL, a research team focused on advanced multimedia analysis, compression, and delivery. The group works on cutting-edge topics including light field technologies, error-resilient video coding, and machine learning for multimedia.

• Information Systems
• NoSQL Databases
• Formal Modeling of Organizations
• +۷ مورد دیگر

Pedro Ramos is a Full Professor and Director at the Department of Information Science and Technology (ISTA), ISCTE-IUL University Institute of Lisbon. He is also an Integrated Researcher at ISTAR-Iscte, a leading research center in Information Sciences, Technologies, and Architecture. His academic leadership includes directing various degree programs and serving on institutional governance bodies such as the Scientific Committee and General Council. PhD in Information Sciences and Technologies (ISCTE-IUL, 1999) Master's in Business Sciences (ISCTE-IUL, 1992) Bachelor's in Business Organization and Management (ISCTE-IUL, 1988) His research focuses on Information Systems , NoSQL databases , formal modeling of organizations , and big data management . He explores applications in distributed systems, semantic web, and data mining for business intelligence and public policy. His work bridges theoretical modeling and practical implementation in enterprise IT environments. His recent publications span high-impact journals in transportation, tourism, education, and information systems. Key themes include semantic interoperability in bibliographic data , passenger rail disruption management , data mining for guest satisfaction , and social media engagement in sports and fashion . His research consistently applies computational and analytical methods to real-world organizational challenges. Pedro Ramos has played a central role in developing and coordinating master's programs in Information Systems and related fields. He actively supervises both Master’s and PhD students, with ongoing projects in formal ontologies, public policy, business performance, and decision support systems. He has also contributed to institutional research projects funded by European programs. He leads research at ISTAR-Iscte and has held key administrative roles, including Director of the Department of Information Science and Technology and leadership in academic councils. His work integrates research, teaching, and institutional development.

• Complex and Dynamic Systems
• Computer Networks
• Networked Multimedia Systems
• +۱۱ مورد دیگر

Rui J. Lopes is an Associate Professor in the Department of Information Science and Technology at ISCTE – Instituto Universitário de Lisboa, where he has been a faculty member since 1997. He is also an Integrated Researcher and Coordinator of the Network Architecture and Protocols Group at the Institute of Telecommunications - IUL. He holds a PhD in Computer Science from Lancaster University (2005), a Master’s and Bachelor’s in Electrical and Computer Engineering from Instituto Superior Técnico, University of Lisbon. PhD in Computer Science – University of Lancaster (2005) Master’s in Electrical and Computer Engineering – Instituto Superior Técnico (1997) Bachelor’s in Electrical and Computer Engineering – Instituto Superior Técnico (1994) His research focuses on complex and dynamic systems, particularly multilayer hypernetworks, networked multimedia, and applications in sports performance analysis. He has made significant contributions to modeling team synergies in football using network science and optical tracking data. His work bridges computer science, network theory, and sports analytics, with a strong emphasis on real-world applications. His recent publications span high-impact journals in sports science, network science, and complex systems. Key themes include team coordination, temporal networks, performance modeling, and the application of information theory to sports. His research often integrates data-driven modeling with theoretical frameworks to uncover patterns in collective behavior. Guest Editorial: Advances in Tools, Techniques and Practices for Multimedia QoE (2015) Multiple publications in Sensors, Chaos, Solitons & Fractals, European Journal of Sport Science, and Sports Medicine High citation counts across Google Scholar (598), Scopus (282), and Web of Science (269) Rui J. Lopes has supervised over a dozen master’s students and five PhD candidates, three of whom completed with the highest grade. He has also contributed to academic leadership by directing the doctoral program in Complexity Sciences (2018–2020) and promoting internationalization programs such as Erasmus and IAESTE. His research is conducted primarily at the Institute of Telecommunications, where he leads a research group focused on network architectures and protocols. He is actively involved in interdisciplinary research, collaborating with experts in sports science, urban planning, and social systems. His work on syntgen, a system for generating temporal networks, and on protest modeling using agent-based simulations, highlights the breadth of his methodological expertise.

• Optical Fiber Communications
• Photonics
• Multicore Fibers
• +۷ مورد دیگر

Tiago Alves is an Associate Professor at the Department of Information Science and Technology, School of Technology and Architecture, ISCTE – University Institute of Lisbon. He is also an Integrated Researcher at the Institute of Telecommunications – IUL, where he leads research in the Optical Communications and Photonics Group. His academic and research career is centered on advanced optical communication systems, with a strong focus on multicore fibers, signal processing, and network architecture innovation. PhD in Electrical and Computer Engineering, Instituto Superior Técnico (IST), University of Lisbon (2007–2011) Bachelor's degree in Electrical and Computer Engineering, IST, University of Lisbon (2001–2006) His research interests span optical fiber communications, multicore fiber technologies, machine learning applications in optical networks, OFDM-based systems, crosstalk mitigation, and photonic signal processing. He has made significant contributions to the modeling and experimental validation of next-generation optical networks, particularly those leveraging spatial division multiplexing and digital signal compensation. Tiago Alves has been actively involved in numerous national and international research projects, including MATCH (Marie Skłodowska-Curie Doctoral Network), DigCORE, RETIOT, MCNET, AMEN, and MORFEUS. His work bridges theoretical modeling, simulation, and experimental demonstration, with a strong emphasis on practical deployment and scalability. He has published extensively in top-tier journals and conferences, accumulating over 128 publications and more than 1300 citations on Google Scholar. Best Paper at the Photoptics Conference (2018) Best Paper at the Optics Conference (2013) Best Paper at the Optics Conference (2011) Tiago Alves has co-supervised 15 post-Bologna master’s theses and one doctoral thesis, and has mentored one postdoctoral researcher. He has also contributed to research funding through multiple competitively awarded projects, serving as local coordinator in national initiatives and leading exploratory research under the FCT Investigator program. He regularly reviews for prestigious journals including IEEE/OSA Journal of Lightwave Technology, Optics Express, and IEEE Photonics Technology Letters. He is a key member of the Optical Communications and Photonics Group (OCPG) at IT-Iscte, contributing to national capacity-building in optical networking and Internet of Things through projects like RETIOT. His current research focuses on enabling high-capacity, energy-efficient optical networks using multicore fibers and intelligent signal processing techniques.

• Machine Learning
• Deep Learning
• Image Processing
• +۹ مورد دیگر

Tomás Gomes Silva Serpa Brandão is an Assistant Professor in the Department of Information Science and Technology (ISTA) at ISCTE - Instituto Universitário de Lisboa, where he also serves as an Integrated Researcher at ISTAR-IUL, the Research Center in Information Sciences, Technologies and Architecture. His academic work spans teaching, research, and publication in areas such as machine learning, image processing, and deep learning. PhD in Electrical and Computer Engineering, Higher Technical Institute - UTL, 2011 Master’s in Electrical and Computer Engineering, Higher Technical Institute - UTL, 2002 Bachelor’s in Electrical and Computer Engineering, Higher Technical Institute - UTL, 1999 His research focuses on automatic image analysis , with applications in medical imaging (e.g., echocardiography), environmental monitoring (e.g., wildfire and invasive species detection), and image and video quality assessment . He has made significant contributions to no-reference quality metrics for compressed video and deep learning-based detection systems. The 15 most recent articles reflect a strong trend in applying deep learning to real-world problems in healthcare, agriculture, and urban environments. Topics include calcium detection in echocardiograms, graffiti and wildfire detection, pest monitoring in crops, and quality assessment of video streams. These works appear in reputable journals such as IEEE Access , BioData Mining , and Agriculture , indicating interdisciplinary impact. Scientific contributions include: Google Scholar: 36 publications, 797 citations, h-index 10 Scopus: 28 publications, 493 citations, h-index 7 Web of Science: 17 publications, 348 citations, h-index 6 He has advised students and collaborated widely, particularly with researchers in signal processing and computer vision. His work involves both theoretical development and practical deployment, including sensor networks and educational games. He is involved in projects related to air quality monitoring and agricultural AI. Though no specific grants or awards are listed, his publication volume and citation impact suggest active research funding. He leads or contributes to systems involving mobile sensor networks and UAV-based imaging.

• Quantum Computing
• Cyber-Physical Systems
• Programming Languages
• +۳ مورد دیگر

Renato Neves is an Assistant Professor at the University of Minho's Department of Informatics. His research focuses on Quantum Computing, Cyber-Physical Systems, and Programming Languages, with an emphasis on formal semantics and hybrid systems. He has contributed to foundational work in category theory applied to computational models and has led multiple research projects in quantum software engineering and formal methods. Education: Ph.D. in Computer Science (not explicitly stated but inferred from research output) His teaching includes courses on Quantum Computing and Cyber-Physical Systems at the undergraduate and doctoral levels. He has been principal investigator (PI) or co-investigator (co-I) on projects like Ibex (2022-2024) and CTRL-F (2022-2025), advancing computational methods in quantum and hybrid systems. Key research themes include hybrid automata, coalgebraic semantics, and formal verification. His work bridges theoretical computer science with practical applications in programming languages and quantum software engineering.

• computability theory
• descriptive set theory
• model theory
• +۱ مورد دیگر

Dino Rossegger is a mathematician and researcher at the Institute of Discrete Mathematics, TU Wien, serving as Principal Investigator for the Austrian Science Fund project "Structural Complexity Measures for Foundational Theories" in collaboration with the University of Warsaw. He completed his Marie Skłodowska Curie fellowship (ACOSE project) in August 2024 and remains actively engaged in academic service. His research centers on computability theory with deep connections to descriptive set theory and model theory. Key investigations include degrees of categoricity above $$0''$$, Turing degrees computing $$\text{HYP}$$ but not Kleene's $$\mathcal{O}$$, and positive enumerable functors. His work explores structural complexity in foundational mathematical systems through non-peer-reviewed notes on topics like hyperfinite equivalence relations and forcing proofs of the Silver dichotomy. Scientific recognition includes: Marie Skłodowska Curie Fellowship He secures research funding as PI of the Austrian Science Fund project and co-organizes academic initiatives including the weekly local research seminar at TU Wien and the international "Computable Structure Theory and Interactions" workshop held in Vienna in July 2025.

Maria João Fradeمشاهده پروفایل

استادیار

• Formal Methods
• Program Verification
• Type Systems
• +۳ مورد دیگر

Maria João Frade is an Assistant Professor at the Department of Informatics of the University of Minho and a Senior Researcher at HASLab/INESC TEC. She holds a PhD in Computer Science from the University of Minho (2004). Her research focuses on formal methods, program verification, type systems, and logic, with contributions to foundational aspects of program logics and verification tool certification. Education: PhD in Computer Science, University of Minho (2004) Research Interests: Formal verification techniques Dynamic and Hoare logics Verification condition generation Program analysis and transformation Her work emphasizes meta-verification of verification tools, exploring soundness/completeness proofs for systems like Why3 and KeY. Publications: Recent work includes studies on lambda-calculus naturality, dynamic logic-based VCGen verification, and generalized program verification frameworks. These contributions highlight advancements in foundational aspects of program verification methodologies. Advising: Supervised theses include work on Why3 formalizations (2022), single-assignment program transformations (2016), and test generation platforms (2018). Labs/Teams: Active member of HASLab/INESC TEC, collaborating on high-assurance software systems research.

• Stochastic Analysis
• Partial Differential Equations
• Fluid Dynamics
• +۷ مورد دیگر

Maria Fernanda de Almeida Cipriano Salvador Marques is a Full Professor in the Department of Mathematics at the Faculty of Sciences and Technology, NOVA University Lisbon (UNL), where she is also an integrated member of the Center for Mathematics and Applications (CMA). Her work bridges stochastic analysis and mathematical fluid dynamics, contributing to both theoretical and applied domains. PhD in Mathematics, University of Lisbon, 2001 Her research focuses on stochastic partial differential equations , particularly in modeling Newtonian and non-Newtonian fluid flows under random influences. Key areas include stochastic Navier-Stokes and Euler equations , boundary control problems , and third-grade fluid models with Navier or slip boundary conditions. She also applies stochastic methods to environmental data, such as wind velocity modeling using multivariate random fields. The recent publication trends highlight a strong emphasis on control theory in stochastic fluid systems, existence and uniqueness of solutions in complex fluid models, and large deviations and ergodic behavior in infinite-dimensional stochastic dynamics. Her work appears in top-tier journals like SIAM Journal on Mathematical Analysis and Stochastics and PDEs: Analysis and Computations . She has received recognition through citations (266) and an h-index of 10, though specific awards are not listed. Her research is supported by institutional affiliation with CMA and active collaboration networks, as reflected in her co-authored works. Optimal control of stochastic Newtonian fluids Analysis of stochastic third-grade fluid equations Boundary control for Navier-Stokes systems Random field modeling of wind data Ergodicity and invariant measures in fluid models Large deviation principles for hydrodynamical systems As a senior academic, she likely supervises graduate students and postdoctoral researchers, though no advisees are explicitly named. Her role in the CMA research group underscores her leadership in advancing applied stochastic analysis in Portugal.

Carla Ferreiraمشاهده پروفایل

استاد

• Models of concurrency and distribution
• Foundations of cloud computing
• Language-based techniques for low-code software development
• +۵ مورد دیگر

Carla Ferreira is a Full Professor in the Computer Science Department at NOVA University of Lisbon and a researcher at NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) in the Software Systems research group. Her academic career began as an Assistant at Universidade do Minho, followed by positions at the University of Southampton's Dependable Systems & Software Engineering Group, and later as an Assistant Professor at IST before joining her current position at NOVA University Lisbon. Her primary research interests focus on Models of concurrency and distribution , Foundations of cloud computing , and Language-based techniques for low-code software development . She has made significant contributions to distributed systems, particularly in the areas of data replication, consistency models, and programming languages for distributed environments. Her work bridges theoretical foundations with practical applications in cloud and edge computing systems. Dr. Ferreira's recent publications demonstrate a strong focus on low-code development platforms, particularly the OSTRICH language framework she has developed, as well as replicated data types, spatio-temporal monitoring systems, and ontology-based approaches to software development. Her research consistently addresses the challenges of building reliable distributed systems while improving developer productivity through language-based techniques. She has served on the program committees of numerous prestigious conferences including ECOOP, FORTE, POPL, and TACAS, demonstrating her standing in the programming languages and distributed systems communities. As an academic advisor, Dr. Ferreira has supervised numerous PhD and MSc students, both ongoing and completed, working on topics ranging from distributed databases to low-code development and formal verification. She has also led significant research projects including PRECISE (as Principal Investigator), GOLEM, LightKone, and currently TaRDIS (Trustworthy and Resilient Decentralised Intelligence for Edge Systems).

Cláudia Soaresمشاهده پروفایل

استادیار

• Computer Science
• Information Systems
• Software Engineering
• +۲ مورد دیگر

Cláudia Soares serves as an Assistant Professor at the Department of Informatics within the Faculty of Science and Technology at NOVA University Lisbon. Based in office 249, she is reachable via telephone at 212 948300 extension 10779 or email claudia.soares@fct.unl.pt. Her research spans core areas of Computer Science with emphasis on Information Systems architecture and Software Engineering methodologies. Specialized work includes Distributed Systems design and modern Software Development practices, reflecting the department's technical focus. No scientific awards, student advisement records, or publication history were documented in the source materials. Laboratory affiliations and grant funding details remain unspecified in available institutional records.

Fernando Birraمشاهده پروفایل

استادیار

• Computer Graphics
• Human-Computer Interaction
• Parallel Computing
• +۲ مورد دیگر

Fernando Birra serves as an Assistant Professor in the Department of Informatics at the Faculty of Sciences and Technology of NOVA University Lisbon (FCT/UNL), concurrently holding a research position at CITI (Centro de Informática e Tecnologias da Informação) within the Multimodal Systems group. His research expertise spans: Computer Graphics Human-Computer Interaction Parallel Computing with GPU acceleration Multimodal Systems Teaching record includes: Computer Graphics and Interfaces (Winter 2013-2014, Winter 2012-2013) Web Application Development (Winter 2012-2013) Projeto Integrador (Summer 2012-2013) Based in Caparica, Portugal, Birra originates from Odivelas and maintains active hobbies in geocaching, mountain biking (MTB), and RPM cycling classes.

Henrique Domingosمشاهده پروفایل

دانشیار

• Computer Systems and Networks
• Security and Privacy
• Dependable Distributed Systems and Networks
• +۳ مورد دیگر

Henrique Domingos is an Associate Professor at the Department of Computer Science, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (FCT/UNL), holding a tenure position since April 2005. He is also an Integrated Research Member of NOVA LINCS (NOVA Laboratory of Informatics and Computer Science) and serves on its Scientific Committee. Research expertise spans: Computer Systems and Networks Security and Privacy Dependable Distributed Systems Trusted and Confidential Computing Blockchain Technologies Professor Domingos has supervised 67 students since 2000, including 2 Ph.D. candidates and 69 MSc students (with 2 co-supervised), plus over 130 BSc final projects. He currently mentors multiple graduate students working on privacy-preserving systems, blockchain security, and network anonymity solutions. His research portfolio includes significant projects like ECB Cyber Resilience initiatives (2023-2024), Digital Europe/eIDAS Enablers, HADES (hardware-backed decentralized systems), and LightKone (edge computing). His work bridges academic research with real-world applications in financial infrastructure and government systems. Professor Domingos is a senior member of ACM, IEEE, and activist with EFF (Electronic Frontier Foundation). He previously served on the Executive Board of ISOC.PT (2016-2020) and maintains active industry collaborations across banking and cybersecurity sectors.

José Júlio Alferesمشاهده پروفایل

استاد

• Artificial Intelligence
• Logic Programming
• Non-Monotonic Reasoning
• +۵ مورد دیگر

José Júlio Alferes is a Full Professor in the Department of Computer Science at the Universidade NOVA de Lisboa since 2010, and a researcher at NOVA LINCS. He coordinates the Knowledge-Based Systems group and has held significant administrative roles, including Head of the Computer Science Department (2009-2011) and Vice-Dean of FCT NOVA (2011-2018). Previously, he was Associate Professor at the same institution and Assistant Professor at the University of Évora (1993-2000). Affiliation: Universidade NOVA de Lisboa (since 2010) Research Lab: NOVA LINCS, where he coordinates the Knowledge-Based Systems group Previous Roles: Director of CENTRIA (Artificial Intelligence Centre), Head of the Mathematics Department at Évora, and coordinator of the M.Sc. in Applied Artificial Intelligence (1994-2000). His research focuses on Artificial Intelligence , particularly in Logic Programming , Knowledge Representation , and Non-Monotonic Reasoning . He has contributed to Knowledge Base Updates and reactive systems in the Web, as part of the EU project Rewerse. His work includes developing software like r3 (Resourceful Reactive Rules) and XSB Prolog. Scientific recognition includes being elected as a EurAI Fellow in 2012. He has supervised numerous PhD and MSc students, including Ana Sofia Gomes (PhD thesis on Transactions in Dynamic Reactive Environments, 2015) and Matthias Knorr (PhD thesis on Combining Open and Closed World Reasoning, 2011).