Andrew Head is an Assistant Professor at the University of Pennsylvania's Department of Computer Science, specializing in Human-Computer Interaction (HCI) and Programming. His work bridges interactive reading , math notation accessibility , and AI-assisted code comprehension . Affiliated with Penn HCI, PLClub, and MindCORE, he co-leads research with Danaé Metaxa and Benjamin Pierce. University of Pennsylvania Assistant Professor, Computer Science Affiliations: Penn HCI, PLClub, MindCORE His research focuses on interactive reading interfaces , AI-powered programming tools , and math notation analysis . Recent projects include: FreeForm : Interactive math notation editor Tyche : Property-based testing tools Explainable Notes : Medical note interpretation systems Publications in CHI , UIST , and ICSE demonstrate his systems-centric approach combining user studies with working prototypes. Notable awards include Best Paper at UIST 2024 and CHI 2022. Advising: Ph.D. Students: Alyssa Hwang, Litao Yan, Hita Kambhamettu, Jeff Tao, Jessica Shi Grants: $1M NSF grant for Property-based Testing Tools (2024) Teaching: Spring 2025: CIS 4120/5120 - Human-Computer Interaction Fall 2024: CIS 7000 - Interactive Reading
Talia Ringer is an Assistant Professor in the Department of Computer Science at the University of Illinois, where she is a member of the PL/FM/SE (Programming Languages/Formal Methods/Software Engineering) research group. She leads the Illinois Theorem Provers (ITP) lab, which focuses on advancing proof engineering technologies to make formal verification accessible to programmers of all skill levels across all domains. Research Interests Dr. Ringer's research spans multiple aspects of proof engineering with a strong focus on integrating techniques from dependent type theory, program transformations, and neural proof synthesis to solve real-world verification challenges. Her work addresses how to build systems that allow programmers to prove the absence of costly or dangerous bugs in software. She is particularly interested in proof repair, machine learning for proofs, and developing new methodologies that can drive the creation of large, secure, and robust verified software and hardware systems. Research Trends Dr. Ringer's recent publications demonstrate a strong shift toward integrating machine learning with formal verification, particularly in proof repair and synthesis. Her work explores how large language models can assist with theorem proving, how reinforcement learning can automate verification processes, and how to make proof engineering more practical for real humans. Many publications involve collaborations with students and researchers from multiple institutions, reflecting her commitment to interdisciplinary research. Awards and Recognition Distinguished Paper Award at ESEC/FSE 2023 for "Baldur: Whole-Proof Generation and Repair with Large Language Models" ACM SIGPLAN Distinguished Service Award in 2023 Mentoring and Service Dr. Ringer is a dedicated mentor who has advised numerous undergraduate and graduate students. She is the founder and president of the Computing Connections Fellowship, which provides transitional funding for computer science PhD students needing to escape unhealthy environments. She is also the founder and previous chair of the SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M), which connects more than 200 mentors and 300 mentees across more than 44 countries. Her service work was formally recognized with the 2023 ACM SIGPLAN Distinguished Service Award. Laboratory and Collaborations Dr. Ringer leads the Illinois Theorem Provers (ITP) lab with current members including postdocs, PhD students, masters students, and undergraduates. She collaborates extensively with researchers at the University of Washington, UMass Amherst, Google Research, Galois, and other institutions on various proof engineering projects.
Dr. Jacek Kudera is a post-doctoral researcher in the Department of Phonetics at the University of Trier, coordinator of the LODinG project at the Trier Center for Digital Humanities, and adjunct faculty at WSB Merito University in Wrocław. His work bridges phonetics, Slavic linguistics, digital humanities, and forensic speech science. Education 2022 – PhD, Department of Language Science and Technology, Saarland University, Germany 2019 – MA (Linguistics), Department of Linguistics, Cognitive Science and Semiotics, Aarhus University, Denmark 2015 – Magister (Slavic Philology), Institute of Slavic Studies, University of Wrocław, Poland Research Interests His research focuses on phonetic and prosodic aspects of Slavic languages , cross-linguistic speech perception , forensic automatic speaker recognition , and human-robot interaction . He employs experimental methods such as eye-tracking, articulatory measurements (EMA), and large-scale digital corpora to investigate how speakers of closely related languages understand one another and how machines can replicate or support this process. Publication Trends Across more than 25 peer-reviewed articles (2014-2025), Kudera has consistently explored Slavic intercomprehension , speech technology evaluation , and digital humanities infrastructure . Recent work (2024-2025) targets voice cloning security , linked open data for linguistics , and mismatch conditions in forensic speaker recognition . Scientific Awards & Fellowships Visegrad Fellowship, University of Presov (2025) Erasmus+ Fellowships (Ostrava 2025, Zagreb 2014, Rijeka 2012-2013) NAWA Fellowship, Polish Academy of Sciences (2022) Nordlys Fellowship, University of Eastern Finland (2018-2019) CEEPUS & additional Central-European mobility grants (2014-2018) Projects & Funding Coordinator : “Mismatch conditions in machine speaker identification” (University of Trier Research Fund, 2024-2025) Coordinator : LODinG – Linked Open Data in the Humanities (Trier Center for Digital Humanities, ongoing) Coordinator : “Patterns: Linguistic Creativity and Variation” (Trier Center for Language and Communication, 2022-2024) Member : SFB 1102 “Information Density and Linguistic Encoding” (Saarland University, DFG, 2019-2022) Member : Digital Atlas of Dialects of Bosnia and Herzegovina (2017-2018) Member : CLARIN-PL & European Roadmap for Research Infrastructures (2014-2017) Labs & Teams He conducts research within the Phonetics Team at the University of Trier , collaborates closely with the Trier Center for Digital Humanities , and maintains affiliations with the Phonetics Group at Saarland University and the WSB Merito University in Wrocław.
Dr. Gokhan Aydin serves as a Senior Lecturer at the University of Brighton's School of Business and Law, affiliated with the Digital Innovation and Transformation Research Excellence Group and Centre for Regenerative Medicine and Devices. His academic profile reflects expertise in digital consumer behavior and quantitative research methodologies within business contexts. Education: PhD from Istanbul Technical University (2009) with thesis on "Effect of consumer based brand equity on firms' financial performance" His research centers on online consumer behavior , digital marketing (mobile/social media), digitalization (mobile applications/payments), and brand equity . Methodologically, he employs cross-sectional data with multivariate analyses including structural equation modeling (SEM) and machine learning clustering algorithms, frequently applying frameworks like UTAUT and PLS-SEM. Recent publications (2023-2025) reveal strong thematic convergence in sustainability-driven consumer behavior, Gen Z technology adoption, and virtual human interactions. Key trends include green fashion purchasing motivations, mobile health app usage barriers, and anthropomorphism effects in digital environments, demonstrating consistent application of advanced statistical modeling across diverse digital marketing contexts. Scientific Awards: None documented Dr. Aydin has supervised at least one student and maintains active academic service through 29 recorded activities including peer-review for the Journal of Global Fashion Marketing, Health Expectations, Australian Journal of Management, and Journal of Business Analytics. His May 2025 invited talk addressed "Personal Health, Digital Transformation and Healthy aging: Mobile Devices and Applications". He contributes to the Digital Innovation and Transformation Research Excellence Group and Centre for Regenerative Medicine and Devices, focusing on digital transformation impacts across business and healthcare sectors through collaborative research initiatives.
Morteza Ghobakhloo is a Senior Lecturer and Researcher at Uppsala University , affiliated with the Department of Civil Engineering and Industrial Engineering (Industrial Engineering) and the Institute for Research on Conflicts of Goals in Sustainable Social Transition . His email is morteza.ghobakhloo@angstrom.uu.se . He focuses on digital transformation, sustainability, and human-centric technologies. Research Interests: Morteza’s work bridges Industry 4.0/5.0 , Sustainable Manufacturing , and Generative AI applications. His studies explore blockchain, big data analytics, and smart technologies in supply chain resilience, energy efficiency, and organizational innovation. Article Trends: Recent publications highlight Industry 5.0’s role in sustainable supply chains, AI-driven healthcare optimization, and blockchain for socioenvironmental solutions. He employs hybrid methodologies like PLS-fsQCA, ANN, and simulation modeling across sectors including energy, healthcare, and tourism.
Dr. Bin Hu is an Assistant Professor in the Department of Engineering Technology at the University of Houston (2022–present) and previously held the same position at Old Dominion University (2019–2022). He earned a Ph.D. in Electrical Engineering from the University of Notre Dame (2016), an M.S. in Control Science from Zhejiang University (2010), and a B.S. in Electrical Engineering from Hefei University of Technology (2007). His research focuses on resilient Cyber-Physical Systems (CPS), AI-human collaboration safety, machine learning-driven control, and vehicular networks. Key projects include NASA-funded work on adaptive human-autonomy responsibility allocation (2023–2026) and NSF-supported AI-human collaboration in autonomous vehicles (2020–2023). He has secured over $1.2 million in grants, including a $700k NASA grant (pending) and an ONR Rapid Solutions grant ($42k). Dr. Hu’s work bridges control theory, machine learning, and human factors. Recent contributions include safer leader-follower robotic systems, fault-tolerant UAV control, and studies on driver trust in AI-driven vehicles. His research has been recognized through awards like the 2024–2025 APeX Excellence Speaker Series. Teaching experience includes courses on C++ programming and electrical engineering fundamentals at both the University of Houston and Old Dominion University. He advises multiple undergraduate and graduate students in projects ranging from LiDAR systems to cyber-physical security. Key Labs/Teams : NAIL Lab (Networked Autonomous Intelligence & Learning), part of the University of Houston’s Cybersecurity and Robotics initiatives. Grants : NASA TTT Grant ($700k), NSF CHS Grant ($500k), ONR RSLP Project ($42k).
Joshua Sunshine is an Assistant Professor in the S3D Software and Societal Systems Department at Carnegie Mellon University's School of Computer Science. His research focuses on the intersection of programming languages, software engineering, and human-computer interaction (HCI), emphasizing usability-driven language design and tools for developers. He leads the REU Site in Software Engineering (REUSE), a National Science Foundation-funded program fostering undergraduate research and equity in computing. Key research areas include: (1) Formal methods for software testing and verification (e.g., TerzoN, Gradual C0), (2) Domain-specific languages for mathematical visualization (Penrose), (3) Secure blockchain programming (Obsidian), and (4) Automated test generation tools (Nanofuzz). His work bridges theory and practice through user-centered methodologies, evident in projects like PLATEAU workshops and Glacier's transitive immutability. Awards include the NSF CAREER Award (2024) and sustained leadership in REU programs. His grants emphasize reproducible scientific programming, framework debugging, and interdisciplinary tool development. Notable contributions include frameworks like Rose for web-based autodiff and Edgeworth for scalable visual activity authoring. Labs/Teams: Core contributor to the S3D group, collaborating with HCI and PL communities. Active in organizing PLATEAU workshops (2018–2023), fostering evaluation and usability research in programming languages.
Wynne Chin is a Professor of Decision & Information Sciences at the C.T. Bauer College of Business, University of Houston. He holds a Ph.D. from the University of Michigan, MBA from the University of Michigan, and degrees from Northwestern University and UC Berkeley. His research focuses on IT adoption, structural equation modeling (SEM), and predictive analytics. He developed the PLS-Graph software, widely used in PLS-based SEM, and has contributed to cross-cultural analysis of IT sourcing and workplace assessment. Education: Ph.D. (Computers & Information Systems, U. Michigan), M.S. (Chemical Engineering, Northwestern), MBA (U. Michigan), B.S. (Biophysics, UC Berkeley). Research interests include IT decision-making, end-user satisfaction, group process measures, and methodological innovations in SEM. He has been recognized globally, ranking 3rd in first-authored articles in MISQ/ISR. Awards include the AIS Fellow, Esther Farfel Award, and AIS Technology Legacy Award. His work bridges IS and statistics, influencing both academic and applied fields. His articles emphasize technology acceptance models, causal modeling, and PLS techniques. Grants and advising contributions are significant but not explicitly detailed here. He has held visiting roles at institutions like the Australian School of Business and is a leader in the PLS research community.
Dr. Jennifer Yee-Shan Chang is a Lecturer at the Edge Hotel School , University of Essex. Her research focuses on digital transformation in the services sector, particularly exploring human-computer interaction, consumer behavior, and marketing innovations in hospitality and tourism contexts. She examines emerging technologies like AI chatbots, facial recognition payments, and smart hotel systems, emphasizing their societal and commercial impacts. Her work spans diverse topics including technology adoption in last-mile delivery, halal-friendly tourism perceptions, and food waste sustainability. She has been awarded a grant by the British Academy (2024) to investigate generative AI's transformative role in tourism and hospitality industries. Her interdisciplinary approach bridges technology, marketing, and organizational behavior, with publications in journals like Internet Research , Technological Forecasting and Social Change , and International Journal of Hospitality Management . Dr. Chang’s research also delves into generational travel behaviors (e.g., Gen Z’s eco-conscious decisions) and cross-cultural management trends in Asia-Pacific. She actively contributes to methodological advancements, including weighted PLS-SEM techniques for analyzing trust-based systems. Grant: Exploring Adoption of Generative Artificial Intelligence in Tourism and Hospitality (British Academy, 2024) Key Themes: Technology adoption, consumer trust, smart services, sustainability Labs/Teams: Edge Hotel School Research Group
Dr. Muhammad Noman Shafique is a Researcher at the University of Aveiro, contributing to the BESIDE EU Horizon 2020 Project. His work focuses on Supply Chain Management, Digital Transformation, Circular Economy, and Industry 5.0. Previously, he held positions as Assistant Professor at the University of Buner and Gomal University, teaching courses in Business Analytics and Supply Chain Management. He completed his Postdoctoral Research (2023) and PhD (2020) at the University of Aveiro and Dongbei University of Finance and Economics, respectively. His research emphasizes sustainable business practices, digital innovations, and interdisciplinary collaboration. He has extensive international collaborations and has authored numerous high-impact publications on topics including AI in supply chains, big data analytics, and circular economy implementation. Education: Ph.D. in Business Management (2020), Dongbei University of Finance and Economics, China Postdoctoral Research (2023), University of Aveiro, Portugal M.Phil. in Business Administration (2014), Preston University, Pakistan Bachelor’s in Business Administration (2011), Virtual University of Pakistan Research Interests: His work blends technical advancements (e.g., AI, IoT) with sustainability goals. Key areas include: • Synergies between Industry 5.0 and Circular Economy • Digital Transformation in supply chains • Predictive analytics for supply chain agility • Policy impacts on sustainable practices • Cross-cultural studies on technology adoption. Publications Trends: His recent articles highlight themes like AI-driven supply chain optimization, circular economy implementation in manufacturing, and the role of digital technologies in sustainable practices. Notable contributions address humanitarian logistics, AR applications in retail, and QR payment systems in developing economies. Labs & Teams: Active in the Competitiveness, Innovation and Sustainability (CIS) group and the DSS-Lab at University of Aveiro, focusing on data-driven decision-making tools and policy analysis for sustainable business models.
Jakub Kuna is an Assistant Professor at the Department of Geomatics and Cartography, Faculty of Earth Sciences and Spatial Management, Maria Curie-Skłodowska University (UMCS) since 2015. He earned his PhD in Earth Sciences (Geography) in 2017. His work bridges cartography, geomatics, and historical GIS. Key Roles: Researcher, Lecturer, Project Coordinator for NPRH grants Projects: Atlas historyczny miast polskich, DARIAH-PL, NCN Miniatura 4.0 Research Focus: He specializes in cartographic mathematics, spatial-temporal analysis, 3D/4D modeling, and geostatistical methods in R programming. His work advances Historical GIS for reconstructing urban landscapes and processing archival aerial imagery. Key Publications: His 2025 Scientific Reports paper on loess gully sustainability and 2024 ISPRS Journal methodology for multi-sheet historical map georeferencing highlight his technical contributions. Recent monographs include Zamość’s digital reconstruction in the Atlas historyczny miast polskich series. Scientific Awards: NPRH Grant (2023-2027): Leadership role in historical city atlas project European Funds (2021-2024): DARIAH-PL digital infrastructure NCN Miniatura Grant (2020-2021): Pioneering 1944 Lublin orthophotomap Academic Leadership: He supervises 18 MA/BA theses on topics like Lublin’s WWII urbanism and Shtetl Routes tourism. As Deputy Chair of the Polish Cartographic Association (2024) and ICA member (2021-), he shapes national cartographic standards.
Dr. Scott Smith is a Professor in the Department of Computer Science at The Johns Hopkins University , where he has been a faculty member since 1988. His research focuses on programming languages , formal methods , and static program analysis , with applications to type systems, security verification, and higher-order program analysis. He currently serves as the Director of Graduate Studies for the department. Education: Bachelor’s degree in Computer Science and Chemistry from Purdue University (1983) Master’s degree and PhD in Computer Science from Cornell University (1985, 1989) Research: Founded and directs the Programming Languages Laboratory Key projects: BlueJay Type Refuter , Demand-Driven Program Analysis , and the Big Bang project for typed scripting languages Teaching: Teaches Programming Languages (601.426/626) in spring Teaches Object-Oriented Software Engineering (601.421/621) in fall Professional Service: Member of ACM Editorial board for ACM Computing Surveys Panelist and program committee member for numerous conferences Students: Advises undergraduate researchers, including Sofia Rest , recipient of the Provost’s Undergraduate Research Award
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.
David Gefen: Academic Profile David Gefen, PhD, is the Provost Distinguished Research Professor and Academic Director of the Doctorate in Business Administration (DBA) Program at Drexel University’s LeBow College of Business. He holds a dual appointment in Decision Sciences and Management Information Systems. His research focuses on trust in IT systems, outsourcing, research methodology (SEM), and text analysis, with over 150 peer-reviewed publications in top journals like MISQ and ISR. Education & Career: Joined Drexel in 1997 after industry roles in software development. Earned an M.Sc. in Computer Information Systems and PhD from Georgia State University under Detmar Straub. Previously served as Senior Editor at MISQ and Editor-in-Chief roles at JMIS and JAIS. Research Interests: Explores trust dynamics in digital technologies, ERP implementation, and text analysis applications in healthcare and consumer behavior. Notable contributions include frameworks for measuring distrust in chatbots and analyzing adverse drug interactions via text mining. Awards & Recognition: Ranked in top 0.08% of global scientists (ScholarGPS), top 0.3% (Scientific Index 2023), and #703 in global Business & Management research (Research.com). Recognized for prolific HCI publications (3rd/4th, 1990–2008). Service: Senior Editor at JAIS, Advisory Board Member at JMIS, and active in editorial roles for top journals. Served on ICIS panels addressing curriculum reform and MIS research methods. Grants & Labs: Secured $50,000 for research on AI and epistemic welfare in ChatGPT discourse. Collaborates with Einstein Medical Center on telemedicine portals and Children’s Hospital of Philadelphia on telemedicine adoption barriers.
Christoph Gollob is a researcher at the Institute of Forest Growth within the Department for Economics and Social Sciences at the University of Natural Resources and Life Sciences, Vienna . His work focuses on integrating advanced technologies like LiDAR and personal laser scanning (PLS) into forestry operations for improved inventory, monitoring, and safety. Gollob leads projects such as Digitization of round wood measurements along the forestry/wood value chain using laser scanning (2024–2027) and contributes to subprojects like Lidar based forest monitoring and harvesting planning (2023–2026). Research Interests: Digital transformation in forestry, remote sensing, forest engineering, tree species classification, and sustainable forest management. Projects: 3 active or completed research projects funded by Austrian federal ministries and the Austrian Research Promotion Agency (FFG). Advising: Supervised 13 theses (7 master’s, 6 diploma) related to laser scanning applications, timber measurement, and forest safety. Media Appearances: 16 media mentions (print, web) discussing digital forestry solutions, including interviews and public outreach on forest monitoring and safety. Presentations: 78 lectures across 10 countries (Austria, USA, Italy, Germany, etc.), with keynotes on digital forestry and human-centered AI. Publications: 106 publications, including high-impact journal articles and conference proceedings on LiDAR, forest inventory, and smart sensor systems.
