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

Rui Soares Barbosaمشاهده پروفایل

پژوهشگر

• Quantum Foundations
• Quantum Computer Science
• Mathematics of Quantum Theory
• +۶ مورد دیگر

Rui Soares Barbosa is a Staff Researcher at the Quantum and Linear-Optical Computation group at the International Iberian Nanotechnology Laboratory (INL). He holds a BSc in Computer Science from Universidade do Minho (2009), an MSc in Mathematics and Foundations of Computer Science from the University of Oxford (2010), and a DPhil in Computer Science from Oxford (2015) with a thesis on Contextuality in quantum mechanics and beyond. Prior to joining INL, he held post-doctoral positions at Oxford (2015–2019) and the University of Edinburgh (2019–2020), and a Research Fellowship at the Simons Institute for the Theory of Computing, UC Berkeley (2017). Barbosa's research lies at the intersection of Computer Science, Physics, and Mathematics, focusing on quantum foundations, quantum computer science, and the mathematics of quantum theory. His work emphasizes logical, structural, and compositional aspects, particularly investigating non-locality and contextuality - phenomena that distinguish quantum theory from classical physics and have been linked to quantum informatic advantage. He employs mathematical tools from category theory, logic, probability, algebraic topology, and operator algebras to achieve a structural understanding of quantum systems' non-classical features. His recent publications demonstrate a strong focus on contextuality as a quantum resource, exploring its connections to causality, computational advantage, and logical structures. The research spans theoretical foundations to practical quantum computing applications, with particular attention to mathematical frameworks like sheaf theory that elegantly express quantum contextuality. His work often involves collaborations with leading researchers in quantum foundations and theoretical computer science. Barbosa actively advises multiple PhD and MSc students including Angelos Bampounis, Rafael Wagner, Nico Witrock, and others. His research group at INL, the Quantum and Linear-Optical Computation group, conducts cutting-edge research at the intersection of quantum theory and computer science, regularly presenting findings at major conferences like the International Conference on Quantum Physics and Logic (QPL).

Armando Jorge Domingues Silvestreمشاهده پروفایل

استاد

• Chemistry
• Polymer Science
• Renewable Materials
• +۳ مورد دیگر

Armando J. D. Silvestre is a Full Professor at the Department of Chemistry, University of Aveiro. He holds academic degrees including a Licenciatura in Chemistry (1990), PhD in Chemistry (1994), and Agregação in Chemistry (2008) from the University of Aveiro. His research focuses on renewable materials, circular economy, and functional biomaterials. Research interests include: Development of biopolymer-based functional materials Valorization of biological residues for value-added chemicals Novel polymeric materials from renewable resources Sustainable nanocomposites and coatings Professor Silvestre has supervised 18 MSc and 11 PhD students to completion and currently mentors 3 PhD and 3 MSc candidates. Research projects include EU-funded initiatives like AFORE (Forest Biorefineries) and national projects on membrane technology and biomass valorization. Scientific contributions include over 180 SCI journal publications and patents on extraction methods. He serves on editorial boards for Industrial Crops and Products and actively participates in academic activities including Erasmus coordination and Bologna process implementation.

Ana Paula Mora Tavaresمشاهده پروفایل

پژوهشگر

• Enzyme Immobilization
• Aqueous Biphasic Systems
• Biomolecules Purification
• +۷ مورد دیگر

