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

Camelia D. Brumarمشاهده پروفایل

پژوهشگر

• Visual Analytics
• Data Science
• Human-Computer Interaction
• +۹ مورد دیگر

Camelia D. Brumar is a PhD Candidate in Computer Science at Tufts University and a Visiting PhD Student at Harvard University's Visual Computing Group. She co-founded Boston Vis , a collaborative network for visualization researchers in the Greater Boston Area. Education: B.S. in Theoretical Mathematics from University of Maryland, College Park Research Focus: Systematic visualization design for decision-making processes, bridging gaps between problem spaces and design spaces through qualitative methods Her work intersects Visual Analytics , Human-Computer Interaction , and Machine Learning , with recent publications on decision-making taxonomies, dimensionality reduction explanations, and knowledge graph visualization. Key trends include: Interactive predicate logic for pattern explanation Domain expert challenges in automated data science Anomaly reasoning frameworks Medical AI applications for embryo grading Scientific Achievements: Organizer of Boston Vis (2024) Tutorial presenter on LLMs for research paper interaction (2024) IEEE Visualization 2024 Doctoral Colloquium participant Contributor to Dagstuhl Seminar on provenance in automated data science (2023) Industry experience includes roles at Tableau Research , Alife Health , and Bose Corporation , with collaborations spanning MIT Lincoln Laboratory, National Renewable Energy Laboratory, and Worcester Polytechnic Institute.

• Marine Engineering
• Renewable Energy Systems
• Risk Assessment
• +۵ مورد دیگر

Veysi Başhan serves as an Assistant Professor in the Department of Marine Engineering within the Faculty of Naval Architecture and Ocean Engineering at Istanbul Technical University (ITU). His academic profile demonstrates active engagement in maritime engineering research with current publications extending through 2025 and an active research project on hybrid renewable energy systems analysis. Professor Başhan's research spans critical maritime engineering domains with particular emphasis on renewable energy integration, risk assessment methodologies, and marine propulsion systems. His work innovatively combines fuzzy logic, Bayesian networks, and multi-criteria decision-making approaches to address complex challenges in maritime operations, energy systems, and safety protocols. This interdisciplinary approach bridges traditional marine engineering with modern computational techniques for risk analysis and system optimization. His publication portfolio reveals a clear trajectory toward sustainable maritime technologies, with increasing focus on wind-solar hybrid systems, alternative fuels like methanol, and autonomous navigation reliability. The research demonstrates consistent application of fuzzy-based analytical frameworks across diverse maritime contexts from engine performance to ballast water treatment systems. Current research activities include the 2024 project "Hibrit Yenilenebilir Enerji Sistemlerinde Arızaların Analizi ve Çözüm Önerileri" (Analysis of Failures in Hybrid Renewable Energy Systems and Solution Proposals), indicating ongoing commitment to solving practical engineering challenges in renewable energy integration for maritime applications. His scholarly impact is evidenced by 32 research outputs, 366 Scopus citations, and an h-index of 9.

Maria LUSIANIمشاهده پروفایل

استاد مدعو

• Cultural Management
• Strategic Planning
• Accounting History
• +۳ مورد دیگر

Maria LUSIANI is an Adjunct Professor at the Department of Management, Ca' Foscari University of Venice. Her research focuses on cultural management, strategic planning, accounting history, and nonprofit organizations. She teaches courses such as *Cultural Policies*, *Strategy Planning and Control Systems*, and *Management of Artistic and Cultural Organizations*. Her work combines historical analysis with contemporary organizational challenges, particularly in cultural heritage and nonprofit sectors. Recent publications explore topics like Venetian charitable accounting practices, hybrid institutional logics in historical social entities, and regional cultural observatories. She contributes to interdisciplinary projects through the Interconnected Nord-Est Innovation Ecosystem, emphasizing practical applications of research in cultural governance and policy. Lusiani's teaching spans undergraduate and graduate programs, including courses at the Collegio Internazionale and specialized master's tracks in cultural economics. Her office hours are held weekly via reservation, reflecting her commitment to academic engagement.

