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

Elizabeth Shottonمشاهده پروفایل

استاد

• Sustainable Architecture
• Maritime Heritage
• Timber Construction
• +۶ مورد دیگر

Professor Elizabeth Shotton is affiliated with University College Dublin (UCD) in the School of Architecture, Planning and Environmental Policy . Her academic career spans teaching, research, and leadership roles, including Vice Principal for Equality, Diversity & Inclusion (2017–2020) and Interim Head of Landscape Architecture (2023). Teaching: Focuses on Construction Technology , Design Studio , and Sustainable Building Practices . Research: Centers on Maritime Heritage , Timber Reuse , and Design for Disassembly , with projects like the Modular Adaptable SHelter (MASH) and Minor Harbours of Ireland . Grants: Leads projects funded by the Irish Research Council , ESRC/IRC Network Grant (Harbourview), and Fulbright TechImpact Scholar . Awards: Recipient of the University Award for Outstanding Contribution to Student Learning (2021). Academic Leadership: Chaired UCD's Athena Swan Bronze Award application (2019) and served on the NCAD Programme Board and Appeals Committee . Research Trends: Her work bridges historical maritime engineering with sustainable design , emphasizing community-driven documentation and innovative timber construction. Key collaborations include Cardiff University (Harbourview) and international partners in the InFutUReWood project. Her Design for Disassembly research has influenced military shelter design via the MASH SFI Challenge project. Scientific Awards: University Award for Outstanding Contribution to Student Learning (2021) Advising & Grants: Supervised PhD students (e.g., Cian O'Loinsigh ) and secured major grants such as Harbourview (2021–2022), InFutUReWood (2019–2022), and Visualising Vernacular Harbours (2017–2018). Labs & Teams: Collaborated with UCD's School of Civil Engineering and international institutions in projects like WoodWeldiT and Tectonic Culture .

Radu Mateescuمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Concurrent Systems Verification
• +۶ مورد دیگر

Radu Mateescu is a Research Director at Inria Grenoble - Rhône-Alpes where he heads the CONVECS research team. He has been with Inria since 1998, previously working as a researcher in the VASY project-team. His research focuses on formal methods, particularly model checking and verification of concurrent systems. Mateescu holds a PhD in Computer Science from INPG (Institut National Polytechnique de Grenoble) with a thesis on "Verification of the temporal properties of parallel programs". His educational background includes a graduate engineer diploma from the POLITEHNICA University of Bucharest in Automatic Control and Computers. He has been instrumental in developing several formal verification tools including XTL, CAESAR_SOLVE, EVALUATOR, and BISIMULATOR. His research interests span formal specification and verification of temporal properties of concurrent systems, temporal logics extended with data-handling primitives, on-the-fly model checking, equivalence checking, diagnostic generation, partial order reduction, and massively parallel verification. He served as chairman of the FMICS (Formal Methods for Industrial Critical Systems) Working Group of ERCIM from 2011 to 2014. Mateescu has published extensively in formal methods, with recent work focusing on applications in autonomous vehicles, IoT systems, and hardware verification. His publications show a consistent trend toward applying formal verification techniques to increasingly complex real-world systems, particularly in safety-critical domains. Test-of-Time Tool Award at ETAPS'2023 Inria - Académie des Sciences - Dassault Systèmes Innovation Prize Information Technology Award from Fondation Rhône-Alpes Futur Mateescu has taught courses at ENSIMAG (Grenoble), ESIREM (Dijon), and the University of Savoie. He has contributed to major research projects involving industrial applications of formal methods, particularly through the CADP toolbox which has been used to verify numerous critical systems including the IEEE-1394 FireWire protocol, Bull's cluster file system, and autonomous vehicle systems. His work bridges theoretical formal methods with practical industrial applications.

Walid Tahaمشاهده پروفایل

استاد

• Programming Languages
• Cyber-Physical Systems
• Domain-Specific Languages
• +۴ مورد دیگر

