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

Annalisa Croceمشاهده پروفایل

استاد

• Entrepreneurship
• Venture Capital
• Business Angels
• +۷ مورد دیگر

Annalisa Croce is a Full Professor at the Graduate School of Management, Politecnico di Milano, where she teaches courses including Business Data Analytics and Economia e Organizzazione Aziendale (Business Economics and Organization) at undergraduate and graduate levels since 2014. She serves as Director of the Executive MBA Part Time program and Teaching Area Coordinator for Finance. Her educational background includes: PhD in Management Economics and Industrial Engineering, Politecnico di Milano Master of Science in Management Engineering, Politecnico di Milano Professor Croce's research specializes in empirical analyses of entrepreneurial finance, with core expertise in venture capital, business angel investments, and corporate governance in high-tech firms. Her work spans corporate finance dynamics, innovation economics, efficiency estimation across sectors, and emerging fields like social impact finance and climate finance. She employs diverse empirical methodologies to examine financing mechanisms, ownership structures, and innovation determinants in entrepreneurial ventures. Analysis of her 15 most recent publications reveals intensifying focus on gender diversity in venture capital, internationalization of angel investments, cleantech policy frameworks, and digital transformation in entrepreneurial finance. The trajectory shows growing integration of machine learning approaches and heightened attention to sustainability themes, particularly climate finance and social impact investing since 2021. Her honors include: Gate2Growth 2006 Second Best Paper Award for 'Venture Capital and the Investments of New Technology Based Firms' European Community Short-Term Scientific Mission grant (COST-STSM-IS0604-06244) at Universidad Complutense de Madrid Professor Croce directs the Bureau of Entrepreneurial Finance and serves on the Scientific Committee of Politecnico di Milano's Observatory of Climate Finance. She holds extensive editorial responsibilities including Board of Review membership for Journal of Business Venturing, Editorial Review Board for Entrepreneurship Theory and Practice, and guest editorship for Technological Forecasting and Social Change special issue on digital entrepreneurial finance. Her peer review work spans top journals in economics, finance, and management.

Michael Coblenzمشاهده پروفایل

استادیار

• Usability of programming languages
• User-centered programming language design
• Type systems for safety
• +۶ مورد دیگر

Michael Coblenz is an Assistant Professor in the Computer Science Department at University of California, San Diego. His research focuses on integrating user-centered design into programming language development, creating safer languages for blockchain and scientific computing. He completed his Ph.D. at Carnegie Mellon University under Jonathan Aldrich and Brad A. Myers, followed by a Basili postdoctoral fellowship at University of Maryland. Specializes in usability of programming languages Created Obsidian language for safer smart contracts Developed PLIERS methodology for iterative language design Active in Rust usability and REST API quality research His work bridges programming languages and human-computer interaction, with recent projects including Kale (safer spreadsheets) and climate change-focused programming tools. He has served on program committees for SPLASH, VL/HCC, and HATRA conferences. 2025: Graduate Consortium Co-chair at VL/HCC 2024: HATRA Organizing Chair 2023: Doctoral Symposium Chair at SPLASH

Cyrus Omarمشاهده پروفایل

استادیار

• Programming Languages
• Human-Computer Interaction
• Software Engineering
• +۴ مورد دیگر

Cyrus Omar is an Assistant Professor of Computer Science at the University of Michigan, affiliated with the Department of Computer Science and Engineering and the College of Engineering. He leads the Future of Programming Lab, which focuses on creating live programming environments and collaborative tools like Hazel and Grove. His research bridges programming languages, human-computer interaction, and education. Education and Mentorship: Omar redesigned EECS 490 (Programming Languages) and mentors over 150 undergraduates annually, many of whom co-author top-tier conference papers. He emphasizes structured onboarding for students and has trained researchers now in academia and industry. Research Interests: Develops live programming environments (e.g., Hazel) for working with incomplete code, collaborative editing systems (Grove), and AI-enhanced tools. His work emphasizes usability, creativity, and accessibility in coding. Recent projects include bidirectional typing, typed holes, and integrating large language models into IDEs. Awards: NSF CAREER Award (2023), 1938E Award (2025), and multiple Distinguished Paper Awards at OOPSLA, POPL, and SPLASH. His grants include NSF funding for live program sketching environments. Lab & Teams: The Future of Programming Lab explores programming experience design, with projects like Rustviz and structured editing frameworks. Collaborates on tools for test-driven scientific model validation and neural interface design.