• Strategic Management
• Institutional Processes
• Globalization
• +۱۱ مورد دیگر

Frank Wijen is an Associate Professor in the Department of Strategic Management and Entrepreneurship at Rotterdam School of Management, Erasmus University Rotterdam. He earned his PhD in Management from Tilburg University, where he previously served as a Senior Researcher. His academic work focuses on institutional dynamics, globalization, sustainability, and organizational behavior, with a particular interest in Chinese management and environmental governance. His research interests include institutional processes, power and influence, organizational learning, corporate and national environmental management, and the interplay between globalization and sustainability. These themes are reflected in his publications across leading journals such as Academy of Management Review , Strategic Management Journal , Journal of Management , and Regulation & Governance . His recent work explores the effectiveness of sustainability standards, ownership identity in Chinese business groups, and the societal impact of foreign direct investment. The trajectory of his research output shows a strong focus on institutional theory, sustainability governance, and strategic responses to environmental and societal challenges. He has contributed significantly to understanding how organizations navigate complex regulatory environments and how national contexts—especially China—influence corporate practices. His editorial roles in top journals such as Organization Studies , Academy of Management Review , and Strategic Organization reflect his standing in the academic community. Editorial Board, Organization Studies (2008–Present) Editorial Board, Strategic Organization (2016–Present) Editorial Board, Academy of Management Review (2009–2017) Frank Wijen has also been involved in academic public engagement, notably co-developing an online course titled Driving Business Towards The SDGs , which reflects his commitment to translating research into practical impact. He has supervised four academic works, indicating active mentorship. There is no mention of awards or grants in the provided text, but his extensive publication record and editorial contributions underscore his scholarly influence. He is affiliated with research networks focusing on Chinese social sciences, environmental policy, corporate social responsibility, and sustainable development, as evidenced by his collaborative work and citation patterns.

• Philosophy of Language
• Philosophy of Mind
• Ontology
• +۶ مورد دیگر

Dr. Kamil Waldemar Lemanek is a Polish-American academic affiliated with Maria Curie-Skłodowska University as an Assistant Professor in the Department of Logic and Cognitive Science under the Faculty of Philosophy and Sociology. He also holds an adjunct position at the University of Warsaw Institute of Philosophy. His scholarly focus bridges philosophy of language , philosophy of mind , and ontology , with significant contributions to inferentialism, semantic theory, and pedagogical innovation. PhD in Philosophy (2023), University of Warsaw Research on natural language architecture, delusion frameworks, and educational technology Extensive editorial collaboration and grant acquisition His publications reveal a thematic interplay between linguistic finitism , semantic atomism , and social epistemology . Notably, he explores unconventional pedagogical tools like ancient astronaut theory for teaching informal logic. Though no specific scientific awards are listed, his national/international grants (e.g., NCN grant for research on language architecture) demonstrate institutional support. Teaching innovations include AI-assisted peer review simulations in academic writing instruction.

Francisco Chiclanaمشاهده پروفایل

استاد

• Fuzzy preference modelling
• Decision making with heterogeneous fuzzy information
• Decision support systems
• +۷ مورد دیگر