Ana Paula Mora Tavares is an Assistant Researcher at CICECO-Aveiro Institute of Materials, University of Aveiro, Portugal. She holds a PhD in Chemical Engineering from the University of Aveiro (2006), preceded by a MSc from Federal University of Rio de Janeiro (2000) and a BSc from Estadual University of Rio de Janeiro (1997). Her academic career includes postdoctoral research at LSRE/FEUP (2006–2009) and a Ciência 2008-funded independent position (2009–present). She teaches laboratory classes in Microbial Biotechnology at the University of Aveiro and has been involved in COHITEC’s technology commercialization training. Research Interests: Her work focuses on biomolecules purification (e.g., enzymes, antibodies), ionic liquids, aqueous biphasic systems, nanomaterials, and biocatalysis for organic synthesis. She pioneers applications in enzyme immobilization, anticancer drug development (e.g., L-asparaginase), and eco-friendly bioremediation strategies. Current projects include the InsectERA initiative for circular economy innovation. Awards: 2007 Honourable Mention from Companhia União Fabril for PhD thesis Supervision: 3 PhD students (Ana Filipa Soares Pereira, Ana Isabel Bastos Valente, Ana Sofia Correia Marques) Key Projects: InsectERA (circular economy), COHITEC (technology valorization) Labs/Teams: PATh G5 - Biomimetic Materials Group and L3 Sustainability Unit at CICECO. Her research leverages interdisciplinary approaches, combining chemical engineering with nanotechnology for biomedical and environmental applications.

• Condensed Matter Physics
• Materials Discovery
• Ab Initio Calculations
• +۴ مورد دیگر

Fernando Manuel da Silva Nogueira is an Associate Professor at the Department of Physics, Faculty of Sciences and Technology, University of Coimbra. He holds a PhD in Theoretical Physics from the same institution (1999) and has been a faculty member since 1990. His research focuses on materials discovery using ab-initio methods , computational physics, and development of scientific software tools like Octopus and APE . He leads the Condensed Matter Physics group at CFisUC (Centro de Física da Universidade de Coimbra) and has been Director of the Portuguese Physics Olympiad (2007-2018). Education: PhD in Theoretical Physics (1999), University of Coimbra MSc in Theoretical Physics (1993), University of Coimbra BSc in Physics (1990), University of Coimbra Research interests include computational materials science , nonlinear optics , density functional theory , and electronic structure calculations . He has authored 40+ peer-reviewed articles, 3 books, and directed over 25 research projects. His work spans topics like carbon nanotube properties, firefly bioluminescence mechanisms, and high-throughput materials discovery. He has organized 25+ conferences, advised 3 PhD students and 17 MSc students, and contributed extensively to open-source computational physics software. His ORCID is 0000-0003-3125-3660 .

• Machine Learning
• Molecular Modeling
• Drug Discovery
• +۴ مورد دیگر

Sungsoo Ahn is an Assistant Professor at the Graduate School of AI, KAIST, where he leads the Structured and Probabilistic Machine Learning (SPML) Lab. His research focuses on developing machine learning algorithms for molecular science, particularly in drug discovery, material design, and generative modeling. He directs a team of 13 researchers (including 2 post-docs and 11 students) and maintains collaborations with institutions like Mila and industry partners. His core research integrates probabilistic machine learning , generative models , and AI for science , with applications spanning molecular dynamics simulation, language model reasoning, combinatorial optimization, and graph neural networks. Key methodologies include flow matching, diffusion models, GFlowNets, and equivariant neural networks applied to chemical and biological domains. Recent publications (2023–2025) demonstrate strong emphases on: (1) Molecular generation/optimization for drug design, (2) Enhancing reliability and reasoning in large language models, (3) Graph-based machine learning for scientific discovery, and (4) Efficient training paradigms for generative samplers. These appear predominantly in NeurIPS, ICML, ICLR, and ACL. He advises multiple PhD/master's students and post-doctoral researchers in the SPML Lab. Current research directions include torsion-aware molecular generation, causal AI safety, neural operators for quantum chemistry, and multi-agent systems for molecular optimization.

• Embedded Systems
• Internet of Things
• Wireless Sensor Networks
• +۵ مورد دیگر

