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

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

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

استادیار

• Formal Methods
• Concurrency
• Coordination Models
• +۵ مورد دیگر

José Proença is an Assistant Professor at the Faculty of Sciences of the University of Porto (FCUP) and a Researcher at CISTER Research Centre, collaborating with INESC TEC. He specializes in formal methods for component-based systems, concurrency, and cyber-physical systems. His research focuses on coordination models, embedded systems, and software product lines, with contributions to frameworks like Reo and LooCI. Education: PhD in Concurrent & Distributed Computing (Leiden University, 2011), BSc+MSc in Mathematics & Computer Science (University of Minho, 2005) Research interests include formal verification, runtime verification for real-time systems, and hybrid systems programming. He coordinates projects like Ibex (FCT-funded) and has been involved in ECSEL projects like VALU3S. Supervised numerous MSc and PhD students, including work on CPS monitors, hybrid simulations, and variability analysis. Teaching includes Concurrent Programming, Algorithms, and Software Verification at the MSc level. Active in program committees for conferences like COORDINATION and SAFECOMP, and steering committee roles. Tools developed include Lince and RebeCaos for system simulation and formal analysis.

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

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

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

Renata Wassermannمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Formal Methods
• Belief Change
• +۴ مورد دیگر

Renata Wassermann is an Associate Professor at the Computer Science Department of the Institute of Mathematics and Statistics (IME) at the University of São Paulo. She is a member of the research group LIAMF (Logic, Artificial Intelligence, and Formal Methods) and a researcher at the Center for Artificial Intelligence (C4AI). She also serves on the director board of Lawgorithm, a project focused on legal technology. Her primary research interests lie in formal methods, belief change, ontology engineering, and knowledge representation, with a focus on non-classical logics and their applications in artificial intelligence. Her work integrates theoretical advancements in logic with practical challenges in areas like ontology repair, belief revision, and semantic integration. Notably, she has contributed to the development of contraction operators for belief systems and methodologies for repairing ontologies. Her research also addresses the computational aspects of logical systems, including temporal logic and model-based reasoning. Recent publications highlight her exploration of hyperintensional models, optimal repairs in belief systems, and semantic integration in public health databases. Wassermann's interdisciplinary approach bridges theoretical computer science with real-world applications, such as environmental ontology extraction and legal informatics.

• Formal Methods
• Software Engineering
• Formal Verification
• +۵ مورد دیگر

Alcino Cunha is an Associate Professor with habilitation at the Department of Informatics of the University of Minho. He is a member and co-coordinator of the High-Assurance Software Laboratory, part of the University of Minho and INESC TEC. His research focuses on making formal software design accessible, particularly through advancements in the Alloy framework, including Alloy4Fun and Alloy Version 6. He has contributed to tools like HAROS for robotic software verification and Echo for model repair. Teaching roles include Formal Methods in Software Engineering (MSc), Formal Verification (MSc), and Algorithmic Problem Solving Lab (BSc). He has led projects such as SAFER (robotic safety verification), TRUST (Alloy-based design), and DigiLightRail (railway network verification). His service includes PC roles at SEFM 2025, ABZ 2025, and QRARSAC conferences. Research highlights include formal specification education, temporal relational modeling (Pardinus), and verification of distributed systems. Collaborations with ONERA and INESC TEC have produced influential frameworks like Alloy4Fun and Electrum. His work bridges academia and industry, notably through consultancy with EFACEC and contributions to national CRIS ecosystems (PTCRISync).

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

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Neuro-symbolic Artificial Intelligence
• +۳ مورد دیگر

João Leite is a Professor of Computer Science at the Department of Computer Science, NOVA School of Science and Technology, NOVA University Lisbon. His career spans roles as Head of Department, Vice President of APPIA, Principal Investigator of the Intelligent Systems Group at NOVA LINCS, and Senior Visiting Fellow at CSE, UNSW, Sydney, Australia. He is an International Partner of Potassco Solutions and a member of IFIP TC-12 Artificial Intelligence. João's research focuses on Artificial Intelligence , Knowledge Representation and Reasoning , Neuro-symbolic AI , Answer-Set Programming , Argumentation Theory , and Multi-Agent Systems . 2002 : PhD in Computer Science, NOVA University Lisbon 1997 : MSc in Computer Science, NOVA University Lisbon 1994 : BSc in Electronic Engineering, University of Coimbra João's articles demonstrate a consistent focus on Answer-Set Programming (ASP), with applications in Knowledge Forgetting , Modular Reasoning , and Hybrid Knowledge Bases . His work bridges ASP with Ontologies , Multi-Context Systems , and Neural Networks , emphasizing Explainable AI and Dynamic Knowledge Evolution . Recent papers explore Provenance in Heterogeneous Systems , Efficient Reasoning with Intensional Concepts , and Stream Reasoning using neural architectures. Scientific Awards : Senior Visiting Fellow at CSE, UNSW, Sydney Award-winning collaborative project: The Politics of constraints: Discursive strategies in a three-level game João has led significant research projects such as FORGET (2018-2022) on information forgetting and RIVER (2018-2022) on knowledge-stream integration. He contributed to NEURASPACE (2022-2025) and Knowledge-Aware Cyber-Physical Systems (2015-2019). His software developments include NoHR (Hybrid Reasoning), EVOLP (Evolving Logic Programs), and SWARG (Social Abstract Argumentation Tool).