Professor Francisco Chiclana is a leading academic in Computational Intelligence and Decision Making at the School of Computer Science and Informatics, De Montfort University (UK). As founder of DIGITS (De Montfort University Interdisciplinary Group in Intelligent Transport Systems), he pioneered research in trust-driven decision frameworks and fuzzy systems. PhD and BSc in Mathematics from University of Granada Coordinated DMU's REF 2014 submission in Computer Science and Informatics Co-developed DMU's Doctoral Training Programme in Intelligent Systems His research focuses on fuzzy preference modelling , consensus reaching processes , and social network analysis for decision support systems. Recent work explores AI applications in trust propagation, power-asymmetric conflict resolution, and large-scale group decision frameworks. Key publications include 15+ peer-reviewed articles in journals like IEEE Transactions on Fuzzy Systems and Information Sciences , covering topics from type-2 fuzzy logic to Nash bargaining compensation mechanisms . His Greenfield-Chiclana Collapsing Defuzzifier won third prize at DMU's Creative Thinking Awards 2010. Outstanding PhD Award (University of Granada, 2000) Finalist in DMU-THE OSCAR AWARDS for Research Excellence (2012) As supervisor of 8+ current and completed PhD students, including Sarah Greenfield and Sergio Alonso Burgos, he has shaped next-generation researchers. His £145K EPSRC-funded project (2006-2009) extended fuzzy logic applications in consensus modelling.

• Runtime Verification
• Formal Methods
• Concurrency Theory
• +۷ مورد دیگر

Adrian Francalanza is a Professor in the Department of Computer Science at the Faculty of Information and Communication Technology, University of Malta. His research is centered on formal methods, runtime verification, and concurrency, with a focus on monitorability and distributed systems. His research interests include: Runtime Verification and Monitor Synthesis Session Types and Protocol Safety Concurrency and Actor-Based Systems Branching and Linear-Time Temporal Logics Probabilistic and Decentralized Monitoring Formal Tools for Cyber-Physical and Distributed Systems The recent publications highlight a strong trend in theoretical and practical advances in monitorability, especially for branching-time and probabilistic systems. His work bridges theory with implementation, often resulting in tools like STMonitor and DetectEr. There is a clear emphasis on session types, runtime enforcement, and the verification of communication protocols in real-world systems such as REST APIs and SMTP. Scientific awards include: Distinguished Paper Award at ECOOP 2025 Best Paper Award at DisCoTec 2022 He has been actively involved in advising and organizing major academic events. He served as Program Chair for GandALF 2024 and 2025, FORTE 2024, and VORTEX workshops. He led a three-year project funded by Rannis on Theoretical Foundations for Monitorability in collaboration with Reykjavik University. He has received grants and recognition for developing practical tools such as DetectEr and STMonitor, which support runtime monitoring of Erlang and session-typed systems. He is associated with several research teams and labs, including: Runtime Verification and Monitorability Research Group at University of Malta Collaborators on the DetectEr project Developers of STMonitor and polyLarva tools International collaborators at Reykjavik University and beyond

• Medical Informatics
• Clinical Practice Guidelines
• Computerized Healthcare Systems
• +۳ مورد دیگر

Katharina Kaiser is affiliated with TU Wien's Fachbereich Software Services. She specializes in medical informatics with a focus on computerized clinical guidelines and healthcare system optimization. Her work bridges temporal data analysis, information extraction from clinical texts, and workflow modeling in medical contexts. Key areas: Clinical decision support systems, guideline implementation frameworks, temporal logic in healthcare processes Notable contributions: Development of TimeML-based clinical guideline modeling, heuristic methods for condition-action sentence identification Her research emphasizes semantic enrichment of medical documents and interactive visualization tools for therapy planning and patient data correlation. Collaborations include the PROTOCOL project and ReMINE deliverables in adverse risk management.

