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

Anne Elisabeth Haxthausenمشاهده پروفایل

دانشیار

• Formal methods
• Specification languages
• Semantics
• +۶ مورد دیگر

Anne Elisabeth Haxthausen is an Associate Professor at the Software Systems Engineering section within DTU Compute , Technical University of Denmark . Her work focuses on formal methods, railway control systems, and safety-critical software engineering. Founder and leader of the DTU Railway Verification Group Member of European Technical Working Group on Formal Methods in Railway Control Editorial board member for Springer Formal Aspects of Computing Journal Active in the Overture Language Board Her research emphasizes formal verification of railway interlocking systems, particularly through compositional approaches and automated tools. She has contributed to projects like RobustRailS, Overture, and RAISE, focusing on model-based development and verification. She serves as a tutor for bachelor students and contributes to the advisory committee for DTU's Computer Science and Engineering MSc program. Her recent publications explore challenges in verifying autonomous and AI-driven railway technologies.

Edward N. Zaltaمشاهده پروفایل

پژوهشگر

• Metaphysics
• Formal Ontology
• Philosophy of Mathematics
• +۷ مورد دیگر

Edward N. Zalta is a Senior Research Scholar at Stanford University's Center for the Study of Language and Information (CSLI) and Director of the Metaphysics Research Lab. He served as Principal Editor of the Stanford Encyclopedia of Philosophy from 1995 to 2022 and now serves as Co-Principal Editor. His academic career spans several decades with significant contributions to philosophical logic and metaphysics. Dr. Zalta's educational background includes an honors B.A. from Rice University (1975) and a Ph.D. in Philosophy from the University of Massachusetts/Amherst (1981). He joined Stanford in 1984 as a Postdoctoral Fellow at CSLI, establishing his long-term affiliation with the institution. His research focuses on metaphysics and formal ontology, philosophy of mathematics, computational metaphysics, and intensional logic. Zalta has developed influential theories in object theory and abstract objects, with applications extending to computational metaphysics. His work bridges traditional philosophical inquiry with modern computational approaches, creating new methodologies for metaphysical investigation. He has made significant contributions to understanding the logical foundations of ontology and the philosophical implications of mathematical structures. Zalta's publication record demonstrates consistent scholarly output across five decades, with recent work showing increasing integration of computational methods in metaphysical research. His articles reveal a trajectory from foundational work in object theory toward more applied computational approaches, reflecting the growing interdisciplinary nature of his research. The recurring themes across his work include formal ontological structures, the nature of abstract objects, and the logical frameworks necessary to model complex philosophical concepts. K. Jon Barwise Prize (2016) Covey Award (2009) 2025 Johan von Spix Visiting Professor at the University of Bamberg As Principal Editor of the Stanford Encyclopedia of Philosophy for over 25 years, Zalta has shaped one of the most influential digital humanities projects in philosophy. His work with the Metaphysics Research Lab has fostered numerous collaborations between philosophers and computer scientists. He has received funding to support the development of computational tools for metaphysical reasoning and has supervised research projects at the intersection of philosophy and computer science. The Metaphysics Research Lab at CSLI serves as the intellectual hub for Zalta's work, supporting research in computational metaphysics and formal ontology. The lab has developed several computational frameworks for representing and reasoning about metaphysical concepts, including implementations of object theory in automated reasoning systems. Zalta's research group has collaborated with computer scientists to create tools that bridge philosophical theory with practical computational applications.

Toprak Aslanمشاهده پروفایل

پژوهشگر ارشد

• Atmospheric Sciences
• Biosphere-Atmosphere Interactions
• Carbon Cycle
• +۳ مورد دیگر

