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

H. Scott Asayمشاهده پروفایل

دانشیار

• Financial Accounting
• Disclosure
• Judgment and Decision Making
• +۷ مورد دیگر

H. Scott Asay is an Associate Professor of Accounting at the Tippie College of Business, University of Iowa, where he holds the Tippie Children Professorship in Accounting and serves as Director of the RSM Institute of Accounting Education and Research. He received his PhD and MS from Cornell University's Samuel Curtis Johnson Graduate School of Management. Research Interests: His research focuses on financial accounting, disclosure practices, and the judgment and decision-making processes of managers and investors. He investigates how narrative disclosures, presentation formats, and information environments influence financial reporting and investor behavior. His work often employs experimental methods to test behavioral theories in accounting contexts. The recent publications of H. Scott Asay span top journals such as The Accounting Review , Journal of Accounting and Economics , and Journal of Management Accounting Research . The articles reflect a consistent theme in behavioral accounting, with strong emphasis on disclosure format, investor cognition, managerial communication, and information asymmetry. Key trends include the psychological effects of numerical precision, platform design on investor perception, and strategic use of language in financial reporting. Scientific Awards & Honors: Outstanding Reviewer Award - Contemporary Accounting Research, 2024 Midyear Meeting Connecting to Practice Award - American Accounting Association, FARS, 2024 ABO Outstanding Service Award - American Accounting Association, 2021 David and Lois Gardner Faculty Award for Mid-Career Excellence - Tippie College of Business, 2020 Doctoral Fellowship - Deloitte Foundation, 2012 Advising and Service: While no formal advisees are listed, he frequently collaborates with junior researchers and PhD students. He has held significant editorial roles, serving on the boards of Contemporary Accounting Research , The Accounting Review , and Journal of Financial Reporting , indicating strong engagement with the academic community and mentorship through peer review. Labs and Research Centers: As Director of the RSM Institute of Accounting Education and Research, he leads initiatives focused on advancing accounting education and supporting empirical and experimental research in accounting. This role underscores his commitment to academic development and institutional leadership in the accounting discipline.

• American Philosophy
• Pragmatism
• History of Philosophy
• +۶ مورد دیگر

Scott L. Pratt is Professor and Department Head of Philosophy at the University of Oregon. His work spans American philosophy, logic, and Indigenous thought, with a focus on decolonial methodologies and educational philosophy. As co-director of the Central European Pragmatist Forum and PLURILOG research project, he bridges interdisciplinary studies of logic and cultural plurality. Beloit College (BA) University of Minnesota (PhD) His research examines how logic shaped colonization and informs anti-colonial efforts, as seen in his forthcoming book Against Critical Reason . Articles highlight intersections of pragmatism, Indigenous agency, and critiques of Eurocentric epistemologies. Academic leadership includes past roles as Vice Provost and Dean of the Graduate School. Scientific Awards: 2024 Joseph L. Blau Prize 2022 Inter-American Philosophy Prize Pratt teaches courses on American philosophy, Native American philosophy, and advanced logic. He co-founded the Josiah Royce Society and served as President of the Society for the Advancement of American Philosophy, contributing to faculty union organizing at the University of Oregon.

Yakov B. Pesinمشاهده پروفایل

استاد

• Dynamical Systems
• Nonuniform Hyperbolicity Theory
• Partial Hyperbolicity Theory
• +۱۱ مورد دیگر

