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

Lilia Salomé Llanto Chávezمشاهده پروفایل

مدرس ارشد

• Native Languages of Peru
• Bilingual Education
• Linguistics
• +۴ مورد دیگر

Dr. Lilia Salomé Llanto Chávez serves as Director of the Professional School of Languages and Senior Lecturer in the Department of Linguistics at the National University of San Marcos (UNMSM), Faculty of Letters and Human Sciences. Her leadership extends to directing the Research Institute of Applied Linguistics (CILA, 2012-2016) and coordinating the Center for Studies on Dialogue, Systematization, and Intercultural Exchange of Knowledge (NEDSIIS). Her academic credentials include: Master's and doctoral studies in Linguistics from UNMSM and University of São Paulo (USP) Second Specialization Diploma in Intercultural Bilingual Education Postgraduate diploma in Neurolinguistics Dr. Llanto Chávez's research critically examines Andean and Amazonian Peruvian native languages through cognitive semantics frameworks, as demonstrated in her book Pacha, on Quechua Polysemy . Her work bridges neurolinguistics with practical applications in bilingual education for indigenous communities (Asháninka, Yanesha, Nomatsiguenga), while advancing Portuguese pedagogy through publications like Oi Gente and her chapter in Fundamentos do Ensino de Português . This interdisciplinary approach integrates language preservation with educational policy implementation across rural Peru. She has directed UNMSM's Language Program across five administrative periods (1998-2016) and led the MINEDU-affiliated Specialization Program for Teachers of Hispanic Intercultural Bilingual Education (2014-2017). Her 2009-2014 Decentralized Program for Bilingual Teachers in Central Selva established foundational training methodologies now used nationwide. As a Harvard-affiliated Laspau program participant (2016), she contributes to academic leadership development. Through NEDSIIS and CILA, she spearheads collaborative research frameworks connecting UNMSM with indigenous knowledge systems. These centers facilitate intercultural knowledge exchange while documenting endangered languages, directly supporting Peru's Prior Consultation processes through her interpreter training workshops.

• Programming Languages
• Concurrent and Distributed Systems
• Formal Methods
• +۴ مورد دیگر

Luís Caires is a Full Professor of Science and Methodology of Programming at the Department of Computer Science and Engineering, Técnico Lisboa. He is also a Core Researcher at INESC-ID and holds the ERA Chair under the H2020 BIG initiative. Previously, he served as a Full Professor at the Department of Computer Science, NOVA FCT, and was the founding Director of the NOVA Laboratory for Computer Science and Informatics. His research focuses on the theory and practice of programming languages, emphasizing trustworthy concurrent, distributed, and decentralized systems. Key areas include type systems for resource management in concurrent systems, integration of foundational concepts (types, logics, process algebra) with systems building (compilers, type-checkers), and interdisciplinary themes like computational theories of mind and quantum programming models. Recent work includes the development of the Linear Session Abstract Machine (LSAM) and the CLASS language, which ensure safety properties in concurrent programming. He actively participates in academic communities, serving as a PC member for ECOOP, FoSSaCS, and LICS. His contributions span software tools like the SLMC model checker for spatial logics and DIFT for dependent information flow types. His research bridges theoretical foundations with practical implementations, emphasizing both correctness and practical usability. Key Projects: LSAM, CLASS, DIFT, SLMC Grants: H2020 BIG (ERA Chair) Labs/Teams: INESC-ID, NOVA Laboratory for Computer Science and Informatics

• Artificial Intelligence
• Multi-Agent Systems
• Cyber-Physical Systems
• +۵ مورد دیگر

Luis Gomes is an Assistant Professor at the Higher Institute of Engineering of Porto (ISEP) within the Polytechnic Institute of Porto and a Researcher at GECAD (Research Group in Engineering and Intelligent Computing for Innovation and Development). He has been teaching in the Engineering of Artificial Intelligence MSc program since September 2017. Gomes holds a PhD in Computer Engineering from the University of Salamanca (2020), an MSc in Multimedia from the University of Porto (2020), an MSc in Computer Engineering from ISEP (2013), and a Postgraduate Diploma in Electronics Engineering from ISEP (2013). His research focuses on artificial intelligence applications in energy systems, particularly: Multi-agent systems for smart grid management Cyber-physical agent design and validation Demand response optimization Energy forecasting using machine learning IoT-based energy monitoring solutions Distributed intelligence for renewable integration His work combines theoretical models with practical implementations in real-world energy infrastructures. Analysis of his recent publications (2023-2024) reveals strong emphasis on energy communities, AI-driven grid management, and sustainable computing. Dominant themes include multi-agent system architectures, demand response optimization, renewable energy integration, and privacy-preserving data management. Methodological approaches frequently combine federated learning, genetic programming, and metaheuristic optimization applied to smart grid challenges. Scientific Awards: 3 International Awards 2 National Awards 5 Conference Mentions 2 European Awards (pre-PhD) 2 Portuguese Awards (pre-PhD) Academic Advising & Projects: Supervised 1 PhD student, 22 MSc students (12 completed), and 39 BSc students (31 completed). Tutors 3 PhD theses and 2 PostDoc researchers. Leads an 8-member research team at GECAD's energy cyber-physical infrastructure lab. Has coordinated 13 international and 19 national R&D projects including European projects (TIoCPS, F4iTech), PRODUTECH DIH/EDIH, RETINA, and NGS-BP20. Contributions include 20+ management models, 17 operational prototypes, 2 patents, and 3 public datasets.

