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

Alex Ivlievمشاهده پروفایل

پژوهشگر

• Rule-Based Systems Optimization
• Database Theory
• Logic Programming
• +۳ مورد دیگر

Alex Ivliev is a Research Associate and PhD student at the Technische Universität Dresden, affiliated with the International Center for Computational Logic (ICCL) within the Faculty of Computer Science. He is part of the Knowledge-Based Systems group led by Prof. Dr. Markus Krötzsch. His research focuses on optimizing rule-based systems, with expertise in database theory, logics, complexity theory, and natural language processing. Education: Master's Thesis (Diplom): Reliance-Based Optimization of Existential Rule Reasoning , TU Dresden (2021) Project Thesis: Parsing of Lexicalised Linear Context-Free Rewriting Systems via Supertagging , TU Dresden (2020) Research Interests: Alex's work centers on advancing rule-based systems, particularly through the development of the Nemo engine, which addresses scalability and versatility in Datalog and logic programming. His contributions span dependency analysis for ontologies, explainable AI via proof tree visualization, and applications in mass spectrum analysis using Answer Set Programming. Key Projects: Nemo: A scalable rule engine for efficient reasoning (https://knowsys.github.io/nemo-doc/) InnoSale: Leveraging AI for optimizing sales and planning in industrial products (https://www.innosale.eu/) Grants & Advising: As a PhD student under Prof. Krötzsch, Alex's work is supported by collaborative projects focusing on computational logic and rule-based systems. Labs/Teams: Active member of the Knowledge-Based Systems group and ICCL, contributing to interdisciplinary research in computational logic and AI.

Piotr Ostropolski-Nalewajaمشاهده پروفایل

عضو هیئت علمی

• Computational Logic
• Database Theory
• Knowledge Representation
• +۲ مورد دیگر

Piotr Ostropolski-Nalewaja is a Research Associate in Computational Logic at Technische Universität Dresden's Faculty of Computer Science. His research focuses on computational logic, database theory, and knowledge representation, with particular emphasis on decidability problems and formal methods in computer science. Research interests include: Decidability in formal systems Query processing and optimization Knowledge representation formalisms Automated reasoning Ontology-based data access Recent publications investigate decidability boundaries for various logical formalisms, developing novel approaches to query answering under existential rules. His work bridges theoretical computer science and practical applications in database systems. Awards: No awards listed He contributes to multiple collaborative projects exploring the theoretical foundations of knowledge representation and reasoning systems.

• Graph Transformation
• Graph-Based Programming Models
• Rewriting Systems
• +۱ مورد دیگر

Detlef Plump is a Senior Lecturer in the Department of Computer Science at the University of York, UK, where he has worked since 2001. His academic journey includes roles as Assistant Professor at the University of Bremen (1993-2000), Lecturer at the University of York (2000-2001), and Research Associate at the University of Bremen (1987-1993). He holds a Dipl.-Inform degree, Dr.-Ing, and Habilitation from the University of Bremen. His research focuses on graph transformation, graph-based programming models, and rewriting systems, with contributions to theoretical computer science. He has held visiting researcher positions at Heriot-Watt University (Edinburgh), the University of Nijmegen, and the Free University of Amsterdam, accumulating over two years of collaborative research in the Netherlands. At York, he serves as ECA Officer and Programme Leader for the CS/Maths Undergraduate Programmes. His contact details include office CSE/035 and phone +44 (0)1904 325670. His work integrates formal methods with practical applications in graph computation models and algorithm design. Detlef’s contributions span graph program compilers, verification techniques, and theoretical foundations, as evidenced by his extensive publication record in venues like the Journal of Logical and Algebraic Methods in Programming. He emphasizes efficiency and correctness in graph-based systems, addressing challenges in both academia and industry.

• Pediatrics
• Dermatology
• Infectious Diseases
• +۳ مورد دیگر

Sydney Spiesel, MD, PhD, is a Clinical Professor in the Department of Pediatrics at the Yale School of Medicine, Yale University. He holds dual doctoral degrees from Yale University (MD and PhD, 1975). His research focuses on pediatric clinical evaluation, rare genetic skin disorders, and infectious disease management in children. Notable collaborations include work with Irwin Braverman, MD, and Leonard Milstone, MD, on dermatological case studies and febrile illness assessment. His publications span decades, emphasizing evidence-based approaches to pediatric diagnostics and integrative care. While no formal awards are listed, his work contributes to improving clinical decision-making in pediatric settings. His educational background includes advanced training in both clinical medicine and research, reflected in his dual degree. Research interests bridge clinical practice and academic inquiry, particularly in optimizing diagnostic protocols for common and rare pediatric conditions. His articles address topics like febrile illness evaluation, dermatopathology, and bacteremia management, underscoring a commitment to advancing pediatric healthcare standards.

• Information Retrieval
• Knowledge Representation
• Machine Learning
• +۳ مورد دیگر

Prof. Czesław Jędrzejek is a former faculty member at Poznań University of Technology, affiliated with the Faculty of Electronics and Information Technology. His research focuses on information retrieval, knowledge representation, machine learning, and cybersecurity. He has supervised two doctoral dissertations and contributed to interdisciplinary projects involving medical data analysis and economic crime modeling. Key research interests include ontology reasoning (e.g., OWL 2 RL), collaborative filtering algorithms, and semantic web technologies. His work bridges theoretical foundations with practical applications in healthcare informatics and network security. Prof. Jędrzejek's publications span journals like Database and STUDIA INFORMATICA , addressing topics such as RDF querying methods and adaptive audio stream transmission. He has also reviewed doctoral theses in computer vision and network systems. His advising record includes students focused on knowledge bases for economic crimes and IP audio streaming optimization. Despite being a former employee, his contributions to computational methods and interdisciplinary research remain notable.

Zoey Zhiyu Chenمشاهده پروفایل

استادیار

• Artificial Intelligence
• Natural Language Processing
• Healthcare Technology
• +۳ مورد دیگر

Zoey Zhiyu Chen is an Assistant Professor in the Department of Computer Science at the Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. Her research focuses on advancing artificial intelligence, particularly in natural language processing (NLP), healthcare technology, financial technology, and dialogue systems. She explores the application of large language models (LLMs) in critical domains such as mental health therapy, cognitive behavior therapy (CBT), and finance, emphasizing robustness and ethical considerations. Key research areas include hypothesis discovery, rule learning, patient simulation for mental health training, and improving medical predictions through multimodal data analysis. Her work also addresses challenges in retrieval-augmented models, agentic search optimization, and zero-shot dialogue state tracking. Chen’s contributions span theoretical advancements in AI reasoning and practical applications in societal domains like law and healthcare. Her articles highlight trends in leveraging LLMs for clinical support, financial analysis, and improving human-AI interaction through preference learning and function calling mechanisms. She advocates for responsible AI development, as seen in studies on energy efficiency benchmarks (Hulk) and domain-specific robustness (RobustFin).

Colin Brownمشاهده پروفایل

مدرس ارشد

• Immigration Politics
• Political Representation
• Electoral Systems
• +۲ مورد دیگر

Colin Brown serves as Associate Teaching Professor of Political Science and Undergraduate Program Director in the College of Social Sciences and Humanities at Northeastern University. His research examines descriptive representation of immigrant communities in Western Europe, with particular focus on how electoral systems and party rules create trade-offs between gender and ethnic diversity in candidate selection. Education: PhD in Political Science from Harvard University (2015) BA in Political Science from University of Rochester (2007) Dr. Brown's research program spans two interconnected domains: political representation of immigrant communities and innovative pedagogy in political science education. His representation work analyzes election laws in Germany, Netherlands, and France to identify institutional mechanisms affecting diversity in political candidacies. Simultaneously, he develops evidence-based teaching methods for writing instruction, empathy development, and information literacy through classroom experiments and curriculum design. Analysis of his 15 most recent publications (2011-2025) reveals a dual scholarly trajectory: 40% focus on immigration politics and representation (primarily Western Europe case studies), while 60% advance political science education through rubric design, simulation pedagogy, and empathy cultivation. The 2025 publications particularly emphasize assessment innovation and emotional dimensions of political learning. Scientific Awards: Harvard College Fellow As Undergraduate Program Director, Brown oversees curriculum development and student advising while co-editing Political Science Educator . He maintains active research collaborations through the Minda de Gunzburg Center for European Studies (Harvard affiliate) and contributes to APSA's teaching initiatives. Though specific grants aren't detailed, his scholarship demonstrates sustained funding through academic appointments and conference leadership. Brown collaborates with Northeastern colleagues including Max Abrahms (terrorism research) and Amílcar Antonio Barreto (comparative politics), while maintaining Harvard Center for European Studies affiliation. His GovWrites curriculum development and JFK Memorial Policy Fellows coordination demonstrate cross-institutional team leadership in political science education.

Gizem Elidoluمشاهده پروفایل

پژوهشگر

• Maritime Transportation
• Risk Analysis
• Tanker Ship Operations
• +۵ مورد دیگر

Gizem Elidolu serves as a Researcher at Istanbul Technical University within the Department of Maritime Transportation and Management Engineering. Her academic profile centers on maritime safety engineering with specialized expertise in risk assessment methodologies for tanker ship operations and cargo handling systems. Dr. Elidolu's research interests focus on applying advanced computational techniques to maritime safety challenges. She has developed innovative approaches integrating Bayesian network modeling with rule-based systems and evidential reasoning theory to analyze human reliability and prevent accidents during critical shipboard operations. Her work addresses vital industry concerns including cargo leakage prevention, hazardous material handling, anchoring safety, and nitrogen system operations on tanker vessels. Analysis of her publication record reveals a consistent research trajectory applying sophisticated risk modeling techniques to practical maritime safety problems. Her work demonstrates increasing methodological sophistication, evolving from traditional Failure Mode and Effects Analysis to integrated approaches combining Dempster-Shafer theory with Bayesian networks. This progression reflects her contribution to advancing risk assessment methodologies in the maritime domain. Dr. Elidolu maintains active research collaborations with international scholars, as evidenced by her co-authorship with researchers from multiple countries. Her publications appear in high-impact journals including Marine Pollution Bulletin, Ocean Engineering, and Process Safety and Environmental Protection, indicating recognition within the maritime safety research community.

Maartje Raijmakersمشاهده پروفایل

استاد

• Developmental Psychology
• Cognitive Development
• Learning Sciences
• +۳ مورد دیگر

Maartje Raijmakers is a Full Professor of Educational Sciences and Cognitive Development at the Vrije Universiteit Amsterdam (VU Amsterdam) and holds an ancillary position as Bijzonder Hoogleraar in Cognitive Development Psychology at the University of Amsterdam (UvA). She is affiliated with LEARN! - the Learning Sciences research institute. Her work focuses on cognitive and perceptual development across the lifespan, particularly in learning mechanisms, causal reasoning, and science education. She has led projects such as INTERLEARN (Marie Skłodowska-Curie Grant) and contributed to initiatives like Kleuters aan Zet in NEMO. Education: PhD in Cognitive Development from the University of Amsterdam (1996), with postdoctoral research in developmental systems theory and neural network modeling. She has supervised numerous PhD students and postdocs, including Iris Bogaers, Tessa Slim, and Rooske Franse. Research interests span developmental learning strategies, individual differences in perception, and the application of computational models (e.g., Hidden Markov Models) to study cognitive processes. Her work bridges formal and informal learning settings, including science museums and classroom environments. Key contributions include studies on habituation in infants, rule-learning in toddlers, and the role of curiosity in science engagement. Her awards include the 2018 grant for inquiry-based learning in special education. Labs/Teams: LEARN! Learning Sciences, collaborations with NEMO Science Museum, and interdisciplinary teams at the Amsterdam Brain & Cognition Research Priority Programme.

• Artificial Intelligence
• Machine Learning
• Constraint Programming
• +۴ مورد دیگر

Siegfried Nijssen is a Professor at the Department of Computer Science within the Faculty of Engineering Science at KU Leuven. He is a core member of the Declarative Languages and Artificial Intelligence (DTAI) research group at the Arenberg campus and affiliated with Leuven.AI, the university-wide Institute for Artificial Intelligence. His academic position is designated as 'professor BOF', reflecting a specialized research-focused appointment. Nijssen's research centers on the integration of declarative programming paradigms with machine learning, particularly through constraint programming frameworks. Key focus areas include interpretable rule learning, neural-symbolic integration, and constraint-based optimization for combinatorial problems. His work bridges theoretical computer science with practical applications in bioacoustics, pandemic response modeling, and network analysis, emphasizing transparency and reliability in AI systems. Analysis of his 2021-2024 publications reveals a strong trajectory toward interpretable AI, with significant contributions like RL-Net (combining neural networks with rule-based reasoning) and novel approaches to NP-hard optimization using structured perceptrons. His research consistently targets the intersection of symbolic reasoning and statistical learning, addressing critical challenges in constraint imposition, model explainability, and stochastic optimization. Nijssen currently leads two major research initiatives: 'Declarative Languages for Imposing Constraints on Machine Learning Models' (2025-2027) and the long-term 'Declarative Programming for Machine Learning (DeclaLearn)' project (2025-2035), demonstrating sustained leadership and funding in his specialized domain. These projects extend his foundational work on constraint-based machine learning frameworks. Based at the DTAI research group, Nijssen contributes to KU Leuven's AI ecosystem through collaborative research in logic programming, constraint solving, and data mining. His work with Leuven.AI positions him at the forefront of institutional efforts to advance trustworthy and constraint-aware artificial intelligence systems.

Daniel Cohenمشاهده پروفایل

مدرس ارشد

• Ethical Theory
• Free Will
• Moral Responsibility
• +۶ مورد دیگر

Daniel Cohen is a Senior Lecturer in Philosophy and Associate Head (Research) at Charles Sturt University's School of Social Work and Arts, based at Wagga Wagga Building 26. Holding a BA (Hons) from Monash University and a PhD from the Australian National University (ANU), he actively contributes to academic leadership and research within the Department of Philosophy, with contact via dcohen@csu.edu.au. His educational credentials include: BA (Hons) from Monash University PhD from the Australian National University (ANU) Cohen's research centers on ethical theory, free will, moral responsibility, and moral psychology, frequently bridging philosophy with empirical psychology to address real-world issues. Key themes span addiction, weaknesses of will, utilitarianism, and decision theory, with recent work examining pandemic behavior (social distancing compliance) and vaccine communication. His fingerprint data highlights significant activity in Moral Responsibility, Psychology, Social Distancing, and Addiction, demonstrating interdisciplinary rigor. Publication trends since 2006 reveal foundational theoretical work (e.g., Strawson's incompatibilist intuitions, Parfit's population ethics) evolving toward urgent societal applications during the pandemic. The 2023-2025 outputs on vaccine information sharing and intoxicated offenders' sentencing show sustained engagement with ethical dilemmas through psychological lenses, while earlier articles like "Finking Frankfurt" (2007, 30 citations) established his expertise in free will debates. No scientific awards, fellowships, or medals are referenced in the provided texts. Cohen has supervised two research projects or theses ("Supervised Work (2)"), though student names remain undisclosed. His 2021 activity includes developing teaching materials for PHL 104, reflecting commitment to curriculum design. No grants, funding sources, or collaborative projects beyond named co-authors (e.g., Saling, Phillips) are detailed. He is embedded in the Practical And Public Ethics Research Group and Future of the Professions Research Group, leveraging institutional networks for studies on moral motivation and societal norms. His ORCID profile (0000-0001-5760-636X) and active Scopus metrics (18 research outputs, h-index 5) confirm ongoing scholarly impact.

Lars Birkedalمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Separation Logic
• +۴ مورد دیگر

Lars Birkedal is a Professor in the Department of Computer Science at Aarhus University, Denmark. He is a leading researcher in programming languages and formal methods with extensive contributions to the field over the past decade. His work appears consistently in top-tier programming languages conferences including POPL, ICFP, and PLDI, where he has served in leadership roles such as Program Chair and committee member. Birkedal's research primarily focuses on the theoretical foundations of program verification, with significant contributions to separation logic, type theory, and formal methods for concurrent and probabilistic systems. His work bridges theoretical computer science with practical verification challenges, particularly through the development and application of the Iris framework for higher-order concurrent separation logic. He has pioneered approaches for reasoning about probabilistic programs, capability-based security, and memory models for modern architectures. Analysis of Birkedal's recent publications (2023-2025) reveals a continued focus on advancing separation logic for increasingly complex systems. His work shows a clear trajectory from foundational theoretical work toward practical verification of real-world systems like WebAssembly while maintaining rigorous formal guarantees. There's a notable emphasis on probabilistic programming, error bounds analysis, and distributed systems verification in his most recent contributions. As a faculty member at Aarhus University, Birkedal has built a strong research group focused on programming language theory and formal verification. His leadership in the programming languages community is evident through his repeated service on program committees for major conferences and his mentorship of numerous graduate students and junior researchers, though specific student names aren't listed in the available information. His research has likely been supported by significant grants from Danish and European funding agencies, given the sustained output and international collaborations evident in his publication record.

Enrico Tassiمشاهده پروفایل

پژوهشگر

• Interactive Theorem Proving
• Formal Verification
• Type Theory
• +۵ مورد دیگر

Enrico Tassi is a researcher at Inria, France, affiliated with the STAMP team. His work focuses on the technology of formal proofs, particularly type theory, interactive theorem proving, and its application to formalizing mathematics. He is a key contributor to the development of tools like Coq-Elpi , Hierarchy-Builder , and the small scale reflection Coq extension. His research spans proof assistant architecture, software design, and formal verification, with a strong emphasis on free software principles. Enrico completed his Ph.D. at the University of Bologna in 2008, where he designed the Matita interactive theorem prover. He contributed to the formalization of the Odd Order Theorem and the Paral-ITP project, aiming to scale Coq for large mathematical libraries. His software projects include Elpi , a meta-language for proof assistants, and past contributions to Debian as a developer (2006–2016), focusing on integrating the Lua language into Debian systems. His publications highlight innovations in unification algorithms, tactical design, and proof structuring techniques. Articles address challenges in bi-directional type inference, pattern-based proof command focusing, and nonuniform coercion implementations. His work on small-scale reflection and Hierarchy-Builder demonstrates expertise in algebraic hierarchies and formal library management. Current efforts target enhancing OCaml-based systems through Elpi's high-level programming capabilities. Key Collaborations : Mathematical Components team (INRIA), D.A.M.A. Project Major Tools : Coq-Elpi, Hierarchy-Builder, Matita Formalization Efforts : Ordered Uniformities, Odd Order Theorem, Finite Group Theory

Xinyu Fengمشاهده پروفایل

استاد

• Programming Languages
• Formal Methods
• Program Verification
• +۴ مورد دیگر

Xinyu Feng is a Professor at the Department of Computer Science and Technology, Nanjing University, with research spanning programming languages, formal methods, and system software verification. His work focuses on developing rigorous frameworks for certifying low-level system programs, particularly those involving concurrency, preemptive threads, and hardware interrupts. Nanjing University, China Huawei (collaboration) Yale University, PhD in Computer Science (2007) Research Interests: His research integrates Separation Logic and Rely-Guarantee Reasoning to create modular verification techniques for concurrent systems. Key areas include: Formal verification of OS kernels and hypervisors Concurrency control in preemptive and interrupt-driven environments Parameterized memory models for relaxed concurrency semantics Certified compilation and proof-carrying code Optimistic concurrency algorithms and non-blocking data structures Modular verification of synchronization primitives Article Trends: His publications emphasize modular and compositional methods for concurrent program verification, with a strong focus on practical applications in system software. Recurring themes include integrating formal reasoning with real-world challenges like hardware interrupts, preemptive scheduling, and SDN programming. Scientific Awards: PLDI'19 Distinguished Paper Award Professional Leadership: Xinyu Feng has served on program committees for leading conferences (POPL, PLDI, ICFP, CAV) since 2005 and chairs sessions at events like PLDI and POPL. He actively contributes to advancing formal verification standards in the field.

• Civil Law
• Consumer Law
• Family Law
• +۴ مورد دیگر

Helena Díez García serves as a Professor in the Department of Private Law and Business Law at the Faculty of Law, University of León, Spain. Her distinguished academic career spans over 25 years with continuous contributions to Civil Law scholarship, particularly in mortgage law, consumer protection, and family law. Education: PhD in Law, University of León (1996) - Thesis: "El tercer poseedor de finca hipotecada" (The Third Possessor of Mortgaged Property), supervised by Dr. Etelvina Valladares Rascón and Dr. Javier Fernández Costales Research Focus: Professor Díez García's work demonstrates exceptional depth in Civil Law with specialized expertise in Mortgage Law (particularly variable interest clauses and future obligation guarantees), Consumer Protection (focusing on credit transparency and abusive terms), and Family Law (addressing gender violence impacts on inheritance and minor protection). Her scholarship consistently bridges doctrinal analysis with practical legal application, frequently examining Spanish Supreme Court rulings and European regulatory frameworks. Publication Trends: Recent work (2019-2025) reveals evolving research trajectories including environmental law intersections (ecotourism regulation), refined analyses of mortgage registration conflicts, and innovative examinations of testamentary capacity in domestic violence contexts. Her publications maintain consistent engagement with European directives while addressing uniquely Spanish legal challenges. Research Affiliation: She actively contributes to the "DRAR DERECHO, RAZONAMIENTO Y ARGUMENTACIÓN" (Law, Reasoning and Argumentation) research group at the University of León, which specializes in legal reasoning methodologies within civil law contexts. Professional Context: As a tenured Catedrático de Universidad (Full Professor), she maintains ongoing scholarly productivity without indication of part-time status or retirement. Her work shows no evidence of scientific awards but demonstrates sustained influence through extensive publication and doctrinal commentary.