Yakov B. Pesin is a Distinguished Professor in the Department of Mathematics at the Pennsylvania State University, within the Eberly College of Science. He is also the Director of the Anatole Katok Center for Dynamical Systems and Geometry, a leading research hub in dynamical systems. He holds a tenured, full-time faculty position and is actively engaged in research and academic leadership. B.S./M.S. in Mathematics, Moscow State University (1970) Ph.D. in Mathematics, Gorky State University (1979) Pesin's research is centered on dynamical systems , with profound contributions to nonuniform hyperbolicity theory (known as Pesin Theory), partial hyperbolicity , ergodic theory , dimension theory , and mathematical physics . His work underpins the mathematical understanding of deterministic chaos, particularly through the Pesin entropy formula , which links entropy to Lyapunov exponents. He has also made seminal advances in the study of SRB measures, geodesic flows, and coupled map lattices. The trends in his recent publications (2016–2023) reveal a sustained focus on extending thermodynamic formalism to non-uniformly hyperbolic and partially hyperbolic systems, constructing SRB measures via geometric methods, analyzing equilibrium states , and exploring multifractal and dimensional properties of invariant measures. His collaborations span leading figures in the field, and his work appears in top-tier journals such as Annals of Mathematics , Communications in Mathematical Physics , and Ergodic Theory and Dynamical Systems . Pesin has received numerous honors, including: Fellow of the American Mathematical Society (Inaugural Class, 2012) Member of Academia Europaea (2019) Member of the American Academy of Arts and Sciences (2023) Michael Brin Prize in Dynamical Systems He has advised many PhD students and contributed significantly to mathematical education through the MASS program at Penn State. While specific student names are not listed in the provided texts, his role as a thesis advisor is explicitly mentioned. Pesin has also been invited to deliver distinguished lectures worldwide, including at SIAM and AMS meetings and the Bernoulli Lecture series. His research is supported by long-standing academic and collaborative networks rather than specific grant details mentioned here. He leads the Anatole Katok Center, which fosters interdisciplinary research in dynamics and geometry.

Johannes Kinderمشاهده پروفایل

استاد

• Software Security
• Program Analysis
• Machine Learning
• +۳ مورد دیگر

Prof. Dr. Johannes Kinder is a Professor and Chair of Programming Languages and Artificial Intelligence at the Institute of Informatics , Ludwig Maximilian University of Munich. His research focuses on software security through program analysis and machine learning, particularly targeting malware detection , vulnerability analysis , and reverse engineering . He has held faculty positions at Royal Holloway, University of London, and Bundeswehr University Munich. Research Interests include: Securing software systems via program and machine learning techniques Detection of software vulnerabilities and malware Preventing exploitation through binary analysis Applications of formal methods in systems security Recent Publications highlight advancements in binary function embedding , malware detection in npm , and speculative execution attack modeling . His work appears in top venues like USENIX Security and IEEE S&P . Education : Diplom from TU Munich (2005), Doctorate from TU Darmstadt (2010). Professional Roles : General Chair, ACM CCS 2019 Doctoral Symposium Chair, ESSoS 2016 Program Committee member for NDSS 2026, IEEE S&P 2022-2025

• Model-Based Testing
• Automata Theory
• Machine Learning
• +۵ مورد دیگر

Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.

• Instructional Design
• Educational Technology
• Computing Education
• +۷ مورد دیگر

Marisa Exter serves as Associate Professor of Learning Design and Technology within Purdue University's Department of Curriculum and Instruction since 2020, following promotion from Assistant Professor (2013-2020). With 15+ years of software design and development experience, she holds dual expertise in Computer Science (BS/MS) and Instructional Systems Technology (PhD). Her educational foundation includes: PhD in Instructional Systems Technology, Indiana University (2011) MS in Computer Science, Illinois Institute of Technology (2003) BS in Computer Science, Elmhurst College (1999) Dr. Exter's research pioneers transdisciplinary educational innovation , focusing on how design processes transform technology-creation fields like Instructional Design, Computing, and Engineering. She investigates formal and non-formal learning experiences to enhance undergraduate education through interdisciplinary programs, while simultaneously examining online graduate program structures that support adult learners' connection to faculty and peers. Her work integrates heutagogical principles for lifelong learning and rigorously documents design successes/failures through scholarly design cases. Analysis of her 15 most recent publications reveals accelerating focus on dispositional development in computing professions , competency-based curriculum models, and transdisciplinary experience design. Her methodological evolution includes increased use of Q methodology and collaborative autoethnography to capture diverse perspectives in educational innovation. As Purdue PI for a $3M multi-institutional computing competencies grant and co-coordinator of AECT's Summer Research Symposium, she drives national curriculum reform. Her mentorship approach cultivates the Exploring Disruptive Education research family group, which investigates interdisciplinary design processes across technology-rich learning environments. Professional service spans Computing Curriculum 2020 Task Force leadership and ACM/AERA membership. The Exploring Disruptive Education research collective she co-leads operates as an interdisciplinary incubator for educational innovation. This team examines how design thinking transforms learning experiences through technology integration, with particular emphasis on creating connections between formal education and industry practices in computing and engineering fields.

Konrad Burchardiمشاهده پروفایل

استاد

• Development Economics
• Labor Economics
• Agricultural Economics
• +۳ مورد دیگر