João Luís Marques Pereira Monteiro is a Full Professor at the Department of Industrial Electronics, School of Engineering, University of Minho, Portugal. He has been with the university since 1980, progressing from Assistant Trainee to his current position. He has held significant leadership roles including Pro-rector (2005-2009), Director of the Algoritmi Center (1998-2006, 2010-2013), and Dean of the School of Engineering (2013-2019). He currently coordinates the Embedded Systems Research Group (ESRG) and is a Senior Researcher at the Algoritmi Research Center. His educational background includes: Bachelor's degree in Electrical Engineering and Computers from the University of Porto (1980) PhD in Informatics and Systems Engineering - specialization in Computer Engineering - from the University of Minho (1991) Habilitation (Dr habil) from the University of Minho (2003) Professor Monteiro's research spans multiple domains in engineering and computer science, with a strong focus on practical applications. His work in embedded systems has led to innovations in real-time processing, sensor networks, and hardware-software co-design. In medical applications, he has developed textile-based sensors for vital sign monitoring. His recent work focuses on computer vision for autonomous vehicles, particularly 3D object detection from point clouds. He also contributes to educational initiatives in data science and AI, particularly in developing countries. His recent publications show a clear progression toward applications requiring real-time processing on resource-constrained devices. There's a strong emphasis on autonomous systems, particularly self-driving vehicles, with multiple papers on 3D object detection from point clouds. His work bridges embedded systems, computer vision, and wireless communications, often focusing on practical implementations for real-world applications like emergency responder localization and medical monitoring. Professor Monteiro has supervised more than a dozen doctoral students, many of whom have gone on to become faculty members at national and international universities. His research has been supported by various funding agencies including FCT (Portuguese), ADI (Portuguese), and FP7 (European funding), as well as industry partners. He leads the Embedded Systems Research Group (ESRG), which is part of the Algoritmi Research Center. The ESRG focuses on developing embedded solutions for various applications including autonomous vehicles, medical devices, and industrial monitoring systems. The group works on both hardware and software aspects of embedded systems, with particular expertise in real-time processing and resource-constrained environments.

• Artificial Intelligence
• Computational Catalysis
• Cybermaterials
• +۷ مورد دیگر

José R. B. Gomes is a Principal Researcher at the Department of Chemistry, University of Aveiro, and a core member of CICECO – Aveiro Institute of Materials. His research focuses on computational chemistry, with emphasis on multiscale approaches for catalysis, materials design, and surface science. He holds a Ph.D. from the University of Porto (2000) and has conducted postdoctoral research at the University of Barcelona and Porto. His work integrates quantum mechanics, molecular dynamics, and machine learning to study reactions at interfaces, gas adsorption in porous materials, and ionic liquid interactions. He leads multiple funded projects, including investigations into MXene-based catalysts and corrosion inhibitors. Key achievements include the Vicente de Seabra Medal (2010) and pioneering studies on MXene stability and catalytic properties. He supervises a dynamic research group comprising Ph.D. and M.Sc. students and collaborates internationally with institutions like the University of Barcelona and Strathclyde. Teaching roles at the University of Aveiro include computational chemistry and modeling courses. Educations: Ph.D. in Chemistry, University of Porto (2000); Postdoctoral training at University of Barcelona (2000–2007) Research Interests: Leveraging computational methods (DFT, MD, QM/MM) to bridge length/time scales in material design. Active areas include: (1) MXenes for catalysis and sensors, (2) Machine learning for corrosion inhibitor screening, (3) Gas adsorption in porous materials, and (4) Multiscale modeling of silicate chemistry. Recent work emphasizes AI-driven material discovery and sustainable energy applications. Publications: Over 200 peer-reviewed articles, with recent focus on MXene surface chemistry and corrosion solutions. Notable contributions include the DATACORTECH AI platform for inhibitor design and studies on subsurface oxygen in MXenes. Awards: Teresa da Fonseca Prize (1995), Mendonça Monteiro Prize (1994), Vicente de Seabra Medal (2010) Grants & Leadership: Coordinator of Group 6 at CICECO and PI of projects funded by FCT, Rede Nacional de Computação Avançada, and international collaborations. Active in developing AI tools and corrosion-resistant materials for industrial applications.

Mario Caldeiraمشاهده پروفایل

استاد

• Information Systems
• Cybersecurity
• Quantum Technologies
• +۷ مورد دیگر

