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

• Tax Law
• Administrative Law
• Tax Policy
• +۴ مورد دیگر

Leigh Osofsky serves as the William D. Spry III Family Distinguished Professor of Law and Associate Dean for Faculty Development at the University of North Carolina at Chapel Hill School of Law. Her academic career demonstrates deep engagement with tax law and administrative law systems, with particular focus on how government agencies communicate legal requirements to the public. Osofsky's research centers on the intersection of tax policy, administrative law, and communication. She has pioneered the concept of 'simplexity'—the strategic use of plain language in complex legal systems—and has extensively analyzed how tax administration affects compliance and equity. Her work examines the tension between legal precision and accessibility, particularly regarding IRS guidance documents and the creation of a two-tiered legal system where sophisticated taxpayers gain advantages through specialized knowledge. Her recent scholarship reveals a growing focus on technology's role in legal administration, with multiple publications exploring AI applications, automated legal guidance systems, and the implications of digital transformation for tax compliance. Osofsky's work consistently emphasizes how administrative practices can either exacerbate or mitigate systemic inequities within the tax system. William D. Spry III Family Distinguished Professor (endowed chair position) Osofsky frequently collaborates with leading scholars including Joshua D. Blank and Kathleen DeLaney Thomas. Her research has influenced administrative practice, with her 2022 report for the Administrative Conference of the United States addressing automated legal guidance at federal agencies. She has also conducted significant empirical work on tax enforcement patterns and their democratic accountability implications.

Pierre Boutryمشاهده پروفایل

دانشیار

• Formal proofs
• Foundations of geometry
• Cryptography
• +۱ مورد دیگر

Pierre Boutry is an Associate Professor at the Department of Mathematics and Computer Science of the University of Strasbourg. He is affiliated with the IGG team of the ICube Laboratory. His academic positions include prior roles as a research engineer at Inria and the University of Strasbourg. Education: Ph.D. in Mathematics and Computer Science, University of Strasbourg (2018) M.Sc. in Engineering Mathematics and Computational Science, Chalmers University of Technology (2013) Engineering degree (M.Sc. equivalent), ENSIIE, Strasbourg (2009) Research interests focus on the formalization and foundations of geometry using proof assistants like Coq and Isabelle, cryptography, and automated deduction methods. His work includes contributions to the CV2EC tool for translating cryptographic proofs and formalizing the Poincaré Disc Model for hyperbolic geometry. Key publications include studies on Tarski's axioms, equivalence of parallel postulates, and arithmetization of geometry. He has collaborated with researchers such as Gabriel Braun, Pascal Schreck, and Julien Narboux. Teaching roles span courses on computer-assisted proofs, functional programming, logic, and cryptography. He also co-developed Coq training modules for Inria Academy.

Jo Laneمشاهده پروفایل

پژوهشگر

• Mathematical Logic
• Artificial Intelligence
• Automated Reasoning
• +۲ مورد دیگر

Dr. Jo Lane is affiliated with the Australian National University as a member of the John Curtin School of Medical Research . She collaborates with the Maddess Group , focusing on diagnostics for eye diseases, though her research spans multidisciplinary areas including mathematical logic, artificial intelligence, and automated reasoning. Academic Rank : Researcher Research Themes : Logic, theorem proving, constraint modelling, and AI Her recent work explores paraconsistent mathematics, relevant arithmetic, conflict-resolution algorithms for SAT solvers, and optimization techniques. She contributes to tools like Scavenger and Logic for Fun, bridging logic with problem-solving frameworks. Key article trends include advancements in automated reasoning (e.g., conflict-driven clause learning), applications of logic to AI planning (non-Markovian rewards), and interdisciplinary efforts connecting mathematical theory to computational methods. Dr. Lane’s collaborations and publications highlight expertise in logic, computational complexity, and medical diagnostics, though no explicit awards or student advising details are provided in the text.

Banu Esra Aslanertikمشاهده پروفایل

مدرس

• Sustainability Reporting
• Integrated Reporting
• Value Creation
• +۳ مورد دیگر