Walid Taha is a Professor of Computer Science at Halmstad University with a part-time research professor appointment at University of Houston. He serves as founding director of the Halmstad Colloquium and has held leadership roles in numerous academic conferences including founding the ACM Conference on Generative Programming and Component Engineering (GPCE) and the IFIP Working Group on Program Generation (WG 2.11). His research focuses on the design, semantics, and implementation of programming and modeling languages, with particular emphasis on cyber-physical systems. Taha is credited with developing the concept of multi-stage programming (staging) and has designed several influential systems including MetaOCaml, ConCoqtion, Java Mint, the Verilog Preprocessor, RT-FRP, and E-FRP. His work spans programming languages innovations such as statically typed macros, tag elimination, tagless staged interpreters, and event-driven functional reactive programming. Taha's publication record shows consistent contributions to cyber-physical systems modeling, with publications spanning from foundational programming language theory (Environment Classifiers, POPL'03) to practical applications in cyber-physical systems education and verification. His recent work focuses on executable models and simulation challenges in complex systems. His notable honors include an NSF CAREER award for developing Java Mint. He has served on program committees for numerous conferences including POPL, SPLASH, ICFP, and PEPM. As a principal investigator, Taha has secured research funding from the National Science Foundation (NSF), Semiconductor Research Consortium (SRC), and Texas Advanced Technology Program (ATP). His current work centers on the development of the Acumen modeling language for cyber-physical systems.

Grégoire Montavonمشاهده پروفایل

استاد

• Explainable AI
• Machine Learning
• Medical Diagnosis
• +۲ مورد دیگر

Grégoire Montavon is a Professor at Charité – Universitätsmedizin Berlin and Research Group Lead at the Berlin Institute for the Foundations of Learning and Data (BIFOLD). His appointment commenced on April 1, 2025, as part of BIFOLD's institutional partnership with Charité. He holds a Master's in Communication Systems from École Polytechnique Fédérale de Lausanne (2009) and a Ph.D. in Machine Learning from Technische Universität Berlin (2013). Master's: Communication Systems, EPFL (2009) Ph.D.: Machine Learning, TU Berlin (2013) Montavon pioneers Explainable AI (XAI) for medical applications, developing methods like Layer-Wise Relevance Propagation (LRP) to verify deep learning models in diagnostics. His work bridges machine learning theory with clinical practice, focusing on model transparency for tumor classification, bias mitigation, and regression strategy analysis. Recent research emphasizes counterfactual explainers and spectral analysis for explanation quality assessment. His 2025 publications reveal a cohesive trajectory: advancing explainability frameworks for distance-based classifiers, diffusion models in oncology, and visual counterfactual systems. Key themes include robustness against dataset shifts, metadata integration for fairness, and formal desiderata for explainer design—consistently targeting real-world medical AI deployment. Award highlights: 2013 Dimitris N. Chorafas Award 2020 Pattern Recognition Best Paper Award 2022 Digital Signal Processing Best Paper Award 2025 XAI Conference Best Paper Award (for XpertAI) As BIFOLD Research Group Lead for Explainable Machine Learning in Medicine, Montavon directs projects funded through Charité-BIFOLD partnerships, including the agility project on deep generative model transparency. His team collaborates with Klaus-Robert Müller and others on NIH/DFG grants for AI-driven cancer treatment personalization and Clever-Hans strategy pruning. He leads the BIFOLD research unit Explainable Machine Learning in Medicine, focusing on clinical AI integration. Current initiatives include ICLR 2025 contributions on foundation model reliability and MedI diffusion frameworks for tumor classification bias reduction.

Xavier Dolquesمشاهده پروفایل

استادیار

• Formal Concept Analysis
• Relational Concept Analysis
• Data Mining
• +۴ مورد دیگر