Mário Caldeira is a faculty member at ISEG – Lisbon School of Economics and Management, University of Lisbon (ULisboa), where he teaches and conducts research in information systems, digital transformation, and cybersecurity. He also holds a professional role as Associate Partner at Deloitte Technology, Portugal, bridging academic insights with industry practice. Institution: University of Lisbon School: Lisbon School of Economics and Management Professional Affiliation: Deloitte Technology, Portugal His research focuses on the strategic use of information systems in organizations, with recent emphasis on quantum technologies and their implications for cybersecurity. Key areas include post-quantum cryptography, big data analytics, digital transformation, and enterprise IT governance. His work often employs case study methodology across sectors such as banking, telecommunications, and public administration. His recent publications (2024) highlight the urgency of preparing for quantum-enabled cyber threats. These works analyze how quantum computing may break classical encryption and advocate for organizational readiness through post-quantum cryptography and quantum key distribution. Earlier research explores benefits realization from IT implementations, CRM adoption, and robotic process automation, showing a consistent focus on deriving business value from technology investments. He has supervised over a dozen Master’s and PhD students on topics including RPA in banking, ERP systems, big data in healthcare, and quantum technology impacts. His teaching portfolio includes courses such as Digital Transformation and Sustainability, Management Information Systems, Enterprise Analytics, and Research & Development Seminars at both undergraduate and graduate levels. João Nuno Esteves Pina – Framework for ISO/IEC 27001 implementation Maria Paula Bastos da Silva Batista – Dual-use IP and export controls Flávio Alexandre Costa Romão – Big data business benefits Ana Isabel Manuel Duarte – Socioeconomic impact of quantum tech in Portugal His scientific contributions span journals such as the Journal of Information System Security , European Journal of Management Studies , and Industrial Management and Data Systems . Conferences include MCIS and UKAIS. His work reflects a strong applied orientation, combining theoretical rigor with practical relevance in technology management and information security.

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

• Cryptography
• Security Protocols
• Formal Methods
• +۳ مورد دیگر

Pedro Miguel Adão is an Assistant Professor at the Department of Computer Science and Engineering (DEI) of Instituto Superior Técnico (IST), University of Lisbon. He holds a PhD in Mathematics from IST (2006) and a Diploma in Applied Mathematics and Computation from the same institution (2002). His research focuses on cryptography, security protocols, formal methods, quantum security, and process calculi. He has conducted research at Microsoft Research Cambridge and the INRIA-Microsoft Research Centre in Paris, and is a member of the SQIG research group. Education: PhD in Mathematics, IST - University of Lisbon (2006) Diploma in Applied Mathematics and Computation, IST - University of Lisbon (2002) Research Interests: Adão’s work spans formal verification of cryptographic protocols, computational soundness, quantum security models, and security tool development. He has contributed to frameworks for analyzing security protocols and designing secure systems. Recent work includes firewall configuration tools (Mignis) and type-based analysis of cryptographic APIs. Affiliations & Activities: Organizer of the SQIG Information Security Seminar, PC member in multiple conferences (e.g., INForum, POST), and invited researcher at international institutions. His publications address topics like computational soundness, symbolic attackers, and Bayesian network classifiers.

• Signal Processing in Wireless Communications
• Multi-antenna systems (MIMO)
• Wireless Power Transfer
• +۱۴ مورد دیگر