Koushik Senمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Formal Methods
• +۸ مورد دیگر

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He holds a B.Tech from IIT Kanpur and M.S./Ph.D. from UIUC. His research focuses on Software Engineering, Programming Languages, and Formal Methods, emphasizing tools like DART, CUTE, and Jalangi for improving software reliability. He leads projects such as CORVETTE and Sky Computing Lab, and collaborates with Samsung Research America on JavaScript analysis. Sen has received prestigious awards including the Sloan Fellowship and ACM SIGSOFT Impact Award. Education: B.Tech, Indian Institute of Technology, Kanpur M.S. and Ph.D., University of Illinois at Urbana-Champaign Research Interests: Software Testing, Verification, Symbolic Execution, Security, and Quantum Computing. His work bridges automated testing (e.g., concolic testing) with machine learning for bug detection and program synthesis. Projects include Hindsight Logging for ML reproducibility and quantum circuit optimization (QFAST). Awards: NSF CAREER, IFIP Manfred Paul, ACM SIGSOFT Distinguished Paper (multiple), and Sloan Fellowship. Advising: Supervised over 30 students/postdocs, leading to faculty roles at UBC, CMU, and industry positions at Google, Facebook, and Samsung. Labs/Teams: Berkeley Center for Responsible, Decentralized Intelligence (RDI), EPIC Data Lab, and Sky Computing Lab. Active in quantum computing and hardware fuzzing (RTL-FuzzLab).

Sebastian Schmidtمشاهده پروفایل

پژوهشگر ارشد

• Epistemology
• Metaethics
• Philosophy of Mind
• +۳ مورد دیگر

Sebastian Schmidt is a Postdoctoral Researcher at the University of Zurich's Department of Philosophy (Faculty of Philosophy) and Research Associate at the University of Johannesburg's African Center for Epistemology and Philosophy of Science (ACEPS). Holding a doctorate summa cum laude from Friedrich-Alexander University Erlangen-Nuremberg, he specializes in epistemology and metaethics with cross-disciplinary expertise spanning philosophy of mind, metaphilosophy, Wittgenstein's late work, and ancient philosophy. His educational background includes: Doctorate in Philosophy, Friedrich-Alexander University Erlangen-Nuremberg (2015-2020) Master of Arts in Philosophy, Friedrich-Alexander University Erlangen-Nuremberg (2013-2015) Bachelor of Arts in Philosophy and German Studies, Friedrich-Alexander University Erlangen-Nuremberg (2011-2014) Dr. Schmidt's research interrogates the intersection of epistemic and moral responsibility, with seminal contributions to understanding epistemic blame, doxastic dilemmas, and mental agency. His work uniquely bridges analytic epistemology with Wittgensteinian insights and ancient philosophical traditions, examining how normative constraints govern belief formation in both individual and social contexts. Recent projects critically engage with applied epistemic phenomena including genocide denial, vaccine refusal, and climate change discourse. Analysis of his 15 most recent publications (2019-2025) reveals a methodological evolution from pure epistemology toward socially embedded normative frameworks. While maintaining rigorous focus on foundational questions of rationality and evidence, his scholarship increasingly addresses structural epistemic injustices and collective responsibility, demonstrating how theoretical epistemology informs urgent contemporary crises through interdisciplinary lenses. Dr. Schmidt has secured competitive research funding including an SNF Postdoc Mobility Fellowship (2022-2023) supporting collaborative work at the University of Southern California and University of Glasgow, alongside prior support from the German National Academic Foundation. His teaching portfolio includes advanced epistemology courses at the University of Zurich. He actively contributes to two major research collectives: the Zurich Epistemology Group on Rationality (ZEGRa) at UZH and the African Center for Epistemology and Philosophy of Science (ACEPS), facilitating transnational dialogue between European and African epistemological traditions.

• Power Systems
• Smart Grids
• Transient Stability
• +۷ مورد دیگر