Dr. Toprak Aslan is a Research Fellow at the Institute of Landscape Ecology, University of Münster, specializing in biosphere-atmosphere interactions. He holds an Alexander von Humboldt Fellowship and focuses on carbon exchange dynamics in forest ecosystems using eddy covariance techniques. His educational background includes: Ph.D. in Atmospheric Sciences (2025) from the University of Helsinki, with a dissertation on carbon exchange in managed boreal forests. M.Sc. in Atmospheric Sciences (2015) from Istanbul Technical University. B.Sc. in Meteorology (2012) from Istanbul Technical University. Dr. Aslan's research centers on Atmospheric Sciences and Biosphere-Atmosphere Interactions , particularly the carbon cycle in boreal forests. His work integrates micrometeorology and eddy covariance to study fluxes of CO2 and water vapor, with emphasis on forest management impacts. He investigates turbulent flow within forest canopies and develops methods for accurate flux measurements. His recent publications (2021-2025) reveal a strong focus on improving eddy covariance techniques and understanding carbon dynamics in boreal forests. Key themes include the effects of forest thinning on carbon sources, vertical flow decoupling, and high-frequency response corrections for flux measurements. His work spans atmospheric measurement techniques, forest ecology, and climate change impacts. Scientific awards: Alexander von Humboldt Fellow Dr. Aslan actively contributes to collaborative research projects such as PEAT, ACCLIM, ICOS, CERES, EMBER-SIM, COCO, and CLEANFOREST. While no formal advisees are listed, he collaborates extensively with international researchers on forest-atmosphere exchange studies. He is part of the research group led by Prof. Dr. Mana Gharun at the University of Münster, working within the Institute of Landscape Ecology. His current projects involve field measurements and data analysis to advance understanding of ecosystem carbon fluxes under changing environmental conditions.

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

دانشیار

• Formal Methods
• Automated Reasoning
• Cyber-Physical Systems
• +۶ مورد دیگر

Daniel Fremont is an Associate Professor of Computer Science and Engineering at the University of California, Santa Cruz, where he conducts research at the intersection of formal methods and autonomous systems. His work focuses on developing mathematical techniques to improve the reliability of software, hardware, and cyber-physical systems through precise specification, formal verification, automatic synthesis, and principled testing approaches. Dr. Fremont's research interests center on applications of logic in computer science, particularly using automated reasoning to enhance system reliability. His work spans formal methods for cyber-physical systems (CPS), especially autonomous systems that incorporate machine learning. Key research areas include algorithmic improvisation for creating systems with controlled randomness, probabilistic programming through the Scenic language for environment modeling, and formal verification techniques applicable to safety-critical autonomous systems. His group has successfully applied these methods to autonomous vehicles, aircraft systems, and robotics, with significant contributions to both theoretical foundations and practical implementations. The publication record reveals a strong trajectory from theoretical foundations of control improvisation toward practical applications in autonomous systems verification. Early work established the theoretical framework of control improvisation, while recent publications focus on applying these techniques to real-world challenges in autonomous driving, aircraft systems, and AI-based autonomy. A consistent theme across his research is the integration of formal methods with machine learning to address the verification challenges posed by complex, learning-based systems operating in uncertain environments. Best Paper Award at IoTDI 2016 for 'Control Improvisation with Probabilistic Temporal Specifications' Dr. Fremont leads a research group focused on formal methods for autonomous systems, with significant contributions to the development of tools like Scenic (a probabilistic programming language for scenario specification) and VerifAI (a toolkit for formal design and analysis of AI-based systems). His work bridges theoretical computer science with practical engineering challenges in safety-critical autonomous systems, receiving funding from various sources supporting research at the intersection of formal methods and artificial intelligence. The group's approach combines theoretical algorithm development with practical implementation and testing, often collaborating with industry partners working on autonomous vehicle technology. The research group maintains active development of several open-source tools, including the Scenic language for scenario specification and VerifAI for formal analysis of AI systems. They have demonstrated applications across multiple domains including autonomous vehicles, aircraft systems, and robotics, with particular emphasis on simulation-based testing and verification approaches that can provide formal guarantees about system behavior.