Konrad Burchardi is Professor of Economics at the Institute for International Economic Studies (IIES) at Stockholm University. His academic work focuses on understanding economic development processes and the social foundations of economic behavior, with significant contributions to development economics and migration studies. Professor Burchardi obtained his PhD in Economics from the London School of Economics (LSE), with prior studies conducted in Munich, Aix-en-Provence, and at LSE. His educational background reflects a strong international foundation in economic theory and development perspectives. His research primarily centers on productivity growth at early stages of economic development and the social underpinnings of economic interactions. Key contributions include field experiments on sharecropping contracts in developing countries, demonstrating how output-sharing rules affect agricultural productivity, and research showing how migration ancestry influences foreign direct investment patterns. His work spans agricultural economics, migration studies, experimental economics, and economic networks, often employing rigorous field and natural experimental designs to establish causal relationships. Analysis of Professor Burchardi's publication record reveals consistent contributions to top economics journals with a focus on development and labor economics. His work shows an evolution from examining micro-level economic behaviors in developing countries to broader questions about migration networks and their economic impacts. His recent publications indicate increasing attention to historical economic data and financial inclusion, with work scheduled through 2025.

• Cardiovascular Research
• Structural Biology
• Drug Design
• +۷ مورد دیگر

Professor Alexander Breeze is a Chair in the School of Medicine at the University of Leeds, affiliated with the Multidisciplinary Cardiovascular Research Centre. His research focuses on structural biology, drug design, and molecular mechanisms of disease, particularly involving protein-protein interactions and NMR spectroscopy. Key areas include RAS oncogene inhibition, fibroblast growth factor receptors (FGFRs), and amyloid aggregation modulation. Education Background: Details of formal education not explicitly provided in the text, but extensive career history in structural biology and medicinal chemistry suggests advanced degrees in relevant fields. Research Interests: Professor Breeze’s work spans cardiovascular research, cancer biology, and infectious diseases. He develops novel therapeutics targeting oncogenic signaling pathways (e.g., RAS, FGFR) and investigates mechanisms of protein misfolding in amyloid diseases. His lab employs fragment-based drug design, NMR spectroscopy, and computational methods to study protein dynamics and drug interactions. Publications Overview: His recent work highlights advancements in small-molecule inhibitors for RAS proteins, CRACR2A genetic associations with COVID-19 severity, and modulation of amyloid aggregation pathways. Research trends emphasize translational applications, bridging basic science and clinical targets like cancer and neurodegenerative diseases. Awards & Recognition: No specific awards mentioned in the provided text, though his sustained high-impact publications suggest recognition in the field. Grants & Advising: Leadership in multidisciplinary cardiovascular research and training of early-career researchers through collaborative projects. No explicit grant details provided in this dataset. Labs & Teams: Active in the Multidisciplinary Cardiovascular Research Centre, fostering cross-departmental collaborations in cardiovascular and structural biology research.

John McGeeمشاهده پروفایل

استاد

• Natural Resource Management
• Geospatial Applications
• Technology Transfer