Werner Dietlمشاهده پروفایل

دانشیار

• Programming Languages
• Static Analysis
• Software Security
• +۴ مورد دیگر

Werner Dietl is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. His work focuses on programming languages, static analysis, software security, and formal verification techniques. He has contributed to type system design, low-power computing, and approximate data types through projects like EnerJ. His research also addresses challenges in compiler design, cryptographic protocol validation, and runtime enforcement mechanisms. Key research areas include: Type systems for imperative and domain-specific languages Static analysis of implicit control flow (e.g., Java reflection, Android intents) Approximate computing and energy-efficient computation Formal verification of security properties Publications span topics from unit measurement type inference to ownership-based security models, reflecting a focus on practical formal methods. His work emphasizes scalability and precision in type systems while addressing real-world software engineering challenges.

Stephanie Balzerمشاهده پروفایل

استادیار

• Programming Languages
• Program Verification
• Type Theory
• +۷ مورد دیگر

Dr. Stephanie Balzer is an Assistant Professor in the Principles of Programming Group at Carnegie Mellon University's School of Computer Science. Her research focuses on enabling failure-free software through formal methods like type systems and verification logics. She emphasizes compositional proofs for scalability and practical validation via software artifacts. Programming Languages Type Theory Program Verification Concurrency & Security Her recent work explores timed protocols, disentanglement logic, and multiparty session types. Articles demonstrate semantic logical relations for termination (2025), deadlock freedom in Rust embeddings (2022), and information flow control (2024). Key collaborative papers address cyclic process networks and separation logic frameworks. Scientific recognition includes: NSF CAREER Award (2025) ACM SIGPLAN Distinguished Paper (2022) ECOOP Distinguished Paper (2022) She supervises PhD candidates Yue Yao, Yinsen Zhang, and Zak Kent (with Guy Blelloch), plus Master's student Sonya Simkin. Former advisee Jules Jacobs received Cum Laude distinction at Radboud University. Active in academic service, Balzer chairs PLMW@POPL workshops and co-organizes Oregon Programming Language Summer School. She serves on program committees for LICS, POPL, and ICFP.

Robbert Krebbersمشاهده پروفایل

دانشیار

• Semantics
• Separation logic
• Theorem proving
• +۷ مورد دیگر

Robbert Krebbers is an associate professor at the Department of Software Science at Radboud University Nijmegen, Netherlands. He is a leading researcher in program verification, specializing in separation logic and the Coq proof assistant. Krebbers is a core contributor to the Iris framework, a higher-order concurrent separation logic framework implemented in Coq. His research spans theoretical foundations of programming languages and practical applications to real-world languages including C, Rust, and Scala. His research interests focus on scaling program verification techniques to challenging programming paradigms like concurrency, higher-order functions, and modules. Krebbers' work bridges formal methods with practical language implementation, particularly in verifying memory safety and concurrency properties. He has made significant contributions to Rust verification through the RustBelt project and has pioneered techniques for verifying concurrent data structures and message-passing systems. Krebbers' recent publications demonstrate a strong trend toward verifying complex concurrency patterns, developing automated proof techniques, and applying separation logic to practical programming language features. His work frequently appears in top-tier programming languages conferences including POPL, PLDI, and ICFP, with several papers receiving distinguished paper awards. The research spans from foundational logic development to practical verification tools for real-world programming languages. As a principal investigator in the Iris project, Krebbers has secured significant research funding including the ERC Consolidator Grant for the RustBelt project. His work has influenced both academic research and industrial practice, particularly in the Rust programming language ecosystem. The Iris framework he helped develop has been adopted by numerous verification projects worldwide. Krebbers has advised PhD students including Ike Mulder (focusing on proof automation for concurrent separation logic) and Jules Jacobs (working on guarantees by construction). He has been actively involved in the programming languages research community, serving on program committees for major conferences and organizing workshops on formal methods and verification. He leads research in the Department of Software Science at Radboud University, where his group focuses on developing foundational techniques for program verification. The group collaborates closely with the Logic and Semantics Group and Foundations of Programming Group across institutions, contributing to a vibrant research ecosystem around formal methods and programming languages.

Craig Harperمشاهده پروفایل

دانشیار

• Forensic Psychology
• Attitudes toward Sexual Offenders
• Atypical Sexuality
• +۶ مورد دیگر