• Behavioral Economics
• Behavioral Strategy
• Decision Theory and Applications
• +۲ مورد دیگر

Veronica Roberta Cappelli is an Assistant Professor in the Department of Decision Analysis at IESE Business School. She earned a Ph.D. in Management – Economics and Decision Sciences from HEC Paris, an M.Phil. in Statistics from Bocconi University, and a B.Sc. & M.Sc. in Economics and Social Sciences from Bocconi University. Ph.D., HEC Paris M.Phil., Bocconi University B.Sc. & M.Sc., Bocconi University Her research spans behavioral economics, decision theory, and complex systems, focusing on individual and organizational decision-making under uncertainty and over time. She employs formal, computational, and experimental methods to explore firm growth dynamics and strategic behavior, with publications in the Journal of the European Economic Association and European Journal of Operational Research . Prior to joining IESE, she held postdoctoral positions at the Stanford Graduate School of Business, the Santa Fe Institute, and INSEAD.

• Model-based Systems Engineering
• Safety-Critical Systems
• Systems Engineering
• +۳ مورد دیگر

Dr. Siyuan Ji is a Reader in Model-based Systems Engineering (MBSE) at Loughborough University, serving as Deputy Head of the Manufacturing, Systems & Management Academic Community and Deputy Director of the Doctoral Training Centre in MBSE. He previously held a Senior Lecturer position in Systems Engineering at the University of York, where he led the MSc Programme in Safety-Critical Systems Engineering. His academic journey includes a PhD and MSc in Physics from the University of Nottingham, followed by research roles in model-based systems engineering at Loughborough University. His research focuses on advancing model-based techniques for systems engineering, particularly in safety-critical systems, formal methods, and complex system design. He has contributed to areas such as hazard management (e.g., BSafeML framework), response time analysis in real-time systems, and model synchronization for requirements engineering. His work bridges theoretical foundations with practical applications in automotive systems, embedded software, and educational technology. Dr. Ji holds the title of Fellow of the Higher Education Academy and has published extensively on topics ranging from quantum technology reporting to conversational tutoring systems. His research emphasizes interdisciplinary collaboration, evident in projects like the EPSRC-funded analysis of vehicles as complex systems. He actively contributes to both academic and industrial advancements in systems engineering methodologies and education innovation. His professional roles include managing doctoral training programs, overseeing academic communities, and advancing systems engineering education. Collaborations span industry partnerships and international academic networks, reflecting his commitment to impactful research and training the next generation of systems engineers.

• Industrial robotics
• Teleoperation
• Surgical robotics
• +۶ مورد دیگر

Riccardo Muradore is an Associate Professor at the University of Verona in the Department of Engineering for Innovation Medicine, within the Engineering and Physics section. His academic work focuses on robotics, control systems, and automation technologies with applications across various domains including industrial, surgical, and autonomous vehicle systems. Professor Muradore's research spans several key areas in robotics and control engineering: Industrial robotics and automation systems Teleoperation techniques for remote control of robotic systems Surgical robotics for medical applications Control and systems theory fundamentals Process control and fault detection methodologies Adaptive Optics technologies Unmanned Aerial and Ground Vehicles development His research is supported by numerous national and European projects as well as industry contracts, with notable projects including SARAS (Smart Autonomous Robotic Assistant Surgeon), MURAB (MRI and Ultrasound Robotic Assisted Biopsy), and ISUR (Intelligent Surgical Robotics). Professor Muradore holds several administrative roles including Communication and Third Mission Representative for the Department of Engineering for Innovation Medicine, and serves on various teaching committees and councils. He is affiliated with multiple research groups: ForMe - Formal Methods for the Design of Engineering Systems Networked Systems and Technologies PARCO – Parallel Computing Robotics, Artificial Intelligence and Control Sistemi robotici e automazione (Robotic systems and automation) His teaching portfolio includes Advanced Control Systems, Dynamic Systems, Robotics, Vision and AI, and other courses related to control engineering and robotics.