Clara Nunes Correiaمشاهده پروفایل

استادیار

• Linguistics
• Semantics
• Grammatical Studies
• +۱ مورد دیگر

Clara Nunes Correia serves as an Assistant Professor in the Language Sciences Department at the Faculty of Social and Human Sciences, NOVA University Lisbon. Her key institutional roles include: Teaching Assistant at FCSH-UNL since 1999 Member of the Board of Directors of the Linguistics Research Centre (CLUNL) since 2010 Principal Investigator of the CLUNL Grammar & Text Group Coordinator of the 'Curso de Ciências da Linguagem' (1st Cycle) Scientific Coordinator of 'Escola de Verão FCSH/NOVA' She earned her Doctorate in Linguistics (Semantics) from Universidade NOVA de Lisboa in 1999. Her research spans Linguistics with concentrated expertise in Semantics, Grammatical Studies, and Portuguese Grammar, examining structural and semantic properties of Portuguese linguistic systems. Her publication trends reveal consistent focus on verbal constructions and grammatical boundaries in European Portuguese, particularly through analysis of periphrastic structures and syntactic phenomena as evidenced in recent works like the 2023 GRATO study. She actively leads collaborative initiatives through the Linguistics Research Centre (CLUNL), directing the Grammar & Text Group while coordinating major academic programs including the Summer School and undergraduate linguistics curriculum.

• Museology
• History of Science
• Epistemology of Anthropology
• +۴ مورد دیگر

Nélia Susana Dias is an Associate Professor (with Habilitation) in the Department of Anthropology at Iscte - University Institute of Lisbon's School of Social Sciences and Humanities. She serves as an Integrated Researcher at CRIA-Iscte (Networked Center for Research in Anthropology), specializing in the Cultural Practices and Policies research group. Her extensive academic career includes visiting positions at prestigious institutions worldwide, including the Musée du Quai Branly (2024), University of Saint-Andrews (2018), and Max Planck Institute for the History of Science. Her research focuses on: Museology and history of ethnographic collections Epistemological foundations of anthropology Cultural heritage preservation and critical heritage studies Historical development of anthropological classification systems Material culture and object biographies Colonial and postcolonial museum practices Dias's recent publications demonstrate a strong thematic focus on museum ethics, heritage restitution debates, and the historical development of anthropological knowledge through material collections. Her work frequently examines colonial legacies in museum practices while developing theoretical frameworks for contemporary heritage management. She maintains an active research leadership role as: President of the Scientific Committee of IN2PAST (Associated Laboratory for Research and Innovation in Heritage, Arts, Sustainability and Territory) Member of the Strategic Orientation Council at Quai Branly Museum (2024-2027) She directs major research initiatives including the EU Horizon-funded PITCH project (€3.28M, 2023-2027) on petroculture and heritage, and previously led the CHEurope project on critical heritage studies (2017-2021). As Director of the FCT Doctoral Program in Anthropology since 2013, Dias has supervised 16 doctoral candidates and 29 master's students, with research spanning museology, cultural heritage, and anthropological theory. Her academic leadership extends to developing curricula for multiple anthropology programs at both graduate and undergraduate levels.

Simão Melo de Sousaمشاهده پروفایل

دانشیار

• Formal Methods
• Software Reliability
• Software Security
• +۷ مورد دیگر