Xavier Dolques is currently a contractual assistant professor at the University of Strasbourg, working on the creation of the AISD (Interdisciplinary Approach to Data Science) teaching course. His academic career spans multiple research institutions including ENGEES, ICube laboratory, INRIA, and LIRMM. His research focuses on Formal Concept Analysis and Relational Concept Analysis applied to software engineering problems, particularly model transformations. He has made significant contributions to the field through his work on the RCAExplore tool, which implements relational concept analysis for data exploration. Analysis of his publication record from 2008-2013 reveals a strong thematic focus on applying concept lattices to software engineering challenges, especially in model transformation generation from examples. His work bridges theoretical formal methods with practical software engineering applications, showing consistent development of techniques for analyzing and generating model transformations using relational concept analysis. His research demonstrates interdisciplinary connections between computer science theory, data mining, and practical software engineering methodologies, with applications ranging from UML modeling to bank receipt analysis and river status assessment.

• Innovation Systems
• Biotechnology
• University-Industry Links
• +۵ مورد دیگر

Ramazan Uctu serves as Associate Professor in the Department of Business Administration at the American University of Iraq, Sulaimani (AUIS), specializing in innovation systems, biotechnology commercialization, and entrepreneurial ecosystems with regional focus on South Africa and the Middle East. Education Ph.D. in Economics, Stellenbosch University, South Africa M.Comm., Selcuk University Research Interests Dr. Uctu's work centers on innovation ecosystem dynamics in developing economies, examining university-industry linkages, technology transfer mechanisms, and biotechnology commercialization pathways. His research addresses critical gaps in regional economic development through industrial cluster formation and entrepreneurial policy design, with empirical focus on South Africa's biotech sector and Middle Eastern entrepreneurial intentions. Publications Analysis of his 15 most recent publications (2020-2025) reveals three dominant thematic clusters: (1) innovation ecosystem frameworks applied to biotechnology in South Africa, (2) entrepreneurial intention drivers in Middle Eastern university contexts, and (3) pandemic-era biotech financing challenges . His methodological approach combines policy analysis, econometric modeling, and case studies across 12 countries. Scientific Awards Best Ph.D. Student Award in South Africa (2013) Academic Contributions Dr. Uctu actively shapes scholarly discourse as external examiner for UKH Business School theses and reviewer for journals including Industry and Higher Education and African Journal of Science, Technology, Innovation and Development . His service bridges theoretical research with practical policy implementation in emerging economies. Research Infrastructure No dedicated laboratory or formal research team affiliations were documented in the source materials, though his collaborative publications indicate extensive international research networks.

• Hybrid Architecture
• Machine Intelligence
• Computational Analysis
• +۹ مورد دیگر

Dr. Tasos Varoudis is an Associate Professor in Architecture and Machine Intelligence at The Bartlett School of Architecture, University College London. He specializes in hybrid architecture, computational analysis of spatial systems, and machine intelligence applications in urban design. As lead developer of the 'depthmapX' spatial network analysis software, he has been a key figure in the Space Syntax Laboratory since 2011. Current research cluster leader for MArch Urban Design RC14 Member of UCL's Urban Dynamics Laboratory (funded by £4m EPSRC grant) His research on spatial dynamics combines traditional architectural design with computational methods like agent-based modeling, machine learning, and visibility graph analysis. Recent work includes Decoding Tehran (2024) examining urban configuration, and Reversing Urban Food Deserts (2024) proposing adaptive networks for urban resilience. Teaching positions include MSc Space Syntax: Architecture and City, and MSc Architectural Computation programs. His work addresses global challenges through SDG-aligned research in: Sustainable Cities (SDG 11) Climate Action (SDG 13) Infrastructure Innovation (SDG 9) Ecosystem Preservation (SDG 15)

Michael Walfishمشاهده پروفایل

استاد

• Computer Systems
• Network Security
• Distributed Systems
• +۲ مورد دیگر

Michael Walfish is a Professor at the Courant Institute of Mathematical Sciences within New York University . His work focuses on computer systems, network security, and verifiable computation with applications in distributed systems and cybersecurity. Current faculty member (not retired or former staff) Teaching experience includes advanced systems courses like Operating Systems and Honors Operating Systems at NYU Research interests span multiple dimensions: Network security and defense mechanisms Verifiable computation systems Distributed system design Zero-knowledge proofs applications Hardware and software security Recent publications demonstrate strong focus on: Zero-knowledge systems (Zombie, Verifiable ASICs) Web and email security (Pretzel, Yesquel) Probabilistic verification (Less is more) Cryptographic protocols in systems (Cobra, DQE) Scientific recognition: Best Paper Award at SOSP 2017 Distinguished Student Paper Award at Security 2016