Chris Rogersمشاهده پروفایل

دانشیار

• Homotopy Theory
• Homological Algebra
• Algebraic Geometry
• +۵ مورد دیگر

Chris Rogers is an Associate Professor of Mathematics (with tenure) at the University of Nevada, Reno (UNR), Department of Mathematics and Statistics, within the College of Science. His research bridges homotopy theory, algebra, and geometry, focusing on applications of homotopy-theoretic methods to abstract algebra, algebraic geometry, and mathematical physics (e.g., formal deformation quantization and topological field theory). His work is supported by the National Science Foundation grant DMS-2305407. Education: Ph.D. in Mathematics from the University of California, Riverside (advised by John Baez), followed by a postdoctoral research fellowship at the University of Göttingen, Germany. His research interests include homological algebra, homotopy algebras, Lie n-algebras, and their connections to geometric structures. Notable publications explore graph complexes, homotopy moment maps, and the integration of L∞-algebras into Lie ∞-groupoids. Research trends reflect a focus on advancing foundational theories in algebraic topology and their applications to physics, with a recurring emphasis on higher structures and categorical frameworks. His grants and collaborations highlight interdisciplinary approaches to geometric and algebraic problems. No formal advisees are listed, but his NSF support suggests active research projects. His personal interests include bicycles, hiking, and the arts.

Adam K Leibovichمشاهده پروفایل

استاد

• Particle Physics
• Gravitational Physics
• High Energy Physics
• +۴ مورد دیگر

Adam K. Leibovich serves as the Dean of the Kenneth P. Dietrich School of Arts and Sciences at the University of Pittsburgh. He holds the rank of Professor and specializes in particle physics, focusing on Standard Model interactions, gravitational waves, and LHC physics. His research employs effective field theory techniques to study quarkonia, radiation reaction in compact binaries, and dark matter constraints. Key awards include AAAS and APS Fellowships (2018 and 2017), the Bellet Teaching Excellence Award (2010), and NSF CAREER and Cottrell Scholar Awards (2006). His work spans over 150 publications, with recent contributions on Higgs boson decays to charmonia and gravitational wave dynamics. Leibovich advises graduate students in theoretical physics and has contributed to LHCb experiments on quarkonium production. His leadership emphasizes interdisciplinary education and cutting-edge research in physics and astronomy.

Atsusi Hirumiمشاهده پروفایل

استاد

• Instructional Design
• E-Learning Systems
• Distance Education
• +۴ مورد دیگر

Dr. Atsusi Hirumi is a Professor of Instructional Technology at the University of Central Florida (UCF), affiliated with the College of Community Innovation and Education and the Department of Learning Sciences and Educational Research. Born in New York and raised in Nairobi, Kenya, he holds a B.S. in Biology from Purdue University, an M.A. in Educational Technology from San Diego State University, and a Ph.D. in Instructional Systems from Florida State University. His research focuses on advancing e-learning systems, particularly in medical education, instructional design, and game-based learning. Key areas include the design of virtual patient simulations (e.g., InterPLAY), evidence-informed curriculum frameworks (AVIDesign), and the impact of multimedia elements like background music on learner performance. He has published over 100 articles and presented globally on topics such as blended learning strategies and competency-based education. Dr. Hirumi has received notable awards, including the Star Faculty Award for teaching and service, and is a two-time recipient of the WebCT Exemplary Online Course Award. His work emphasizes bridging theory and practice, collaborating across institutions to train educators in innovative teaching methods. His recent research highlights include exploring medical students' use of curriculum resources, analyzing the role of background music in learning, and advancing virtual patient simulation methodologies. These efforts aim to optimize educational outcomes in K–12, higher education, and corporate training settings.

Ori Lahavمشاهده پروفایل

دانشیار