Francisco A. Monteiro is an Associate Professor in the Department of Information Science and Technology at ISCTE – University Institute of Lisbon, and an Integrated Researcher at Instituto de Telecomunicações (IT), Lisbon, Portugal. He holds a PhD in Engineering from the University of Cambridge and prior degrees from Instituto Superior Técnico, University of Lisbon. His academic journey includes progressive roles at ISCTE-IUL, culminating in his promotion to Associate Professor in May 2024. Education: PhD in Engineering, University of Cambridge, UK (2012) MSc in Electrical and Computer Engineering, Instituto Superior Técnico, University of Lisbon (2003) Licenciatura in Electrical and Computer Engineering, Instituto Superior Técnico, University of Lisbon (1998) His research focuses on signal processing in wireless communications, particularly in MIMO systems, network coding, quantum communications, and advanced decoding techniques like GRAND. He has made significant contributions to quantum error correction, entanglement purification, and low-latency decoding for 5G/6G systems. His recent work bridges classical wireless theory with emerging quantum networking paradigms, as evidenced by publications in Quantum , IEEE Access , and IEEE Transactions . The trend in his recent publications (2023–2024) shows a strong shift toward quantum information processing—especially quantum error correction via noise-guessing decoding (QGRAND), entanglement routing, and purification—while maintaining a foundation in classical MIMO, full-duplex communications, and network coding. His work is highly interdisciplinary, combining information theory, signal processing, and quantum computing. Scientific Awards: Best Paper Award, ECWT 2007 Best Student Paper Award, ECWT 2004 Exemplary Reviewer Award (2014, 2015), IEEE Wireless Communications Letters Innovation Young Engineer Prize (3rd place), Ordem dos Engenheiros, 2002 College Senior Scholarship, Fitzwilliam College, Cambridge, 2007 Fellowship from Fundación Endesa & Fundación Carolina, 2019 Francisco Monteiro has advised several MSc students, including Francisco Rosário and João Sande Lemos, both winners of the Luís Vidigal Prize. He has co-supervised PhD-level research and served on multiple thesis committees. His research has been funded through competitive grants and collaborations with institutions in Canada, Finland, Spain, and the UK. He has served as General Chair of ISWCS 2018, Lead Guest Editor for EURASIP Journal, and organizer of the Quantum Internet Alliance Workshop. He is actively involved in research groups such as the Radio Systems Group at IT and has led projects on MIMO, wireless energy transfer, and quantum networking. His lab work emphasizes algorithmic innovation for practical implementations in next-generation wireless and quantum systems.

• High-Performance Computing
• Parallel Computing
• Heterogeneous Computing
• +۷ مورد دیگر

Alberto José Gonçalves Carvalho Proença serves as Full Professor in the Department of Informatics at the School of Engineering, University of Minho, and holds the position of Senior Researcher with Dr. habil at Centro ALGORITMI. His academic career spans over 45 years, beginning at the University of Porto in 1976 before transitioning to the University of Minho in 1977 where he has remained ever since. His educational foundation includes: Licentiate in Electrical Engineering from Coimbra, Portugal (1976) MSc in Digital Electronics from UMIST, Manchester, UK (1979) PhD from Manchester, UK (1982) Dr. habil (Habilitation) from the University of Minho (1998) Professor Proença's research spans from digital electronics to cutting-edge high-performance computing, with core expertise in computer architecture, parallel computing, and heterogeneous computing systems. His work bridges theoretical computer science with practical applications across diverse domains including particle physics (LHC data analysis), forensic science (DNA library systems), materials science (crystallographic imaging), and cultural heritage preservation. Current research focuses on optimizing computational efficiency across heterogeneous resources for scientific applications, addressing challenges in big data processing, parallel random number generation, and scheduling algorithms for distributed environments. Throughout his career, Professor Proença has successfully supervised numerous MSc dissertations and PhD theses while contributing significantly to institutional computing infrastructure. He chaired the University Computer Centre for 17 years (1985-2002), establishing Portugal's first national parallel computing service. For 11 years (2006-2017), he led the Advanced Computing theme in the University of Texas at Austin-Portugal cooperation program. Since 2005, he has directed the university's SeARCH heterogeneous computing cluster, supporting research across multiple scientific disciplines. His research group has developed several influential frameworks including JaSkel (Java Skeleton-Based Framework for Cluster and Grid Computing), HEP-Frame (for LHC data analysis), Im2Cr (crystallographic imaging tool), and CROSS-Fire (risk management decision support system). These platforms demonstrate his commitment to translating theoretical advances into practical tools that address real-world scientific and societal challenges.

Dinis O. Abranchesمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Computational Chemistry
• Thermodynamics
• +۵ مورد دیگر