Cavit Fatih Küçüktezcan is an Assistant Professor in the Department of Electrical Engineering at Istanbul Technical University, College of Engineering. His research focuses on power system security, optimization methods, and smart grid technologies. He actively contributes to advancements in electric vehicle energy systems, battery modeling, and resilience of renewable-rich power grids. Research Interests: His work spans power system dynamic security , preventive and corrective control , heuristic and evolutionary optimization (e.g., differential evolution, mean-variance mapping, genetic algorithms), and the application of machine learning for transient stability prediction. He also investigates electric vehicle battery systems , including optimal cell selection and real-time energy consumption modeling. The publication trends show a shift toward data-driven and AI-enhanced approaches in power systems, especially in modeling cyber-attack impacts and improving grid resilience. His recent articles emphasize practical applications in sustainable transportation and secure grid operation under uncertainty. Scientific Contributions: Developed optimization frameworks for preventive control with search space reduction. Applied mean-variance mapping optimization to enhance dynamic security. Explored machine learning benchmarks for transient stability under cyber threats. Contributed to battery modeling and energy efficiency in electric buses. Advising and Grants: While specific details on students or funded projects are not available in the provided text, his collaborative research patterns suggest active supervision and team-based research in power systems and energy technology. He frequently co-authors with researchers from Istanbul Technical University, indicating strong institutional collaboration. Labs and Teams: Though no specific lab or research group is named, his work aligns with smart grid, energy systems, and optimization research teams within the Department of Electrical Engineering at ITU. His focus on real-time data and cyber-physical systems suggests potential involvement in intelligent grid monitoring and control initiatives.

Nicolai Krausمشاهده پروفایل

استاد

• Dependent Type Theory
• Homotopy Type Theory
• Higher Categories
• +۲ مورد دیگر

Nicolai Kraus is a Professor of Theoretical Computer Science and Royal Society University Research Fellow at the University of Nottingham, working in the Functional Programming Lab. He was previously a member of the Birmingham Theory Group and at Eötvös Loránd University. He earned his PhD in 2015 from the University of Nottingham under the supervision of Thorsten Altenkirch, with his thesis titled "Truncation Levels in Homotopy Type Theory," for which he won the Ackermann award. His examiners were Julie Greemsmith (internal) and Steve Awodey (external). Kraus works primarily in dependent type theory (with Agda as his favorite proof assistant), with a main focus on homotopy type theory and higher categories. His research extends to constructive and non-constructive mathematics more broadly, exploring the connections between different mathematical structures within type theory frameworks. He has made significant contributions to the understanding of higher inductive types, set quotients, and the implementation of type theory in proof assistants. His recent publications demonstrate a consistent focus on homotopy type theory and its applications. His work explores the connections between type theory and classical mathematics, particularly in areas like ordinal arithmetic, higher categorical structures, and formal verification. He has developed novel approaches to coherence theorems, set-theoretic constructions in type theory, and the implementation of higher-dimensional structures. He was awarded the Ackermann award for his PhD thesis on "Truncation Levels in Homotopy Type Theory." Kraus currently supervises several PhD students and postdocs, including Aref Mohammadzadeh, Tom de Jong, Stiéphen Pradal, and Joshua Chen. He also serves as a second supervisor for Johannes Schipp von Branitz and Stefania Damato. Starting in 2025, he will lead an ERC (European Research Council) project in dependent type theory. He is a member of the Functional Programming Lab at the University of Nottingham and has organized several academic events including the "Types, Thorsten and Theories" workshop, Midlands Graduate School events, and Agda Implementors' Meetings.

Kornelia Hahnمشاهده پروفایل

استاد

• Cultural Dynamics
• Digital Communication
• Intimate Relationships
• +۵ مورد دیگر

Kornelia Hahn is Professor of General Sociology and Sociological Theory at the Paris Lodron University of Salzburg , affiliated with the Faculty of Social Sciences and Department of Sociology and Social Geography . Current roles include Chair of the Doctorate Curriculum Committee and co-coordinator of the ESA Research Network 29 Social Theory. PhD and Habilitation (venia legendi) from the University of Bonn, Germany Trained in Sociology, Modern German Literature, and General Linguistics Her research focuses on cultural dynamics through material, historical, and semiotic perspectives , examining (digital) communication, intimate relationships, political public spheres, and embodied service/fashion industries. Recent conference talks analyze fashion supply chains , platform economy privacy , and digital transformation in public spheres. Publications include the 2024 article Intimacy and the Transformation of the Public Sphere (Theory, Culture & Society) and the 2021 monograph Social Digitalization: Persistent Transformations Beyond Digital Technology . She co-edits the book series Media Cultures in the Digital Age (Springer Nature). Award for Outstanding Achievement in Lecturing (Leuphana University Lüneburg) Award for Outstanding Achievement in Publishing (Leuphana University Lüneburg) Teaching expertise in Sociological Theory, Sociology of Culture, Digital Communication, Fashion Industries, and Interpretive Methods. Serves as reviewer for German Research Foundation DFG , Einstein Foundation Berlin , and multiple international journals (Journal of Consumer Culture, Austrian Journal of Sociology, etc.).