• Programming Languages
• Verification
• Concurrency
• +۴ مورد دیگر

Ori Lahav is a faculty member in the School of Computer Science at Tel Aviv University. His research is generously supported by an ERC Starting Grant and an ISF Grant. He actively supervises PhD and MSc students, and seeks highly motivated candidates for postdoc, PhD, and MSc positions in programming language theory, concurrency, and formal methods. Dr. Lahav completed his PhD at Tel Aviv University under the supervision of Arnon Avron. In 2014, he was a postdoctoral researcher at Tel Aviv University hosted by Mooly Sagiv. From 2014 to September 2017, he was a postdoctoral researcher at MPI-SWS in Germany hosted by Viktor Vafeiadis and Derek Dreyer. His primary research areas focus on programming languages and verification, with specialization in concurrency and relaxed memory models. He also has significant interests in proof-theory, semantics of non-classical logics, and automated reasoning. His work bridges theoretical foundations with practical applications in programming language design and implementation. Dr. Lahav's publication record shows a consistent trajectory of high-impact research in top-tier conferences including PLDI, POPL, OOPSLA, and ESOP. His recent work (2023-2025) demonstrates continued leadership in memory models, concurrency semantics, and verification techniques. His research spans both theoretical contributions in denotational semantics and practical tools for verification. Best Paper Award DISC 2024 Best Student Paper Award DISC 2024 Distinguished Artifact Award ESOP 2022 Distinguished Paper Award OOPSLA 2021 Kleene Award for Best Student Paper LICS 2013 Dr. Lahav actively advises students including Yoav Ben Shimon, Yotam Dvir, Amir Karniel, and Roy Margalit (PhD students), Yuval Katsman Ezra (MSc student), and has alumni including Ori Saporta (MSc) and Abhishek Kr Singh (postdoc, now Assistant Professor at IIIT Hyderabad). He has organized significant events including VMCAI 2024 and Dagstuhl Seminars on persistent programming. His teaching portfolio includes courses on Shared Memory Concurrency Semantics, Programming Language Foundations, and Software Foundations in Coq.

Giacomo De Giorgiمشاهده پروفایل

استاد

• Economic Development
• Labour Economics
• Household Finance
• +۴ مورد دیگر

Giacomo De Giorgi is a Full Professor of Economics at the University of Geneva’s Geneva School of Economics and Management (GSEM), affiliated with the Institute of Economics and Econometrics. He previously held roles as Assistant Professor at Stanford University (2006–2013), Visiting Professor at UC Berkeley (2010–2011), Wesley Mitchell Visiting Professor at Columbia University (2012–2013), Research Professor at ICREA-MOVE Barcelona (2013–2014), Senior Economist at the New York Federal Reserve (2014–2016), and currently holds a Visiting Professorship at UC Irvine (since 2018). He is an Associate Editor of the Journal of the European Economic Association and a member of BREAD, CEPR, and IPA. Education: Ph.D., University College London. His research focuses on Economic Development, Labour Economics, Household Finance, and Entrepreneurship . Notable contributions include studies on cash transfer programs’ spillover effects, family networks’ impact on education, and credit market dynamics. He co-launched the Virtual Development Economics Seminar Series (VDEV/Channel) in 2020. Recent articles explore lifecycle inequality between racial groups, post-default economic dynamics, and SDG tracking in crises. His work appears in top journals like the American Economic Review, Review of Economic Studies, and Journal of Development Economics. Awards: Banamex Prize (2020). Teaching includes Development Economics, Labor Economics, and Advanced Econometrics. He has advised numerous institutions and co-authored influential papers on topics like informal firms’ formalization and consumption networks. He is actively involved in interdisciplinary collaborations, presenting globally on themes like refugees’ poverty, farming transitions, and financial crisis narratives.

Rachel Harrisonمشاهده پروفایل

استاد

• Software Engineering
• Machine Learning
• Requirements Engineering
• +۳ مورد دیگر