Simão Melo de Sousa is an Associate Professor at the Computer Science Department of the Engineering Faculty at the University of Beira Interior (UBI) , where he leads the RELEASE (RELiablE And SEcure Computation) research group under Nova-Lincs. He holds a Habilitation ( Agregação ) in Computer Science from UBI, a PhD from Nice-Sophia Antipolis University (France), and advanced degrees from Orléans University (France). Research Focus: Formal methods, software reliability/security, blockchain, computational logic, programming language design, deductive verification Teaching: Courses: Proof and Programming Theory , Certified Programming , Formal Methods , Functional Programming Projects include GreenStamp , HORUS , and COPES (PI roles), alongside contributions to LEAF , FRESCO , and European COST Networks . His work bridges theory and practice through co-developed tools like Why3 , ARMY , and LISSOM , targeting safety-critical systems (avionics, railways, medical) and cloud/ubiquitous security. He actively contributes to educational platforms like Learn-OCaml and co-authored books such as Rigorous Software Development (Springer, 2011). Scientific Collaborations : Key partnerships with Tezos Foundation , OCaml Foundation , Nova-Lincs , and institutions including Critical Software , EFACEC , and INRIA . His publications span journals ( Science of Computer Programming , Journal of Automated Reasoning ) and conferences ( LICS , ISoLA , ACISP ).

Ludwig Krippahlمشاهده پروفایل

استادیار

• Bioinformatics
• Constraint Programming
• Protein Structural Studies
• +۶ مورد دیگر

Ludwig Krippahl is an Assistant Professor of Computer Science at the Department of Computer Science, Faculty of Science and Technology, New University of Lisbon since December 2005. He holds degrees from the same institution: a BSc in Applied Chemistry (1997), MSc in Artificial Intelligence (2000), and PhD in Structural Biochemistry (2003), completed through a collaboration between the Chemistry and Computer Science Departments. His research focuses on bioinformatics, particularly applying constraint programming to protein structures, numerical computation, and machine learning for molecular property analysis. Additional interests include computer graphics, interface design, and semantic web integration in bioinformatics. He developed Chemera , a software tool for molecular modeling and protein-protein docking. No scientific awards or specific grants are explicitly mentioned in the text. His advisory role details are not provided.

Luís Soares Barbosaمشاهده پروفایل

استاد

• Program Semantics
• Coalgebra Theory
• Modal and Hybrid Logics
• +۳ مورد دیگر

Luís Soares Barbosa is a Full Professor at the Department of Informatics, University of Minho, and Senior Researcher at HASLab INESC TEC. He serves as Deputy Head of UNU-EGOV (United Nations University Unit on Electronic Governance) and leads the Quantum Software Engineering Research Group at INL. His research focuses on program semantics, coalgebra theory, and quantum computing applications. He has coordinated multiple national and international projects, including the ALFA EU-Latin America network. Barbosa has supervised numerous PhD students, with one recipient of the 2013 IBM Scientific Prize. He actively contributes to academic governance, serving as Director of the Joint Doctoral Programme MAP-i and Chair of IFIP TC1 on Foundations of Computer Science. Research Interests: Program semantics and calculi for systems understanding Coalgebra theory and modal/hybrid logics Quantum software engineering and algorithms Paraconsistent transition systems for inconsistency management Publications: His recent work spans quantum reinforcement learning, non-perturbative quantum simulations, and formal methods for software engineering. These contributions highlight advancements in quantum advantage, scalable algorithms, and robust system modeling. Professional Roles: Member of IFIP WG1.3 and Chair of IFIP TC1 Invited lecturer at Universities of Bristol, Tartu, and Peking Founder of MAP-i Joint Doctoral Programme Labs/Teams: Leads the Quantum Software Engineering Group at INL, advancing quantum algorithm development and software rigor.

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).

• Evolutionary Multiobjective Optimization
• Search-Based Software Engineering
• Semantic Web
• +۴ مورد دیگر

Vitor Basto Fernandes is an Associate Professor with tenure at Iscte - University Institute of Lisbon, affiliated with the Department of Information Science and Technology (ISTA) and ISTAR-Iscte research center. His career spans academic, research, and industry roles across institutions like University of Minho, University of Trás-os-Montes, and Polytechnic Institute of Leiria. PhD in Informatics (2006), University of Minho Postgraduate in Mobile Computing (2005), University of Minho Postgraduate in Distributed Systems (1997), University of Minho BSc in Information Systems Management (1995), University of Minho His research focuses on Evolutionary Multiobjective Optimization , Search-Based Software Engineering , and Cyber Security , with applications in healthcare systems, cloud computing, and anti-spam technologies. He has coordinated academic programs, led international research projects, and served as principal investigator for FCT-funded initiatives. Recent publications highlight expertise in cybersecurity risk analysis , ontological knowledge management , and multiobjective evolutionary algorithms . He organizes international conferences and mentors graduate students in fields like cloud infrastructure and data science . As an Integrated Researcher at ISTAR-Iscte, he contributes to projects involving semantic web technologies , enterprise application integration , and dimensionality reduction for spam filtering.