Luis Pedrosaمشاهده پروفایل

استادیار

• Systems and Networking
• Program Analysis
• Software and Network Verification
• +۵ مورد دیگر

Luis Pedrosa is an Assistant Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico / University of Lisbon and a Researcher at INESC-ID . He leads Systems and Networking research in the Distributed Parallel & Secure Systems Group . Education: PhD in Computer Science (2016, University of Southern California), advised by Professor Ramesh Govindan in the Networked Systems Laboratory Postdoctoral: Swiss Federal Institute of Technology in Lausanne (EPFL) His research combines techniques from programming languages and formal methods to create models that: (1) identify software bugs, (2) debug performance issues, and (3) enable formal verification of correctness/performance guarantees. He also develops adversarial workload generation tools for network defense. Key publication trends span 2012-2024, focusing on: Software Network Functions (5+ papers) Wireless Sensor Networks (4+ papers) Formal Verification (3+ papers) Cloud/Distributed Systems (3+ papers) Network Security (3+ papers) Scientific Recognition: EuroSys'25 Test-of-Time award for co-authored Borg paper He teaches 1st Cycle Integrative Projects in Telecommunications/Computer Engineering and Computer Networks courses. The research group maintains open-source projects like CASTAN for adversarial workload generation.

José Fragoso Santosمشاهده پروفایل

استادیار

• JavaScript Verification
• Formal Methods
• Symbolic Execution
• +۳ مورد دیگر

Welcome to my home page. I am an Assistant Professor at the Department of Computer Science and Engineering, Instituto Superior Técnico, University of Lisbon, and a researcher at INESC-ID's SAT group. My work focuses on embedding formal methods into software development, particularly for JavaScript programs. PhD in Computer Science, University of Nice Sophia Antipolis (2014) MSc in Information Systems and Computer Engineering, Instituto Superior Técnico (2008) My research spans JavaScript verification, symbolic execution, and separation logic. I developed JaVerT, the first separation-logic-based tool for JavaScript analysis, used by Amazon to verify the AWS Encryption SDK and recognized with a Facebook Research Award. Recent publications highlight trends in symbolic execution, JavaScript security, and WebAssembly analysis. Key projects include Gillian (multi-language symbolic execution platform), Rexstepper (regular expression debugger), and Wasmati (WebAssembly vulnerability scanner). Facebook Research Award Supervised students include PhD researcher Gabriela Cunha Sampaio and MSc students Pedro Lopes, Carolina Costa, and others. Current teaching subjects: Analysis and Synthesis of Algorithms, Object-Oriented Programming, Software Security. Affiliated with the SAT group at INESC-ID and the Verified Trustworthy Software Specification group at Imperial College London.

Jan Gunnar Cederquistمشاهده پروفایل

استادیار

• Formal Methods
• Security Protocols
• Type Theory
• +۷ مورد دیگر

Jan Gunnar Cederquist is an Assistant Professor at the Department of Computer Engineering, Instituto Superior Técnico, Technical University of Lisbon, since 2006. He is also a member of the SQIG (Security and Quantum Information Group) at IT (Instituto de Telecomunicações). His research focuses on mathematical modeling, formal specification, and verification, particularly in security protocols and language-based security. His work spans software verification, type theory, and cryptographic protocol analysis. He has contributed to fields like non-repudiation protocols, RBAC, audit logic, and distributed security. He has taught courses ranging from Software Specification to Language-Based Security at the PhD and MSc levels. His students include MSc candidates Fernando Mário Machado Marques and Carlos Magno Gaspar Vasconcelos. Previously, he held postdoctoral positions at the University of Twente, CWI, INRIA, and Imperial College London. He has chaired tracks at ACM SAC conferences (2010–2011) and served on program committees for security and formal methods events. His industry experience includes roles at Prover Technology and SEMCON.

• Programming Languages
• Software Engineering
• Artificial Intelligence
• +۷ مورد دیگر