Professor Rachel Harrison is a Professor in Computer Science at the School of Engineering, Computing and Mathematics, Oxford Brookes University. Her research focuses on software metrics, machine learning, and requirements engineering with emphasis on empirical and automated software engineering solutions. She has over 160 publications and extensive industry collaborations with organizations like IBM and Philips Research Labs. Her work has been recognized through roles as Editor-in-Chief of the Software Quality Journal and leadership in conferences such as ICSE and ESEM. She leads the Dependable System Engineering Centre (DSERC) and is part of the Artificial Intelligence, Data Analysis and Systems (AIDAS) Institute and the Applied Software Engineering and Data Analytics (ASEDA) Group. Her research projects include AI applications for big data analysis (AIMi), automated review classification (ReClass), and software quality improvement (SEQUIN). Professor Harrison has served on over 50 international program committees and initiated workshops like RAISE and AIRE. Her teaching includes advanced computer science modules and leadership in courses like Essential Maths for University Study and Advanced Software Development . Her work bridges academic research and practical applications, particularly in healthcare technology (e.g., diabetes management systems) and mobile application usability. She advocates for rigorous software quality practices and has contributed to frameworks for requirements validation and risk assessment in software projects.

• Pain Management
• Opioid Therapy
• Substance Abuse
• +۳ مورد دیگر

Maryam Kazemitabar is an Associate Research Scientist in the Department of Internal Medicine at Yale University's School of Medicine. She holds a Ph.D. in Psychometrics from the University of Tehran (2020). Her work bridges research and clinical practice to improve patient outcomes in pain management, opioid therapy, and substance abuse. She collaborates with multidisciplinary teams to develop evidence-based interventions, leveraging her expertise in psychometric evaluation. Education: Ph.D. in Psychometrics (Measurement and Evaluation), University of Tehran, 2020 Research Interests: Pain management strategies and opioid-related risks Substance use disorders and comorbid mental health conditions Psychometric validation of health assessment tools Health equity in marginalized populations Research Trends: Recent work focuses on opioid overdose epidemiology, disparities in healthcare for migrant populations, and psychometric rigor in cross-cultural mental health measurement. Key methodologies include latent class analysis, scale validation, and mixed-methods approaches. Advising & Grants: While specific grants are not listed, her collaborative projects imply institutional and federal funding support. No formal advisees are documented here.

Sebastien Bradleyمشاهده پروفایل

دانشیار

• International Economics
• Public Economics
• Applied Econometrics
• +۷ مورد دیگر

Sebastien Bradley is an Associate Professor in the Department of Economics at LeBow College of Business, Drexel University. His research focuses on international economics, public economics, applied econometrics, and real estate and managerial economics. He has published in top-tier journals such as The Lancet Global Health , American Economic Journal - Economic Policy , and Journal of Accounting and Economics . His research interests include tax policy, international taxation, behavioral responses in markets, and empirical analysis of public policies. Key themes in his work involve IP Box regimes, territorial tax systems, patent activity, airline tax disclosure, and real estate transaction timing. His methodological expertise lies in panel data analysis, gravity models, and econometric evaluation of policy impacts. The recent publications reflect a strong trend in analyzing the economic effects of tax reforms globally, particularly on corporate behavior, innovation, and consumer decision-making. His interdisciplinary work bridges economics, public policy, and business strategy, often using large-scale datasets and causal inference methods. While no scientific awards are mentioned in the provided text, his publication record in high-impact journals indicates significant scholarly recognition. He has collaborated with researchers across institutions and disciplines, contributing to studies on global health aid and international tax competition. Bradley advises on economic policy implications and has been cited in media outlets such as RTE regarding airline fee structures. Although no formal advisees or grant information is listed, his extensive publication record suggests active research leadership. He is based at Gerri C. LeBow Hall, Drexel University, where he contributes to the academic mission of the economics faculty.