Craig Harper is an Associate Professor in the Department of Psychology at Nottingham Trent University's School of Social Sciences. He specializes in forensic psychology, focusing on attitudes toward sexual offenders, atypical sexualities, and political psychology. His research explores how cognitive processes like heuristics and affect influence public attitudes toward marginalized groups, including individuals with sexual convictions and sex doll owners. He co-leads the Harm and Stigma Prevention in Forensic Psychology (HASP-FP) Research Group and chairs the Psychology Open Research Forum, advocating for research transparency. Dr. Harper's career includes roles at the University of East London and University of Lincoln before joining NTU in 2016. He holds a PhD from the University of Lincoln, examining dual-process cognitive mechanisms in attitudes toward sexual offenders. His research interests span forensic psychology, political ideology, and the psychology of atypical sexualities. Notable projects include studying sex doll ownership, minor-attraction experiences, and stigma reduction interventions. He collaborates internationally with institutions like the University of Massachusetts Lowell and the University of Derby. Recent articles highlight his focus on treatment approaches for minor-attracted persons, prison-based interventions for autistic offenders, and ideological responses to public health measures. His work is funded by organizations such as NOTA and the Church of England. Dr. Harper supervises doctoral students and teaches modules like The Psychology of Sexual Offending and Explanations of Crime. He is a member of the Heterodox Academy, promoting intellectual diversity in academia.

Virginie VIALمشاهده پروفایل

دانشیار

• Development Economics
• Economic Growth
• Human Development
• +۵ مورد دیگر

Virginie VIAL serves as an Associate Professor of Development Economics at KEDGE Business School and holds an Associate Researcher position at the East Asia Institute (IAO), ENS de Lyon, France. Her academic work centers on economic growth measurement, human well-being determinants, and institutional dynamics with primary focus on Indonesia and Southeast Asia. Her research spans Development Economics , Institutional Analysis , and Entrepreneurship Studies , examining corruption's impact on firm performance, women's economic empowerment through entrepreneurial activity, and South Korea's soft power projection in Southeast Asia. Methodologically, she integrates quantitative analysis of industrial dynamics with qualitative case studies of entrepreneurial ecosystems. Analysis of her 2016-2021 publications reveals persistent thematic threads: social entrepreneurship frameworks, institutional quality effects on business behavior, and gender-inclusive development models. Her work demonstrates strong regional expertise in Southeast Asian economies while maintaining theoretical connections to broader development economics literature through interdisciplinary publication venues spanning business, psychology, and political science journals. No scientific awards were documented in the source material. While specific grant funding isn't detailed, her consistent collaboration with researchers like J. Hanoteau and K. Richomme-Huet indicates sustained research partnerships. The text mentions no formal PhD/Master's student supervision roles. Her affiliation with the Strategy, Sustainable Development and Entrepreneurship department suggests integration within KEDGE's research infrastructure, though no dedicated laboratory or research team is explicitly referenced.

Brian Connellyمشاهده پروفایل

استاد

• Corporate Governance
• Activist Shareholders
• Competition
• +۵ مورد دیگر

Brian Connelly serves as Professor and Luck Eminent Scholar in the Department of Management and Entrepreneurship at Auburn University's Raymond J. Harbert College of Business. With two decades of industry experience at Westinghouse and Hughes across England, Asia, and the United States, he bridges academic theory with practical business challenges in engineering and international contexts. His educational foundation includes: PhD in Business from Texas A&M University MBA from Indiana University MSEE from Johns Hopkins University BSEE from Rutgers University Connelly's research investigates how corporate governance structures—particularly shareholders and boards—influence competition and strategic outcomes through theoretical lenses including signaling theory, social network theory, and tournament theory. His expertise spans corporate governance, activist shareholders, competitive dynamics, and organizational responses to negative events like short-seller attacks and product recalls. Recent work examines virtue rhetoric in investor communications, socioemotional wealth in family firms, and the paradoxes of information presentation in high-stakes decisions. Analysis of his 2022-2025 publications reveals three dominant research streams: (1) Theoretical advancements in signaling/screening frameworks applied to corporate misconduct and investor relations; (2) Empirical investigations of shareholder activism impacts on governance and strategic outcomes; (3) Methodological contributions to archival research design and data appropriateness. His work consistently appears in premier outlets like Strategic Management Journal and Organization Science , with frequent media citations in New York Times and Wall Street Journal . Connelly has received unspecified awards for research, teaching, and service excellence. His editorial leadership includes former Editorship of Journal of Management and Associate Editorship at Academy of Management Journal . As an educator, he teaches strategic management across undergraduate and graduate programs while mentoring doctoral students. His industry background informs experiential teaching approaches, particularly in translating governance theory to real-world business challenges. The text indicates no formal labs or research teams, though his work involves collaborations evident in multi-authored publications.