• Modern and Contemporary History
• Intellectual History
• History of Liberalism
• +۷ مورد دیگر

Ana Maria Pina is an Assistant Professor in the Department of History at ISCTE-Instituto Universitário de Lisboa, School of Sociology and Public Policies. She is also an Associate Researcher at CIES-Iscte – Center for Research and Studies in Sociology, where her research focuses on Historical Dynamics and Global Integration of the World. Her academic background includes a PhD in Contemporary Social History (1998), a Master's in Cultural and Political History (1986), and a Bachelor’s in History (1981). PhD in Contemporary Social History, ISCTE-IUL (1998) Master’s in Cultural and Political History, Faculty of Social Sciences and Humanities, NOVA University Lisbon (1986) Bachelor’s in History, Faculty of Arts, University of Lisbon (1981) Her research interests lie at the intersection of intellectual, cultural, and political history, with a focus on 19th- and early 20th-century Portugal. She explores themes such as the history of liberalism, degeneration, eugenics, psychiatry, and the evolution of key political concepts like liberty and national identity. Her work often engages with Iberian and Lusophone contexts, emphasizing transnational and comparative perspectives. Her recent scholarly output includes book chapters and conference communications, particularly on the conceptual history of liberty, racial identity, and the medicalization of social issues. She has also edited several conference proceedings and contributed to collective volumes, showcasing her active role in academic knowledge dissemination. Notable topics in her publications include the eugenics movement in Southern Europe, the psychiatric discourse in Portuguese literature, and the construction of national identity. Ana Maria Pina has held significant academic management roles, including Director of the Master’s in Modern and Contemporary History and Coordinator of the 3rd Year of the Bachelor’s program. She has not received any formally listed scientific awards, but her sustained scholarly contributions reflect a strong academic trajectory. She advises no publicly listed students but plays a central role in curriculum development and academic governance. She is actively involved in research groups and editorial activities, particularly within the Iberian historical community. Her work contributes to broader discussions on conceptual change, historical memory, and the sociocultural dimensions of modernization in Portugal.

Valderi Reis Quietinho Leithardtمشاهده پروفایل

استادیار

• Distributed Systems
• Data Privacy
• Internet of Things
• +۱۱ مورد دیگر

Valderi Reis Quietinho Leithardt is an Assistant Professor at the Department of Information Science and Technology, Iscte – University Institute of Lisbon , Portugal, where he holds a full-time position with exclusive dedication. He is an integrated researcher at ISTAR-Iscte (Research Center in Information Sciences, Technologies and Architecture) and a Senior Member of the IEEE . His academic affiliations also include collaborations with the University of Coimbra, University of Salamanca, and Fondazione Bruno Kessler. Education: Post-Doctorate , University of Salamanca, Spain (2019–2021) Post-Doctorate , University of Coimbra, Portugal (2017–2019) PhD in Computer Science , Federal University of Rio Grande do Sul, Brazil (2011–2015) Master’s in Computer Science , Pontifical Catholic University of Rio Grande do Sul, Brazil (2006–2008) Bachelor’s in Data Processing Technology , Higher Education Center of Foz do Iguaçu, Brazil (1999–2002) Research Interests: Valderi's research focuses on Distributed Systems, Data Privacy, Internet of Things (IoT), Cloud Computing, and Intelligent Systems . He explores algorithmic solutions for secure and efficient data management in heterogeneous environments, with applications in smart cities, precision agriculture, healthcare, and energy systems. His work integrates machine learning, blockchain, and federated learning to enhance privacy, security, and system performance. Publication Trends: His recent publications (2024–2025) emphasize time series forecasting, anomaly detection, JVM optimization, and privacy-preserving AI . A strong trend is observed in applying machine learning to power grid fault prediction, blockchain-based healthcare data privacy, and data quality in federated learning. His work bridges theoretical computer science with real-world applications in infrastructure, sustainability, and digital security. Scientific Contributions: Senior IEEE Member Active contributor to open science and reproducibility Involved in interdisciplinary research networks: Embedded and Distributed Systems Laboratory, COPELABS, CTS, CANDEIIA Member of professional societies: IEEE (since 2011), Brazilian Computer Society (since 2003) Academic Service and Leadership: He has held leadership roles in academic programs, including Director and Coordinator of the Master's in Computer Science and Management at Iscte (2025–2027). He actively organizes and participates in scientific events such as IEEE CIoT, DiTTEt, SBSeg, and MobiSPC, serving on organizing and scientific committees. He has coordinated workshops like WTTFC 2024 and 2025, promoting technological trends in future computing. Labs and Research Groups: He is a collaborator in several research networks, including: Embedded and Distributed Systems Laboratory (since 2016) Expert Systems and Applications Laboratory (since 2019) COPELABS – Human-Centered Computing and Cognition (since 2020) Fondazione Bruno Kessler (2021–2025) Center for Technology and Systems (CTS) (since 2023) Advanced Center for Development of Intelligent Systems and Artificial Intelligence (CANDEIIA) (since 2024)

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