Jürgen Gieslمشاهده پروفایل

استاد

• Program Verification
• Automated Deduction
• Termination Analysis
• +۱۲ مورد دیگر

Jürgen Giesl is a Professor at the Teaching and Research Area Computer Science 2 within the Department of Computer Science at RWTH Aachen University , Germany. He leads research in programming languages, formal verification, automated deduction, and term rewriting systems. Research Interests: Automated Termination and Complexity Analysis of Programs Dependency Pairs and Term Rewriting Systems Verification of Probabilistic and Integer Programs Static Analysis and Symbolic Execution Model Checking and Constrained Horn Clauses Development of Automated Tools (AProVE, LoAT) His recent research, reflected in the latest publications, focuses on termination and complexity analysis for probabilistic programs, polynomial loops, and integer programs, using advanced techniques such as dependency pairs, loop acceleration, and semiring semantics. He also contributes to SMT solving and transitive relation learning for infinite-state model checking. Scientific Awards: Best Tool Paper Award at iFM 2017 Silver Medal (Second Best Paper) at SEFM '16 Best Paper Honourable Mention at IJCAR 2024 Best Student Paper Honourable Mention at IJCAR 2024 Advising and Grants: Giesl has supervised numerous PhD and Master’s students, including prominent researchers such as Fabian Frohn, Jens Hensel, Nils Lommen, and Marcel Hark. He leads a large research group focused on automated verification and has contributed extensively to international verification competitions. His work is supported by ongoing research grants and collaborations with leading institutions in formal methods. Labs and Teams: He leads the Programming Languages and Verification research group at RWTH Aachen, which develops and maintains the AProVE and LoAT tools. These tools are central to automated termination and complexity analysis and are regularly submitted to international competitions such as TERMCOMP and VBS.

Wolfgang Stammerمشاهده پروفایل

پژوهشگر

• Explainable AI
• Neuro-Symbolic Architectures
• Concept Learning
• +۳ مورد دیگر

Wolfgang Stammer is a PostDoc researcher in the Machine Learning Group at TU Darmstadt's Computer Science Department. His work focuses on making AI models more interpretable and interactive, particularly in explainable AI (XAI), neuro-symbolic architectures, and systematic compositionality challenges in neural networks. He completed his Ph.D. in Machine Learning at TU Darmstadt (2019–2025), an M.Sc. in Computer Science at Goethe University Frankfurt (2016–2018), and a B.Sc. in Cognitive Science at the University of Osnabrück (2011–2015). Research Interests : Stammer's research bridges gaps between human understanding and AI capabilities. Key areas include: Explainable AI (XAI) and interactive machine learning (XIL) Neuro-symbolic integration for logical reasoning and visual concepts Mitigating shortcut learning and confounding factors in datasets Concept discovery and program synthesis for interpretable models Publications : His work spans foundational contributions to AI benchmarks (e.g., V-LoL, SLR-Bench) and frameworks (Neural Concept Binder, Revision Transformers). Recent studies highlight AI's limitations in systematic generalization and propose solutions for aligning reinforcement learning agents with human values. Grants & Labs : He contributes to the Machine Learning Lab at TU Darmstadt and co-organized workshops like the Interactive Machine Learning Workshop @ AAAI 2022. His research bridges theoretical advances with practical applications in healthcare and ethical AI systems.