• Mechanical Engineering
• Sustainable Entrepreneurship
• Engineering Education
• +۴ مورد دیگر

Meri Kuikka is a Researcher at the Department of Energy and Mechanical Engineering, Aalto University , Finland. She contributes to engineering education research and multidisciplinary collaboration through her work at Aalto University's Design Factory. Focus on sustainable entrepreneurship education Expertise in transferable skill development Active in technology-integrated pedagogy Contributes to IT governance and social media adoption research Her recent publications address curriculum development for entrepreneurship, collaborative innovation processes, and digital transformation in organizational contexts. While no formal awards are listed, her work demonstrates sustained engagement with real-world challenges in both academic and industry settings.

Rabéa Ameur-Boulifaمشاهده پروفایل

دانشیار

• Integrated and Embedded Systems
• Formal Methods
• System Design and Verification
• +۳ مورد دیگر

Rabéa Ameur-Boulifa is an Associate Professor at Télécom Paris, affiliated with the Communications and Electronics (Comelec) Department. She is a member of the LabSoc research team within the Information Processing and Communication Laboratory (LTCI). Her work focuses on integrated and embedded systems, emphasizing design, modeling, verification, and security. LabSoc (System on Chip research team) LTCI (Information Processing and Communication Laboratory) Her research spans formal methods for system verification, security guidelines specification, and compositional analysis of distributed systems. Publications highlight applications in automotive software safety, asynchronous component modeling, and detection of vulnerabilities like integer overflow in embedded systems. The majority of her recent work (2022–2025) centers on open automata refinements, formal requirement validation, and compositional verification techniques. Keywords include formal methods, embedded systems, security guidelines, and distributed component modeling.

Sarbojit Dasمشاهده پروفایل

پژوهشگر

• Computer Science
• Software Verification
• Concurrency
• +۳ مورد دیگر

Sarbojit Das is a Researcher at the Department of Information Technology; Division of Computer Systems , Uppsala University . His work focuses on improving verification techniques for concurrent systems, particularly in stateless model checking and dynamic partial order reduction. Email: sarbojit.das@it.uu.se Location: Uppsala, Sweden Research Interests: Prioritizing rigorous analysis of concurrent and multi-threaded systems, Sarbojit Das investigates methods to reduce computational complexity in software verification. His work bridges theoretical computer science with practical applications in formal methods and algorithm optimization. Publication Trends: Recent publications emphasize advancements in stateless model checking, dynamic partial order reduction, and event-driven architectures. Topics include thread scheduling, memory optimization, and scalable verification for distributed systems.

• Software Engineering
• Model-Based Development
• Embedded Systems
• +۴ مورد دیگر

Lucian Patcas serves as an Adjunct Assistant Professor in the Department of Computing and Software within McMaster University's Faculty of Engineering. His academic profile centers on bridging theoretical models with practical software engineering solutions for embedded and safety-critical systems development. His research encompasses Software Engineering , Model-Based Development , and Embedded Systems , with specialized expertise in requirements implementation, real-time analysis, and domain-specific tooling. Key contributions include advancing the Four-Variable Model for safety-critical systems and developing methodologies for Simulink-based embedded design documentation. His work integrates formal methods with practical engineering tools, targeting automotive and safety-critical application domains. Recent publications (2013-2018) demonstrate sustained focus on model-driven approaches for embedded software, requirements traceability, and web service composition. The publication trajectory reveals evolution from foundational web services research toward specialized embedded systems engineering, with strong emphasis on verification and validation techniques. Patcas maintains active collaborations with McMaster researchers including Mark Lawford (6 co-authored publications), Vera Pantelic, and Alan Wassyng, focusing on formal verification methods for embedded systems. While no active grants appear in VIVO records, his research demonstrates tangible impact through patent references and academic readership (29 Mendeley readers).