Dinis O. Abranches serves as an Assistant Researcher in the Department of Chemistry at the University of Aveiro, Portugal, conducting research within the G6 - Virtual Materials and Artificial Intelligence group at CICECO (Aveiro Institute of Materials). His work bridges computational chemistry, artificial intelligence, and sustainable materials engineering with institutional recognition evidenced by CICECO's 37 positions in Stanford's 2024 World's Top 2% Scientists list. His academic credentials include: PhD in Chemical Engineering, University of Notre Dame (2024, GPA 4.0/4.0) MSc in Chemical Engineering, University of Notre Dame (2023, GPA 4.0/4.0) MSc in Chemical Engineering, University of Aveiro (2020, GPA 19/20) BSc in Chemical Engineering, University of Aveiro (2018, GPA 19/20) Dr. Abranches' research program pioneers the integration of machine learning with thermodynamic modeling to design sustainable solvents, focusing on deep eutectic solvents, ionic liquids, and hydrotropes. His work targets critical applications in battery recycling, pharmaceutical formulation, and biomass valorization through non-covalent interaction engineering and physicochemical property prediction. This interdisciplinary approach positions him at the convergence of AI-driven materials discovery and green chemistry innovation. Analysis of his 2024-2025 publications reveals dominant themes in AI-enhanced solvent characterization, with 80% of recent work focusing on deep eutectic systems. Key methodological trends include sigma profile-based digital chemical spaces, vibrational spectroscopy validation, and active learning for high-throughput experimentation. Application areas span energy storage (redox behavior studies), pharmaceuticals (antimalarial DES design), and circular economy (lignin dissolution), demonstrating consistent translation from computational prediction to experimental validation. He actively supervises PhD candidate Rafael Alexandre Farinha Serrano and contributes to the European Commission's REVITALISE project, which develops novel recycling methodologies for lithium-ion and sodium-ion batteries through: High-purity pre-treatment of low-value battery components Direct recycling approaches for cathode materials Green hydrometallurgical extraction processes As a core member of CICECO's G6 research group, he participates in cutting-edge initiatives at the AI-materials science interface, including ERC-funded programs on AI for materials science and contributions to Nobel-recognized protein design methodologies. The group's work aligns with 2024 Nobel Prize themes in Chemistry and Physics through computational solvent design and machine learning applications.

• Plasma Physics
• CO2 Conversion
• Non-equilibrium Plasmas
• +۵ مورد دیگر

Tiago Silva is an Invited Assistant Professor in the Physics Department of Instituto Superior Técnico at the University of Lisbon, Portugal, specializing in Plasma Physics, Lasers and Nuclear Fusion. He is also a Researcher at the Institute of Plasmas and Nuclear Fusion (IPFN) within the N-PRiME research group. University: University of Lisbon School: Instituto Superior Técnico Department: Physics Department Research Group: N-PRiME (N-Plasmas Reactive: Modelling and Engineering) Dr. Silva completed his MSc in Physics Engineering at Instituto Superior Técnico in 2011 and earned his PhD in Plasma Physics from the University of Mons, Belgium in 2015. His research focuses on plasma physics with particular emphasis on CO2 conversion technologies, non-equilibrium plasma kinetics, and applications for Martian resource utilization. He recently received a Fulbright Grant to conduct research at MIT on plasma technology for converting CO2 into oxygen in the Martian environment. His publication record shows a strong focus on CO2 plasma chemistry, vibrational kinetics, and plasma-catalyst interactions, with numerous high-impact publications in journals such as Plasma Sources Science and Technology, Journal of Physics D, and The Journal of Physical Chemistry A. His work demonstrates expertise in both experimental plasma characterization and computational plasma modeling. Fulbright Grant recipient for MIT research on Martian CO2 conversion Over 30 international journal publications Approximately 40 conference communications (12 invited talks) Google Scholar citations: 1,600 (h-index: 22 as of November 2024) Dr. Silva has supervised 1 PhD student and 7 MSc/Bachelor students at Instituto Superior Técnico. His research is supported by multiple grants from the European Space Agency and Fundação para a Ciência e a Tecnologia, including projects focused on CO2 conversion, plasma catalysis, and Martian resource utilization. He is actively involved in several research groups studying plasma applications for environmental technology and space exploration.

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.