Dr. John McGee serves as Professor and Geospatial Extension Specialist in the Department of Forest Resources and Environmental Conservation at Virginia Polytechnic Institute and State University (Virginia Tech), within the College of Natural Resources and Environment. He holds a B.A. from the University of North Carolina Chapel Hill (1988), M.A. from the University of North Carolina Charlotte (1992), and Ph.D. from the University of Massachusetts Amherst (1997). VirginiaView (www.virginiaview.net) GeoTEd (www.geoted.org) Virginia Geospatial Extension Program (http://gep.frec.vt.edu/) Urban Tree Canopy Program (http://gep.frec.vt.edu/va_utc.html) Dr. McGee's research focuses on Natural Resource Management, Geospatial Applications, and Technology Transfer, with particular emphasis on practical applications of geospatial technologies in urban forestry, natural resource management, and education. His scholarly work demonstrates consistent integration of academic research with community-based applications, particularly through the development of decision support tools for local governments assessing urban tree canopy and creating accessible educational resources for diverse audiences. His publications reveal strong thematic patterns across geospatial education, urban forestry applications, and sustainable tourism research. The most recent works emphasize workforce development through geospatial technician education, innovative educational approaches using geocoins and web-based mapping, and interdisciplinary applications of GPS tracking in tourism research. Distinguished Geospatial Education Partner Award (2015) AmericaView Education Award (2013) Virginia Tech XCaliber Award (Team Nomination, 2014) Special Achievement in GIS Award (SAG) (2004) Dr. McGee has directed significant extension efforts including the Virginia Geospatial Extension Program, which has conducted over 100 workshops between 2009-2014, directly training more than 1,300 individuals with multiplied impact through 'train the trainer' approaches. He co-founded Virginia's first formal geospatial mentoring program and serves as Co-PI of VirginiaView, coordinating national geospatial education initiatives through AmericaView while maintaining seven professional listservs and social media resources.

• Automated reasoning
• Formal methods
• Autonomous systems
• +۵ مورد دیگر

Zhe Hou is a Senior Lecturer at the School of Information and Communication Technology , Griffith University, Australia. His academic journey includes a PhD in automated reasoning for separation logic from the Australian National University (2015) and prior research roles at Nanyang Technological University, Singapore (2015-2017). He joined Griffith University in 2017 and became permanent faculty in late 2019. Research Interests : Formal methods for software verification Automated reasoning with logical frameworks Blockchain technology and security Quantum computing verification Integration of LLMs with rigorous reasoning Sports analytics via model checking Recent Publications demonstrate expertise in neural-symbolic reasoning, blockchain security, quantum SAT solvers, and runtime verification frameworks. His work combines formal logic with machine learning for applications in cybersecurity and AI trustworthiness. Scientific Awards : ACM SIGSOFT Distinguished Paper Award (2025) Supervision Roles : Principal/Associate Supervisor for 6+ doctoral projects in blockchain security, AI verification, and network security. Professional Activities : Editor for Springer-Nature and Formal Aspects of Computing special issues, conference chair for ICFEM, ICECCS, and ISACE symposia.

Robert Bruce Findlerمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Macro Systems
• +۲ مورد دیگر

Robert Bruce Findler is a Professor of Computer Science at Northwestern University, specializing in programming languages and software engineering. He serves as a core developer of the Racket programming language and has contributed extensively to language design, macro systems, and gradual typing. Affiliation: Department of Electrical Engineering and Computer Science, McCormick School of Engineering Research Interests: Programming Languages (PL), Domain-Specific Languages (DSLs), Macro Systems, Gradual Typing, Contracts His work spans both theoretical and practical domains, including the development of Racket's Redex framework for semantics engineering and innovative approaches to contract systems in gradual typing. He has been actively involved in the PL community through committee memberships and program organization. Recent research focuses on macro systems (Rhombus), contract optimization (Collapsible Contracts), and language interoperability (The Functional, the Imperative, and the Sudoku). His GitHub contributions reflect ongoing development in Racket and related tools. Key Collaborations: Racket development ecosystem, PLDI/POPL/ICFP/SPLASH conferences Committee Roles: ICFP Programme Committee, REBLS Program Committee, POPLmark Retrospective Panelist

Siegfried Handschuhمشاهده پروفایل

استاد

• Semantic Technologies
• Information Linguistics
• Information Extraction
• +۴ مورد دیگر

Professor Siegfried Handschuh holds dual academic appointments as Associate Professor at the University of Passau and Ordinary Professor for Data Science at the University of St. Gallen. His research spans semantic technologies, information linguistics, and artificial intelligence applications in the humanities, with significant funding from the EU, Science Foundation Ireland, and Enterprise Ireland. His research focuses on making big data workable for humanities scholars through innovative AI approaches. Handschuh's work addresses critical challenges in digital humanities including inconsistent and non-integrated data with varying quality. His research interests encompass semantic technologies, information linguistics, information extraction, and distributional semantics, with particular emphasis on applying AI to art history and cultural heritage. Handschuh has coordinated numerous international research projects including the Digital Aristotle project initiated by Microsoft founder Paul Allen, which aimed to develop AI-powered educational tools. His Neoclassica project teaches machines to recognize neoclassical objects through formal language processing, while the PACE initiative establishes the Passau Centre for eHumanities as a research hub. Other significant projects include EU-Project MARIO for healthy aging with care robots and various studies on human-machine interaction. His scientific contributions focus on developing new tools for humanities researchers that leverage artificial intelligence to uncover novel contexts and relationships in cultural data. Handschuh's work bridges computer science with humanities disciplines, creating practical applications for semantic technologies in cultural heritage analysis.

Fabrizio Riguzziمشاهده پروفایل

استاد

• Logic Programming
• Statistical Relational Artificial Intelligence
• Probabilistic Logic Programming
• +۳ مورد دیگر

Fabrizio Riguzzi is a Full Professor at the Department of Mathematics and Computer Science of the University of Ferrara, Italy. His academic career spans over two decades at the same institution, having served as Associate Professor (2014-2020) and Assistant Professor/Ricercatore (1999-2014). He is an active researcher in the fields of Logic Programming and Statistical Relational Artificial Intelligence with numerous publications and leadership roles in international conferences. His educational background includes: PhD in Electronic and Computer Engineering from the University of Bologna (1999) Laurea in Computer Engineering from the University of Bologna (1995) Riguzzi's research focuses on probabilistic approaches to artificial intelligence, particularly probabilistic logic programming and statistical relational AI. His work bridges symbolic reasoning with probabilistic methods, developing frameworks for uncertain knowledge representation and reasoning. He has made significant contributions to probabilistic answer set programming, neuro-symbolic integration, and applications in areas like network intrusion detection and knowledge graph completion. His research demonstrates how logical formalisms can be enhanced with probabilistic reasoning to tackle real-world problems with uncertainty. An analysis of his recent publications reveals a strong trend toward integrating neural and symbolic approaches in AI, with significant work on probabilistic answer set programming frameworks. His research spans theoretical foundations of probabilistic logic programming, practical implementations, and applications in cybersecurity, knowledge graphs, and decision-making under uncertainty. The interdisciplinary nature of his work connects computer science theory with practical AI applications. His notable awards include: Alain Colmerauer 10-Year Test-of-Time Award at ICLP 2021 Best Paper Award for "BUNDLE: A Reasoner for Probabilistic Ontologies" at RR-2013 Highly Commended Paper Award for "Probabilistic declarative process mining" at KSEM 2010 Riguzzi has supervised several PhD students to completion, including Elena Bellodi, Riccardo Zese, and Giuseppe Cota, who have gone on to win prestigious awards for their theses. He has served in numerous editorial roles, including Associate Editor of the Journal of Artificial Intelligence Research and Editor in Chief of Intelligenza Artificiale. His leadership extends to organizing major conferences like ILP 2018 and serving on program committees for top AI venues including IJCAI, AAAI, and ECAI. He is a member of the ML@unife research group and has developed several online systems including cplint, TRILL, and an Online AUC calculator. His work has fostered collaborations across the AI research community, particularly in the areas of probabilistic logic programming and neuro-symbolic AI.

• Software Engineering
• Programming Languages
• Systems
• +۴ مورد دیگر

Manuel Rigger is an Assistant Professor at the National University of Singapore (NUS), leading the TEST Lab (Trustworthy Engineering of Software Technologies) within the PL/SE group at the School of Computing. His research focuses on improving the reliability of data-centric systems through automated testing frameworks and formal methods. Education : PhD from Johannes Kepler University Linz (supervised by Hanspeter Mössenböck), postdoctoral work at ETH Zurich (Advanced Software Technologies Lab under Zhendong Su). Research Interests : Automated testing of database systems Programming language design and verification Incremental build systems Formal methods for software reliability Key Contributions : Developed tools like SQLancer (for finding bugs in databases) and CERT (performance issue detection). His work has uncovered over 800 bugs in real-world systems. Awards : Recipient of the ERC Consolidator Grant (2025) for groundbreaking research in software security and testing. Service Roles : Organizer of ICFP/SPLASH 2025 Outdoor Activities, committee member for OOPSLA Review, PLDI Artifact Evaluation, and ICSE Program Committee. Also actively involved in organizing workshops (e.g., Fuzzing & Software Security Summer School 2025).

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

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University. Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic). The group's research spans concurrent systems , embedded systems , quantitative model checking , runtime monitoring , and trustworthy AI . They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software. Recent publications highlight trends in quantitative automata , fairness in AI , quantum algorithms , and automata theory , reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring). Honors & Awards: 2024 Fellow of the Royal Society 2020 Member, US National Academy of Sciences 2015 Royal Society Milner Award 2012 Wittgenstein Award 2006 ACM and IEEE Fellow 1995 NSF CAREER and ONR Young Investigator Awards Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE). Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.