Banu Esra Aslanertik is a Lecturer with 24 years of teaching experience, transitioning from Dokuz Eylul University (Turkey) where she held academic roles from Research Assistant (1999-2002) to Full Professor (2014-2022). She served as Vice Rector (2016-2018), overseeing strategic planning, financial affairs, and entrepreneurship initiatives. She holds a PhD and MA in International Business from Dokuz Eylul University, along with a BA in Business Administration. PhD, Business Administration, Dokuz Eylul University MA, International Business, Dokuz Eylul University BA, Business Administration, Dokuz Eylul University Her research focuses on sustainability reporting, integrated reporting, value creation, and data analytics, with 14 journal articles, 3 books, and 4 book chapters. Her work examines the intersection of financial compliance, sustainable HRM, and accounting standard harmonization in Turkey, particularly within the Borsa Istanbul (BIST) market. She has supervised 6 MA theses and 3 PhD dissertations, though advisees' names are not disclosed. She received the IMA Sustainability Business Practices Certificate (2023) and is pursuing the CMA certification. Her publications span topics like fair value accounting during financial crises, environmental cost integration in hospitality, and tax-accounting standard comparisons. International Management Accountants American Accounting Association

• Tax Law
• Cooperative Law
• Basque Civil Law
• +۷ مورد دیگر

Alberto Atxabal Rada is a full-time professor in the Department of Public Law at the Faculty of Law, University of Deusto. He is an active researcher specializing in tax law, cooperative law, and Basque civil law, with a strong focus on the fiscal treatment of cooperatives, social economy entities, and regional taxation systems such as the Basque Economic Agreement. His academic work is deeply rooted in both national and international legal frameworks. His research interests include tax policy, cooperative identity, fiscal incentives, succession law, and legal linguistics. He has extensively published on the fiscal aspects of cooperatives, the Basque civil law system, and the integration of social economy entities into public finance. His work emphasizes the democratic nature of cooperatives and their role in social and economic development. The recent articles highlight a consistent focus on cooperative taxation, regional fiscal regimes, and the legal treatment of social economy entities. Key themes include COFIP, succession agreements under Basque law, remote work taxation, and corporate tax for housing leasing entities. His publications appear in specialized journals such as REVESCO , Boletín de la Asociación Internacional de Derecho Cooperativo , and Forum Fiscal . Member of the Basque Academy of Law (2003–present) Secretary General of the International Association of Cooperative Law (2018–present) Member of the Scientific Committee of major international cooperatives conferences Evaluator for REVESCO: Revista de Estudios Cooperativos Member of the Editorial Board of the Colección de Investigaciones Jurídicas (Prismas, Brazil) He has supervised several master's theses on topics such as the Basque Economic Agreement, local public finance, and the legal defense of historical rights. He is actively involved in research projects funded by the Basque Government and the Spanish Ministry of Science and Innovation, focusing on cooperatives, labor law, and social protection. He frequently participates in academic conferences as an organizer, scientific committee president, or speaker, both nationally and internationally. He leads and contributes to research teams focused on cooperativism, fiscal policy, labor relations, and social protection. His projects include studies on digital, ecological, and social transitions in labor law, the role of cooperatives in employment policy, and the fiscal aspects of cooperative education funds (COFIP). He also coordinates interdisciplinary teams working on legal dictionaries and guides for nonprofit organizations.

Giorgio Bacciمشاهده پروفایل

دانشیار

• Behavioural Metrics
• Model Synthesis and Automata Learning
• Analysis and Verification of Cyber-Physical Systems
• +۳ مورد دیگر

Giorgio Bacci is an Associate Professor at the Department of Computer Science , Aalborg University , Denmark. He is a member of the Distributed, Embedded, and Intelligent Systems (DEIS) research group led by Prof. Kim G. Larsen. He earned his Ph.D. in Computer Science from the University of Udine (2013) under Prof. Marino Miculan, following M.Sc. and B.Sc. degrees in Computer Science from the same university (2008 and 2005, both 110/110 cum laude ). Research Interests include: Behavioural Metrics : Quantitative methods for system equivalence and approximation. Model Synthesis and Automata Learning : Automated construction of models for probabilistic/stochastic systems. Analysis of Cyber-Physical Systems : Formal verification techniques for real-time and hybrid systems. Process Algebras : Nondeterministic, probabilistic, and stochastic process calculi. Semantics of Programming Languages : Formal models for probabilistic and concurrent computation. Scientific Service includes roles as PC member for LICS 2025 , ICALP 2025 , and co-chair for EXPRESS/SOS 2025 and GandALF 2025 . He has contributed to 35 publications in areas like probabilistic automata , Markov processes , and bigraphical models , with a focus on computational complexity and behavioral distances . Awards include: Teacher of the Year 2022/2023 (Department of Computer Science, Aalborg University) Best Paper Award at CALCO 2021 .