Pedro Manuel Rangel Santos Henriques is a Full Professor at the College of Engineering of Universidade do Minho , where he has been a teacher/researcher since 1981. He holds a PhD in Computer Science (1993) and a Habilitation in Informatics (2012). Research Focus : Programming Languages, Software Analysis, Augmented Reality for Education Teaching : Programming Languages, Compilers, Software Transformation His recent 15 publications (2022-2025) show expertise in: Augmented/Virtual Reality for Special Education Computational Thinking Development Biomedical Sensor Integration Program Analysis & Code Quality He has supervised 20 PhD students (17 completed) and over 95 MSc theses, while leading major international collaborations with institutions in Serbia, Argentina, Spain, and Czech Republic.

• Sustainability Reporting
• Integrated Reporting
• Audit and Assurance
• +۴ مورد دیگر

Maria Albertina Almeida Barreiro Rodrigues is an Adjunct Professor at European University (since 2012) and an Invited Adjunct Professor at Lisbon Accounting and Business School, Polytechnic Institute of Lisbon (since 2017). She coordinates postgraduate programs and serves as Vice President of the Pedagogic Council. Her international appointments include visiting professorships at ISM International School of Management (Germany) and ISCAM (Mozambique). With over 30 years of professional experience, she has chaired Audit Committees for public sector entities and worked as a financial manager and statutory auditor. Education includes: PhD in Management (European University, 2021) Specialist in Financial Audit (Polytechnic Institute of Lisbon, 2019) MBA in Management (Autonomous University of Lisbon, 1999) Bachelor's in Accounting and Administration (Polytechnic Institute of Lisbon, 1992) Her research focuses on: Sustainability Reporting : ESG disclosures, materiality assessments, and integrated reporting frameworks Audit Innovation : Assurance methodologies for non-financial information and auditor rotation impacts Corporate Governance : Ethical compliance, stakeholder engagement, and regulatory evolution She leads projects like ISCAJUDA (social responsibility initiative) and collaborates with CETRAD Research Center. Recent publications (2021-2025) demonstrate a strong emphasis on ESG integration, regulatory impacts on SMEs, and pedagogical innovations in accounting education. Over 80% of articles focus on sustainability assurance and corporate transparency in European and emerging markets. Scientific awards and distinctions: Ambassador of SDG 12 (United Nations Global Compact, 2024) Research Awards from European University (2022, 2023) Diploma of Merit from Polytechnic Institute of Lisbon (2023) Advises 8+ Master's students on topics including ESG disclosures, auditing, and sustainability risk management. Leads curriculum development for online postgraduate programs in auditing and coordinates the Management Degree at European University. Active in international research networks and EU policy discussions on non-financial reporting standards.

Myoungsoo Jungمشاهده پروفایل

استاد

• Computer Architecture
• Operating Systems
• Solid State Drives
• +۶ مورد دیگر

Myoungsoo Jung is the KAIST Endowed Chair Professor and Full Professor at Korea Advanced Institute of Science and Technology, holding primary appointment in the School of Electrical Engineering with additional affiliations in the School of Semiconductor System Engineering, Graduate School of AI Semiconductor, Graduate School of System Architect, and Graduate School of AI. His research focuses on cutting-edge computer architecture and operating systems with specialization in memory and storage systems. Professor Jung's research interests span computer architecture, operating systems, flash memory, solid-state drives, non-volatile memory, file systems, parallel processing, and heterogeneous computing. He has pioneered work in CXL-based memory expansion, computational SSDs, and memory disaggregation technologies that are transforming modern data centers and AI infrastructure. His recent publications demonstrate significant advancements in CXL-driven architectures, computational storage, and memory systems. The research trends show increasing integration of storage and memory technologies with AI workloads, particularly in large-scale graph processing, federated learning, and billion-scale data management. His team's work frequently appears in top-tier venues including ISCA, HPCA, SOSP, and USENIX ATC. Hall of Fame, IEEE/ACM ISCA (2024) Digital Innovation Award from Minister of Science and ICT (2024) CES Innovation Award Winner, CXL-Enabled AI Accelerator (2025) Korea Innovative Startup Award, Ministry of Science and ICT (2025) Samsung Best Paper Award Winner (Grand Prize) (2022) Professor Jung has successfully advised numerous PhD students including Miryeong Kwon (recipient of KAIST Outstanding PhD Dissertation Award) and Donghyun Gouk. His CAMEL research lab has secured over $13M in funding from sources including DOE, NSF, and Korean government agencies. The lab maintains strong industry partnerships with Samsung, SK Hynix, and Panmnesia, focusing on translating research into practical systems. Current projects include CXL-based memory expansion, computational SSDs for AI acceleration, and next-generation storage architectures for hyperscale data centers.