• Petroleum Engineering
• Geomechanics
• Reservoir Engineering
• +۳ مورد دیگر

Raffaele Romagnoli serves as a Tenured Associate Professor in the Department of Environmental, Land, and Infrastructure Engineering (DIATI) at the Polytechnic University of Turin, affiliated with the College of Environmental and Land Engineering. He actively participates in the Doctoral Colleges for Environmental Geoengineering (19th and 20th cycles) and delivers the Master's course Well Drilling and Completion across Georesources and Geoenergy Engineering programs since 2019/20. His research centers on Underground Energy Systems and Energy Transition within the Hydrocarbons and Underground Fluids disciplinary sector (CEAR-02/D). Key expertise spans petroleum engineering, geomechanics, reservoir characterization, and well drilling/completion technologies, addressing critical challenges in energy extraction and sustainable transition. Recent publications demonstrate dual focus: petroleum engineering contributions include reservoir analysis in Uzbekistan's Kandym Uplift and geomechanical modeling of karstified Dammam Formation, while interdisciplinary medical collaborations cover liver transplantation techniques and esophageal cancer surgery. This reflects engagement with both core energy systems and cross-domain biomedical applications. Professor Romagnoli maintains continuous involvement in doctoral education through Environmental Geoengineering committees and consistently leads advanced instruction in well engineering. His academic trajectory shows sustained commitment to petroleum engineering education within Turin's Georesources program, with course ownership maintained through 2025/26 academic planning.

Marcel Garzمشاهده پروفایل

دانشیار

• Media Studies
• Political Science
• Economics
• +۷ مورد دیگر

Marcel Garz is an Associate Professor at Jönköping International Business School, part of Jönköping University in Sweden. His research bridges economics, communication studies, and political science, focusing on digital technologies' impact on media, politics, and human behavior. He specializes in causal inference methods and computational tools like deep learning and computer vision. Current projects include leading the Global Social Media Experiment (a Nordic cross-cultural study on social media effects) and organizing the Data Methods Initiative (a seminar series promoting computational methods in social science). He co-founded the Economics of Media Bias Workshop and collaborates with institutions like the Swedish Competition Authority on media quality research. Research interests emphasize algorithmic curation's societal effects, media bias, and public policy. His work spans topics like news quality under market competition, pandemic behavior modulation via media, and tax enforcement through data transparency. Key contributions include frameworks on unethical marketing manipulation, signaling theory in crowdfunding, and the role of media coverage in electoral outcomes. He has published widely in journals like Journal of Communication , Political Behavior , and Journal of Economic Behavior & Organization . Funding: A three-year grant from the Swedish Competition Authority (2023–2025) supports research on media competition and news quality.

Nurbay Irmakمشاهده پروفایل

استاد

• Metaphysics
• Bioethics
• Ontology
• +۷ مورد دیگر

Prof. Nurbay Irmak is an active academic specializing in Metaphysics and Bioethics, with a Ph.D. from the University of Miami, USA. He teaches courses such as Introduction to Philosophy, Bioethics, Ontology, and Metaphysics of Art Objects, indicating a strong engagement with both theoretical and applied philosophy. His research interests focus on: Metaphysics of abstract artifacts Philosophy of language and art Medical and professional ethics Ontological debates in science and technology Authorship and creation in the age of AI His recent publications (2021–2024) reflect a consistent trajectory in analytic metaphysics and bioethics, particularly exploring the nature of artifacts, musical works, and ethical challenges in healthcare. There is a noticeable integration of traditional philosophical inquiry with contemporary issues such as generative AI and digital ontology. He has led significant research projects funded by TÜBİTAK and BAP, including studies on the right to refuse medical treatment in Turkey and the metaphysics of abstract artifacts. While no scientific awards are listed, his work appears in top-tier journals like Synthese , Erkenntnis , and Journal of Medical Ethics . Prof. Irmak serves as the Third Year Advisor, suggesting an active role in student mentorship. He maintains an office (JF510) and holds regular office hours, indicating ongoing academic presence. Affiliation details such as university, school, and department are not specified in the provided text.

Patricia Norbergمشاهده پروفایل

استاد

• Consumer Behavior
• Privacy
• Health Marketing
• +۳ مورد دیگر