Jackie Chi Kit Cheungمشاهده پروفایل

دانشیار

• Natural Language Processing
• Machine Learning
• Artificial Intelligence
• +۳ مورد دیگر

Jackie Chi Kit Cheung is an Associate Professor at the School of Computer Science, McGill University , and holds the Canada CIFAR AI Chair at Mila - Quebec AI Institute. His research bridges Natural Language Processing (NLP) with insights from linguistics and psychology, focusing on system evaluation, automatic summarization , and computational semantics . Key Affiliations : Mila - Quebec AI Institute, Centre for Research on Brain, Language and Music, Centre for Intelligent Machines His lab develops state-of-the-art NLP systems while proposing challenge datasets and evaluation measures. Research emphasizes broader applications in education , health , and language revitalization . Recent work includes the ACL 2024 COSMIC framework for summarization evaluation (SAC Award). He teaches advanced courses like Formal and Neural Models of Pragmatics (Winter 2024) and Evaluation of NLP Systems (Winter 2025). His group includes 10 PhD students, 8 Master's students, and active collaborations with institutions like Mila and SRI International. Scientific Recognition : Canada CIFAR AI Chair SAC Award for ACL 2024 paper Current projects explore representational harms in LLMs , long-context modeling , and mechanistic hallucination mitigation . Students and co-supervised researchers work on fairness, robustness, and commonsense reasoning.

• Multi-Level Modeling
• Cybersecurity Analysis
• Enterprise Modeling
• +۶ مورد دیگر

Manfred A. Jeusfeld is a Professor at the School of Informatics, University of Skövde, Sweden. He specializes in multi-level modeling, enterprise architecture, and cybersecurity analysis for critical infrastructure, particularly in energy systems. His research spans conceptual modeling, data warehouses, and product lifecycle management. Current Projects: Leading "Virtual Factories of the Future" (VF-KDO), a long-term research initiative (2018–2026) focused on knowledge-driven optimization for Swedish industry. Completed Projects: Contributed to "ELVIRA" (2017–2020) for infrastructure resilience and "OMI" (2015–2017) for enterprise modeling education. Research Trends: Recent publications emphasize cybersecurity in critical infrastructure, multi-level modeling formalizations, and virtual factory artifact management. Collaborations with researchers like Thomas Kühne and Yuning Jiang highlight his focus on model-driven engineering and smart grid security. Grants & Collaborations: Served as a course coordinator and project leader in EU-funded initiatives (e.g., ELVIRA). Active in international conferences and workshops (MODELS-C, ER Conference).

Csaba Hegedűsمشاهده پروفایل

دانشیار

• Operations Management
• Risk Management
• Quality Control
• +۳ مورد دیگر

Dr. Csaba Hegedűs is an active Associate Professor in the Department of Supply Chain Management at the University of Pannonia, Hungary, with office in Building "A", Room 121. He teaches core modules including Business Process Modeling and Re-engineering, Reliability and Risk Management, Quantitative Methods, and Production Quality Control, reflecting his operational research focus. Contact details are email: hegedus.csaba@gtk.uni-pannon.hu; phone: +36 88 624 – 106. Educational background: MSc in Engineering Management (2008) PhD (year unspecified) His research centers on Operations Management with interdisciplinary applications in industrial risk and uncertainty. Key areas include: Risk-based quality control systems Measurement uncertainty in conformity assessment Matrix-driven project planning frameworks Statistical process control under risk conditions Survival analysis of IT project management Decision support for industrial risk mitigation Publication trends (2013-2023) reveal sustained innovation in risk-modified control charts and matrix-based project libraries, bridging Operations Research, Statistics, and Industrial Engineering to address real-world uncertainty in quality decisions. Scientific awards: No documented awards in provided materials As Associate Professor, he likely supervises graduate research but no students are listed. His project experiences and GMT consultation role suggest applied industry collaborations, though specific grants or advising details remain unreported. Consultation hours require email pre-negotiation (Mondays 15:00-16:00). No dedicated laboratories or formal research teams are referenced in the available information.