Saniye Vatanseverمشاهده پروفایل

استادیار

• Kant
• Early Modern Philosophy
• History of Modern Philosophy
• +۹ مورد دیگر

Saniye Vatansever is an Assistant Professor specializing in Kant and Early Modern Philosophy. She holds a Ph.D. from the University of Illinois, Chicago, USA, and is actively engaged in scholarly research and publication in both international and Turkish academic venues. Research Interests: Kantian Philosophy Early Modern Philosophy Epistemology and Moral Philosophy Enlightenment and Aesthetics History of Modern Philosophy with focus on Hume, Leibniz, and Plato Intersections between Ancient and Modern Thought (Stoicism, Epicureanism, and Kant) Her recent publications reveal a consistent focus on Kant’s critical philosophy, particularly on autonomy, the highest good, aesthetic judgment, and Enlightenment. She also explores Kant’s philosophical relationships with rationalist and empiricist traditions, including Leibniz and Hume. Her work bridges historical analysis and systematic philosophical inquiry, often connecting Kantian themes with ancient sources such as Stoicism and Epicurus. Selected Scientific Contributions: Forthcoming contributions to Cambridge University Press and Springer/Metzler Publications in AHCI and ESCI-indexed journals such as International Journal of Philosophical Studies , HOPOS , and International Journal for Philosophy of Religion Active contributions to major international Kant congresses and edited volumes She has no listed scientific awards or students in the provided text. There is no mention of grants, advising roles, or institutional affiliations beyond her doctoral background. She publishes in both English and Turkish, indicating a dual academic engagement in international and national philosophical discourse.

Alessandro Artaleمشاهده پروفایل

دانشیار

• Description Logics
• Ontologies
• Knowledge Representation
• +۷ مورد دیگر

Alessandro Artale is an Associate Professor in the Faculty of Computer Science at the Free University of Bozen-Bolzano, where he is affiliated with the KRDB Research Centre. His research spans theoretical and applied aspects of knowledge representation, ontologies, and temporal reasoning. He earned his PhD in Computer Science from the University of Florence in 1994 and has held research and academic positions at CNR-LADSEB, IRST (now FBK), and UMIST (University of Manchester). PhD in Computer Science, University of Florence, 1994 His research interests include: Description Logics Ontologies and Conceptual Modelling Temporal and Computational Logics Knowledge Representation and Databases Artificial Intelligence and Natural Language Semantics His recent scholarly activities are reflected in his participation in leading international conferences such as AAAI, IJCAI, ECAI, KR, DL, TIME, and FoIKS. These publications and committee roles highlight a consistent focus on formal methods in AI, particularly in the areas of description logics, temporal reasoning, and ontology-based systems. The research demonstrates a strong theoretical foundation with applications in semantic web technologies and knowledge-driven systems. Notable scientific contributions include: Principal Investigator of the EPSRC project on Temporal Databases using Description Logics (2001–2004) Member of the KnowledgeWeb Network of Excellence Member of the InterOp Network of Excellence Member of the ESPRIT DWQ project on Data Warehouse Quality Artale has advised numerous Master's and PhD students through project supervision and has organized academic events such as the TIME and DL workshops. He has served on the program committees of over 50 international conferences and workshops, demonstrating extensive engagement with the research community. His teaching includes core computer science courses in algorithms, formal languages, compilers, and discrete mathematics. He is actively involved in research labs and teams including: KRDB Research Centre, Free University of Bozen-Bolzano Collaborations with European research networks (KnowledgeWeb, InterOp)

• Tax Law
• Financial Law
• Social Economy
• +۷ مورد دیگر