Patricia Norberg is a Professor of Marketing at Quinnipiac University, holding a BS, MBA, and PhD from the University of Rhode Island. Her office is located in The Dome 204 (Mail Drop: SB-DNF), and she can be contacted at Patricia.Norberg@quinnipiac.edu. Her educational background includes: BS, University of Rhode Island MBA, University of Rhode Island PhD, University of Rhode Island Professor Norberg's research centers on consumer behavior with specialized expertise in privacy , health marketing , and algorithmic impacts . She investigates how emotional connections (like pet attachment) influence advertising responses, the psychological mechanisms behind privacy protection failures, and the role of visual elements in pandemic health messaging. Her work bridges marketing theory with urgent real-world issues—from disaster response to payment innovation—often revealing counterintuitive consumer behaviors through rigorous experimental design. Notably, her 2024 studies expose how algorithms manipulate social ties and how learned helplessness undermines privacy efforts. Analysis of her 15 most recent publications (2011-2024) reveals three dominant trends: (1) Health crisis communication examining image/color effects in pandemic messages across cultures; (2) Digital privacy dynamics exploring algorithmic interference in social relationships and psychological barriers to data protection; and (3) Consumer cognition dissecting ratio processing biases and semantic discount interpretation. Her methodology frequently combines experimental approaches with behavioral economics frameworks, yielding actionable insights for both marketers and policymakers.

Thomas Högeمشاهده پروفایل

پژوهشگر

• Work and Organizational Psychology
• Neoliberal Ideology in Workplace
• Organizational Democracy
• +۴ مورد دیگر

Thomas Höge is a researcher at the University of Innsbruck's Department of Applied Psychology, where he focuses on critical perspectives in work and organizational psychology. His research examines neoliberalism's impact on workplaces, organizational democracy, socio-moral climates, and occupational well-being. He co-leads the Innsbruck Group on Critical Research in Work and Organizational Psychology (I-CROP) and coordinates international conferences on radical humanist approaches. His research interests center on: Critical analysis of neoliberal ideology in work environments Organizational democracy and participatory practices Work flexibility's psychological consequences Socio-moral organizational climates Meaningfulness in work and its relationship to well-being Höge's publications predominantly explore power dynamics in organizations, democratic governance structures, and well-being in professional settings (especially healthcare). His methodological approaches include meta-analyses, mixed-methods designs, and cross-cultural comparisons. He has led several funded projects including: WELL-MED: Well-being of medical students/practitioners (FWF-funded) Work-life balance in Tyrolean gastronomy (Tiroler Wissenschaftsfonds) Career uncertainties among young scientists (Hypo Tirol Bank) Höge collaborates with international researchers across Europe and contributes to developing assessment tools like the Work Analysis Screening (WA-S) for higher education settings.

Jonathan Aldrichمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Verification
• +۷ مورد دیگر

Jonathan Aldrich is a Professor of Computer Science at Carnegie Mellon University in the School of Computer Science , jointly appointed in the Software and Societal Systems Department and the Computer Science Department . He is an internationally recognized expert in programming languages, software engineering, and verification, with a strong emphasis on human factors and usability in language design. Education: Ph.D. in Computer Science and Engineering, University of Washington (2003) B.S. in Computer Science, Caltech Research Interests: Prof. Aldrich's research lies at the intersection of programming languages and software engineering , focusing on how language design affects software quality and developer productivity. His work spans: Gradual verification and type systems Ownership and typestate checking Security and information flow control Usability of advanced type systems Domain-specific languages for blockchain and IoT Recent Work Trends: His recent publications emphasize gradual verification techniques, which allow developers to incrementally verify software correctness. He has also explored liquid types , information flow control , and usability barriers in advanced type systems. His work often combines formal methods with empirical studies to ensure practical impact. Awards & Recognition: NSF CAREER Award (2006) Dahl-Nygaard Junior Prize (2007) ICSE Most Influential Paper Award (2012) DARPA Computer Science Study Group Leadership & Service: Prof. Aldrich has held numerous leadership roles in the academic community, including: Director, CMU Software Engineering Ph.D. Program (2013–2019) General Chair, SPLASH 2015 Program Chair, OOPSLA 2017 Steering Committee Chair, SPLASH (2017–2019) Member, ACM Publications Board Industry Engagement: He is the Chief Technology Officer of Noteful , a startup he co-founded during his 2022 sabbatical, focused on music education through interactive apps.