استاد

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

Roles and Affiliations: José Nuno Oliveira is a Full Professor at the University of Minho's School of Engineering, Department of Computer Science. He is a member of the HASLab (High-Assurance Software Laboratory) and the Formal Methods Europe (FME) Association. He has held roles such as General Chair of the 3rd World Congress on Formal Methods (FM'19) and served on numerous international conference committees. Education: Habilitation in Computing Foundations (2010), University of Minho Ph.D. in Computer Science (1984), University of Manchester, UK M.Sc. in Computer Science (1981), University of Manchester, UK Lic. Eng. Elect. (Digital Systems & Computers) (1978), University of Porto, Portugal Research Interests: Oliveira focuses on formal methods, program calculation, and algebraic programming. His work emphasizes improving software design through mathematical rigor, including applications of relational algebra, functional programming, and program transformation. He has contributed to frameworks like Alloy and QAlloy for software verification. Publications: His recent work spans topics like quantum programming (e.g., quantamorphisms), typed linear algebra for data analysis, and formal methods in education. Over 80 publications include influential papers on Galois connections, metaphorisms, and coalgebraic systems. Awards and Grants: Not explicitly listed, but his leadership roles and extensive conference involvement highlight his recognition in formal methods. Active in projects like IBEX (cyber-physical systems) and TRUST (Alloy-based design). Teaching and Service: Teaches courses on program calculation and formal methods. Serves on editorial boards (e.g., Formal Aspects of Computing ) and chairs international conferences. Active in promoting formal methods education through workshops and training initiatives. Labs and Teams: Co-leads the HASLab (INESC TEC & University of Minho), focusing on high-assurance software systems. Collaborates on projects like EVEREST (railway network verification) and LeanBigData (big data analytics).

• Formal Methods
• Dynamic Logics
• Cyber-Physical Systems
• +۴ مورد دیگر

Alexandre Madeira is an Associate Professor in the Mathematics Department at the University of Aveiro (Portugal), affiliated with CIDMA and collaborating with HASLab-INESC TEC. He holds a PhD in Computer Science from the University of Minho, awarded the Portuguese IBM Scientific Prize 2013. His research focuses on formal methods, dynamic logics, algebraic specifications, and cyber-physical systems. **Education**: PhD in Computer Science (University of Minho, 2013), MSc in Mathematics (University of Aveiro, 200?), and a degree in Applied Mathematics and Computation (University of Aveiro). **Research Interests**: Formal specification of software, combination of logics, modal/hybrid/dynamic logics, algebraic specification, and applications to quantum programming and cyber-physical systems. Projects include DaLí, Ibex, and Klee. **Awards**: Portuguese IBM Scientific Prize 2013. **Editorial Roles**: Editor for journals and conferences such as *Journal of Logical and Algebraic Methods in Programming* and *SEFM 2024*. **Teaching**: Coordinates courses like Elements of Logic, Computational Logic, and Analysis and Development of Algorithms at the University of Aveiro. Also teaches at the University of Minho on topics like Quantum Computing and Algebraic Logic. **Supervision**: Supervises PhD and MSc students in formal methods, paraconsistent systems, and quantum logics. Notable advisees include Juliana Cunha and Leandro Gomes.

• Computer Science
• Probabilistic Programming
• Semantics
• +۶ مورد دیگر

Fredrik Dahlqvist is a faculty member at the University College London , Department of Computer Science , focusing on theoretical and applied aspects of probabilistic programming , semantics , and formal verification . His work bridges computer science with mathematical logic , machine learning , and programming language theory . Education: PhD in Coalgebraic Logics from Imperial College London (2014) His recent publications (2016–2025) explore model pruning , reparameterisation invariance , probabilistic numerical analysis , and categorical approaches to machine learning . Key themes include optimisation , cosine similarity , and omega-complete cone duality in probabilistic systems. Contact: f.dahlqvist@ucl.ac.uk (institutional) or f.p.h.dahlqvist@gmail.com (private), located at Gower Street, London WC1E 6BT, United Kingdom .