MARIA PILAR ALGUACIL MARI is a Full Professor in the Department of Financial Law at the Faculty of Law, University of Valencia, and a key researcher at the Polibenestar Research Centre. She leads research within the AEMES group, focusing on economic agents and the legal framework of the welfare state, with a strong emphasis on tax and financial law as applied to cooperatives and the social economy. Her research interests lie at the intersection of Tax Law , Financial Law , and European Union Law , with specialized expertise in Cooperative Law , State Aid , and Nonprofit Taxation . She investigates fiscal equity, the treatment of social enterprises, and the alignment of national tax systems with EU regulations. Her work also extends to pedagogical innovation in legal education, including clinical methods and active learning strategies. Her recent publications, spanning from 2018 to 2024, consistently explore the taxation of cooperatives , state aid frameworks , and fiscal regimes for social economy entities . These works reflect a deep engagement with both national and European policy challenges, particularly in ensuring equitable and compliant fiscal treatment for cooperative and social enterprises. Scientific Awards: No awards mentioned in the provided text. She has supervised doctoral research, including her own PhD completed in 1993 on withholding tax in the Spanish system. While no formal list of advisees is provided, her role as a senior academic implies mentorship of graduate students. There is no mention of external grants, but her involvement in research groups and institutional centers suggests participation in funded projects. She has contributed to legal commentaries and policy analyses, such as on the modification of transport regulations and fiscal equity principles. Labs and Research Teams: Member of the AEMES – Economic Agents and Market in the Juridic Frame of the Welfare State research group. Affiliated with the Polibenestar Research Centre , focusing on social well-being and policy.

• Software Engineering
• Data Engineering
• Information Systems
• +۴ مورد دیگر

Carles Farré Tost is an Associate Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Facultat d'Informàtica de Barcelona (FIB) and the Departament d'Enginyeria de Serveis i Sistemes d'Informació. He leads research in software engineering, data engineering, and information systems through the inSSIDE and GESSI groups. His work focuses on agile methodologies, software quality, data-driven decision-making, and green AI. With over 92 professional activities, including 39 conference presentations and 17 competitive R&D projects, he has contributed to tools like QaSD and GLiDE for education and industry. Notable awards include the Best Forum Paper Award at RCIS 2023 and the Best Paper Award at CIbSE 2021. His research spans decades, from foundational database query validation (CQC method) to modern applications in gamified learning dashboards and sustainability in AI. Research Interests: Software Engineering: Agile development, quality assurance, and team-based project management Data Engineering: Schema validation, data-driven decision-making frameworks, and API design Green AI: Investigating environmental impacts and ethical considerations in AI systems Educational Technology: Tools for learning analytics and collaborative software education Grants & Projects: "Human-centred collaborative framework for accelerating software development" (2024) "Transición hacia sistemas de software verdes basados en IA" (2023) "Digital and Emerging Technologies for Competitiveness" (EU-funded, 2021) Lab/Teams: Active contributor to the inSSIDE (integrated Software, Services, Information and Data Engineering) and GESSI (Group of Software and Service Engineering) research groups at UPC.

• Online Learning
• e-Learning
• Software Engineering
• +۵ مورد دیگر

Enric Mayol Sarroca is a Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Facultat d'Informàtica de Barcelona (FIB) and the Departament d'Enginyeria de Serveis i Sistemes d'Informació. He leads research in the IMP - Information Modeling and Processing group. His expertise spans online learning, e-Learning frameworks, software engineering, and information systems, with a focus on genealogy support systems and data quality. He has contributed to over 139 academic activities, including 64 conference presentations, 18 indexed journal articles, and 18 competitive research projects. Mayol Sarroca's research emphasizes integrating deductive databases, database consistency, and educational technology. Notable projects include the FOLRE system for deductive database updates and frameworks for informal learning validation. He collaborates with institutions like Barcelona Supercomputing Center and has developed methodologies for software component integration (DALI project). His work bridges theoretical foundations (e.g., integrity constraint maintenance) with practical applications in education and information systems. His recent contributions include advancements in cloud-based learning environments, service-oriented frameworks for educational technology, and ontological data quality assurance. He has advised on teacher training programs and participated in initiatives like the 1st and 2nd Technological Ecosystem for Enhancing Multiculturality conferences. His lab focuses on STEAM education research and integrates interdisciplinary approaches to technology and societal challenges.

Bruno Lopesمشاهده پروفایل

استاد

• Automated Theorem Proving
• Interactive Theorem Proving
• Formal Methods
• +۸ مورد دیگر

Bruno Lopes is a Professor at Universidade Federal Fluminense (UFF) and a researcher at the FR∀M∃ Lab. He holds a D.Sc. in Informatics (Theory of Computation) from PUC-Rio and has conducted postdoctoral work at INRIA (France). His academic roles include serving on the Brazilian Logic Society's directive committee (SBL) from 2017-2019, 2019-2021, and 2023-2025, and as 2nd Vice-President of SBL. He also coordinated the Logic Interest Group at the Brazilian Computer Society (SBC, 2020-2024). Research focuses on formal methods, logic systems, and theorem proving. Notable areas include proof theory, modal logics, concurrent systems, and multi-agent systems formalization. His work intersects theoretical foundations with applied domains like extensible theorem provers and ontology development. Education: D.Sc. in Informatics (PUC-Rio), M.Sc. in Geostatistics (UFAL), B.Sc. in Computer Science (UFAL). Teaches courses such as Logic and Formal Methods (TCC00305), Logic Programming (TCC00304), and Programming I (TCC00308). Active in international collaborations with INRIA and Université Lyon 3. Advances formal methods through projects like the TecMF/PUC-Rio initiative. His research emphasizes logical frameworks for concurrent systems and extensible theorem proving tools.

Lorenzo Galeottiمشاهده پروفایل

پژوهشگر

• Mathematical Logic
• Computability Theory
• Set Theory
• +۳ مورد دیگر

Lorenzo Galeotti is a researcher affiliated with the University of Amsterdam, specifically working within the Mathematical & Computational Logic (MCL) group at Amsterdam University College. His research focuses on foundational aspects of mathematical logic, computability theory, and generalized analysis. Research Interests: Galeotti investigates topics at the intersection of logic, computability, and non-standard mathematical structures. His work includes studying transfinite computability, infinitary intuitionistic set theory, and the properties of generalized real numbers and non-Archimedean fields. He also explores the application of logical frameworks in educational contexts, such as game-based learning tools for propositional logic. Publications: His recent articles address advanced topics in logic, including models of Peano arithmetic fragments, symmetry in infinite-time computation, and surreal number systems. These works reflect a consistent focus on extending classical concepts into transfinite and non-standard domains. Contact: Email correspondence can be directed to l.galeotti@uva.nl .

• Taxation
• Corporate Income Tax
• Tax Legislation
• +۳ مورد دیگر

Sonja Dusarduijn is an Associate Professor at Tilburg University's Tilburg Law School, Department of Tax Law. She is affiliated with the Fiscal Institute Tilburg (FIT) and the Connecting Responsible Organizations research group. Her work focuses on tax legislation, corporate income tax, and Dutch fiscal policy. She has edited major works like the Gribnau bundel and In bewaring, exploring topics such as post-WWII tax administration and legal redress mechanisms. Her research frequently addresses historical tax practices, legal redress, and the intersection of tax policy with societal issues like welfare systems and pension ethics. Recent publications analyze counter-evidence regulations and unintended consequences of income support policies. She contributes to academic publishing through roles at VakstudieNieuws and Maandblad Belasting Beschouwingen. Key research themes include: Taxation history and institutional evolution Legal remedies for tax disputes Ethical dimensions of fiscal policy Policy design impact analysis Her articles reflect engagement with both historical legal analysis and contemporary tax system challenges. Current projects include the 'Connecting Organizations' initiative and tax policy studies under the EMU framework. She leads editorial teams for major tax law publications and maintains active international research collaborations.

• Medical Decision Making
• Health Communication
• Risk Perception
• +۵ مورد دیگر

Angela Fagerlin, PhD, is a Professor in the Department of Population Health Sciences at the University of Michigan School of Public Health. Her work focuses on improving medical decision-making through patient-centered strategies and communication. She has extensive experience in developing decision aids, studying risk perception, and advancing shared decision-making processes in clinical settings. Education: PhD and MA from Kent State University, BA from Hope College. Her research spans clinical decision-making in diverse populations, including veterans, patients with chronic illnesses, and families facing complex medical choices. She has led studies on antibiotic use, diabetes management, lung cancer screening, and end-of-life care. Research interests include healthcare communication, health literacy, and the integration of decision support tools into clinical practice. Notable projects include the RED-AF trial on atrial fibrillation management and the EPIK study for kidney disease interventions. Her work emphasizes equity and reducing disparities in healthcare access and outcomes. Awards and recognitions are not explicitly mentioned, but her contributions to shared decision-making frameworks are widely cited. She collaborates with interdisciplinary teams and contributes to policy initiatives through studies on VA healthcare utilization and high-deductible health plans.