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

Andrew Headمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Programming
• Reading
• +۱۳ مورد دیگر

Andrew Head is an Assistant Professor at the University of Pennsylvania in the Computer and Information Science department. His research focuses on human-computer interaction, programming, and reading, particularly in developing technology for interactive reading and reasoning. He advises PhD students Alyssa Hwang, Hita Kambhamettu, Litao Yan, Jeffrey Tao, and Jessica Shi, and co-leads the Penn Human-Computer Interaction (Penn HCI) group with Danaé Metaxa. His work is published in top venues like ACM CHI, UIST, and ICSE. Research Interests: Andrew's work bridges interactive systems with programming environments, aiming to enhance how scientists and programmers interact with their tools. Key areas include AI-assisted code understanding, math notation accessibility, and medical note interpretation through interactivity. He employs user studies to identify needs and builds interactive systems to address them. Recent Article Trends: His publications emphasize systems-centric HCI approaches, integrating AI into code and document interfaces. Topics span code explanation (e.g., Ivie), property-based testing (e.g., Tyche), math notation augmentation (e.g., FreeForm), and medical informatics (e.g., Explainable Notes). Recent work also explores notebook environments (e.g., Bolt-on, Tyche) and literate programming (e.g., Colaroid). Scientific Awards: Distinguished Paper Award, ICSE 2024 Best Paper Awards at CHI (2024, 2023, 2022, 2019), UIST (2023, 2018), and others. Nominated for Best Paper at CHI 2023 and VL/HCC 2015. Advising & Grants: Andrew advises multiple PhD students and has secured significant grants, including a $1M NSF award for 'Property-based Testing for the People' (2024). His group collaborates with Penn’s MindCORE center and teams like PLClub and PennNLP. Labs & Teams: He co-leads the Penn HCI group, which works closely with other Penn research teams and labs. The group focuses on creating interactive tools that enhance scientific and programming workflows, supported by grants and cross-institutional partnerships.

Joseph Eremondiمشاهده پروفایل

استادیار

• Programming Languages
• Type Theory
• Dependent Types
• +۱۲ مورد دیگر

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.

• Human-Computer Interaction
• Gender Equality in Technology
• AI and Society
• +۳ مورد دیگر

Elaine M. Huang is an Associate Professor of Human-Computer Interaction at the Department of Informatics, University of Zurich, where she has served since 2010. She also leads the People and Computing Lab, focusing on the dynamic interplay between human practices and technological advancements. Her academic background includes: PhD in Computer Science, Georgia Institute of Technology (2006) Dr. Huang's research centers on human-computer interaction, examining the bidirectional relationship between technology and human practices. She is particularly known for her work on gender equality in technology, challenging assumptions about innate gender differences and investigating how AI systems may perpetuate biases. Her research also spans sustainable interaction design, mental health technologies, and chronic disease management, always emphasizing empirical data over intuition. Analysis of her recent publications (2023-2025) reveals a strong trajectory toward socially impactful HCI, with significant focus on health technologies (diabetes management, mental health), cultural sensitivity in design, and the ethical challenges of AI. Her methodology often involves field studies to understand real-world technology use, countering the industry's reliance on intuition. As head of the People and Computing Lab, Dr. Huang oversees a research group dedicated to designing and evaluating technologies that address complex human needs. The lab's work frequently involves co-design with diverse user communities to ensure relevance and inclusivity in technological solutions.

Paul Taeleمشاهده پروفایل

عضو هیئت علمی

• Sketch Recognition
• Human-Computer Interaction (HCI)
• Artificial Intelligence
• +۵ مورد دیگر

Paul Taele is an Instructional Assistant Professor and Deputy Lab Director in the Sketch Recognition Lab at Texas A&M University's Department of Computer Science & Engineering. He holds a Ph.D. (2019), M.S. (2010), and dual B.S. degrees in Computer Science and Mathematics from the University of Texas at Austin (2006). His research focuses on sketch recognition, haptics, and intelligent interfaces for education and accessibility, with notable work in mid-air gesture recognition, educational sketching tools, and assistive technologies for disabilities. He has contributed to projects like Kanji Workbook , Hashigo , and HaptiMoto , and has published over 50 peer-reviewed articles across venues like CHI, IUI, and AAAI. Taele has received awards including the NSF Student Travel Grant (2014) and Ford Foundation Honorable Mention (2015). He teaches courses in capstone design, programming, and sketch recognition, and mentors students across all academic levels through strict eligibility criteria for research collaborations. Education : Ph.D. Computer Science, Texas A&M University (2019) M.S. Computer Science, Texas A&M University (2010) B.S. Computer Science & Mathematics, University of Texas at Austin (2006) Concentration in Mandarin Chinese, National Chengchi University (2007) Research Interests : Taele's work bridges HCI and AI to create accessible educational interfaces. His projects emphasize: Sketch Recognition : Developing algorithms for mid-air gestures, children's developmental assessments, and language learning Accessibility : Haptic systems for visually impaired learners and algebra education Educational Tech : Intelligent tutoring systems for music, math, and East Asian languages Awards & Grants : EAAI-20 Travel Grant (2020) Ford Foundation Dissertation Honorable Mention (2015) NSF East Asia-Pacific Summer Institutes (2013, 2012) Royce E. Wisenbaker Fellowship (2009) Lab & Teams : Director of the Sketch Recognition Lab (SRL) and collaborator with global institutions like Singapore Management University and National Taiwan University. Active in organizing workshops like SketchRec at IUI conferences.

Andrew Headمشاهده پروفایل

استادیار

• Human-computer interaction
• Programming
• Reading
• +۵ مورد دیگر

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

Dmitri Tymoczkoمشاهده پروفایل

استاد

• Composition
• Music Theory
• Geometry of Music
• +۵ مورد دیگر

Dmitri Tymoczko is a Professor of Music at Princeton University, where he has taught composition and theory since 2002. His work bridges the gap between academic music theory and contemporary composition, creating a unique interdisciplinary approach that has earned him recognition as a leading figure in modern music scholarship and creation. Tymoczko's research interests focus on the geometric modeling of musical structures, polystylistic composition that draws from genres spanning Renaissance to rock, and the mathematical foundations of tonality. His theoretical work explores how harmonic structures can be represented geometrically, revealing fundamental patterns that connect diverse musical traditions. He approaches composition as 'a logical deduction from absurd premises,' blending rigorous structural thinking with playful musical exploration. His scholarly publications and compositions reveal a consistent interest in the intersection of mathematical precision and expressive freedom. The articles demonstrate expertise across music theory, composition, and the cognitive aspects of musical perception, with recurring themes of geometric modeling, tonal structure, and genre hybridization. His work often challenges traditional boundaries between academic and popular music forms. Guggenheim fellowship Rhodes Scholarship Leonard Bernstein fellowship from Tanglewood Fellowship from the Radcliffe Institute for Advanced Study Block lectureship from the Society for Industrial and Applied Mathematics First music-theory article published in Science magazine Tymoczko maintains an active performance career alongside his academic work, with his compositions performed by leading ensembles including the Brentano Quartet, Newspeak, and Roomful of Teeth. His teaching integrates theoretical insights with practical composition, fostering a generation of musicians who understand music's structural foundations while embracing creative freedom. He has developed innovative tools like the musical programming language 'arca' to explore new compositional possibilities.

R. Luke DuBoisمشاهده پروفایل

دانشیار

• Digital Media
• Human Computer Interaction
• Cyber Physical Systems
• +۳ مورد دیگر

R. Luke DuBois is an Associate Professor and Co-Chair of the Technology, Culture and Society Department at the NYU Tandon School of Engineering, where he also directs the Integrated Design & Media program and the Brooklyn Experimental Media Center. He holds a DMA in music composition from Columbia University and is a renowned artist, composer, and performer whose work explores intersections between technology, sound, and visual media. His research focuses on digital media, human-computer interaction, and emerging technologies applied to artistic expression and accessibility. Key roles include directing the SONYC initiative (addressing urban noise pollution via AI) and leading the NYU Ability Project (advancing disability studies through technology). He has collaborated with institutions like the Smithsonian and artists such as Maya Lin, and his work has been exhibited globally, including at the Sundance Film Festival and the Aspen Institute. DuBois co-developed the Jitter software suite for real-time data manipulation and performs in avant-garde groups like Bioluminescence and Fair Use. His artistic practice combines time-lapse phonography, interactive installations, and interdisciplinary projects that critique cultural ephemera while advancing accessibility in STEM and the arts. Recent contributions include browser-based tools for accessible music notation (SoundCells) and sonification techniques for calculus education. He serves on the Board of the ISSUE Project Room and has been featured in major publications like the New York Times and TED Conference talks.

Yaping Luoمشاهده پروفایل

استادیار

• Safety Engineering
• Functional Safety in Automotive Domain
• Conceptual Modeling and Meta-Modeling
• +۹ مورد دیگر

Yaping Luo is a part-time Assistant Professor at the Mathematics and Computer Science school of Eindhoven University of Technology (TU/e) , Netherlands. She also serves as the Research Lead of the Software Engineering and Automation team at ING Tech R&D since 2018. Her academic journey includes a PhD from TU/e (2016) and MSc/BSc degrees in Computer Science from Beihang University , China. PhD in Computer Science (2016) - Eindhoven University of Technology MSc in Computer Science - Beihang University BSc in Computer Science - Beihang University Her research spans two major domains: automotive safety engineering and software engineering methodologies . She pioneered model-based techniques for functional safety assessment in automotive systems and developed systematic approaches for safety evidence collection and metric design. Her recent work focuses on: Conceptual modeling and meta-modeling Low-code development platforms Business process modeling (BPM) Test automation and model-based testing Her publications demonstrate interdisciplinary applications of: Goal Structuring Notation (GSN) for safety cases Automotive architecture design ISO26262 safety standards Systematic evidence collection frameworks GSN pattern categorization She collaborates across sectors while maintaining her academic affiliation at TU/e.

Alexander Hunterمشاهده پروفایل

مدرس

• Open/Non-linear Music
• Open Music Notation
• Spectralism
• +۷ مورد دیگر

Dr. Alexander Hunter is a Lecturer and Composition Convenor at the School of Music, Australian National University (ANU). He holds a PhD in composition from Edinburgh Napier University (2014) and has taught composition, theory, and music history since relocating to Canberra in 2014. Hunter founded ANU's Experimental Music Studio, focusing on open-form compositions that engage performers in fluid interpretive roles. His research spans open musical forms, spectralism, acoustic ecology, and intersectional feminism, with a commitment to disability and autistic advocacy in the arts. Education includes studies at Northern Illinois University (BA 2006) and HNC from Colaisde Bheinn na Faoghla (2007). His work integrates multimedia collaborations with artists like Mike Parr and Martyn Jolly, exploring themes of dis/ability, environmental health, and Métis cultural heritage. Key projects include Helping the River Sing (2018–2021), linking river health with artistic expression, and AI-driven music composition research with Charles Martin. Hunter’s performance-led projects often involve magic lantern technology, reimagining 19th-century projection as a medium for contemporary ecological and historical narratives. Research interests also encompass New York School music, reductionist improvisation, and anarchist philosophies in composition. His collaborations with ensembles like Ensemble Dal Niente and the Edinburgh Quartet highlight his commitment to experimental performance practices. Recent publications (2023–2025) explore AI applications in music creation and interdisciplinary performance frameworks.

Remco M. Dijkmanمشاهده پروفایل

استاد

• Business Process Management
• Data-Driven Process Optimization
• Supply Chain Management
• +۳ مورد دیگر

Remco M. Dijkman serves as Full Professor in Information Systems at Eindhoven University of Technology (TU/e), chairing the Information Systems group within the Industrial Engineering and Innovation Sciences school. He additionally holds a Full Professor position at EAISI High Tech Systems and acts as research director for high-tech supply chains at the European Supply Chain Forum—a network of over 50 multinational companies. His research centers on Business Process Management with emphasis on data-driven optimization of business processes. His academic background includes both PhD and Master's degrees in Computer Science from the University of Twente. Publications span Information Systems, Computers in Industry, and Transactions on Software Engineering and Methodology, with over 100 papers and service on the editorial board of Information Systems. He has held visiting positions at New York University, Hasso Plattner Institute, IBM Zurich Research Lab, Humboldt-University Berlin, and Queensland University of Technology. Dijkman's research interests focus on detecting, diagnosing, and predicting optimal execution scenarios in business processes, developing mathematical models for quantitative process analysis , and resource assignment optimization . These are primarily applied in transportation logistics and high-tech supply chains, where he investigates data-driven predictions for transport order assignment and supply chain planning. His work bridges artificial intelligence with practical business applications. Recent publications (2024-2025) reveal concentrated efforts in deep reinforcement learning for resource allocation, process pattern discovery, and software library development (GymPN, SimPN). Key trends include predictive process monitoring for healthcare applications, event data enrichment frameworks, and uncertainty handling in logistics planning—demonstrating strong interdisciplinary integration. Scientific recognition includes: Best Demo Award (2019) Best Reviewer Award (2016) Test of Time Award (2019) He has supervised 150 students, including Lotte Vugs who received the Dow Chemical Best OML Master Thesis Award in 2020. Grant leadership spans eight projects: NXTGEN Smart Industry (2023-2030), CollChain (2023-2029), CERTIF-AI (2020-2025), FENIX (2019-2023), and DynaPlex (2021-2024), focusing on digital twins, federated networks, and AI-driven supply chain solutions. Dijkman directs the Information Systems group at TU/e and leads the European Supply Chain Forum's high-tech supply chain research. His work integrates with semiconductor manufacturing and transportation logistics through collaborations with industry partners, while his 2023 invited talks at Technical University of Munich and Humboldt University Berlin highlight his international engagement.

• Music Composition
• Ethnomusicology
• Music Psychology
• +۳ مورد دیگر

Dr. John Hails is a Senior Lecturer and Reader in Music at Edinburgh Napier University , where he teaches aesthetics, music psychology, composition, and ethnomusicology. He holds a PhD in Music from Durham University (2008) and has trained under notable composers like Brian Ferneyhough and Richard Barrett. His research focuses on experimental composition, marginal musical practices, and interdisciplinary aesthetics. Educations: Bachelor’s and Master’s training at Durham University and University of Huddersfield PhD by Portfolio of Compositions (Durham University, 2008) Research Interests: John’s work explores unorthodox intonations, fixed media installations, and the intersection of composition with philosophy and ethnomusicology. He actively presents at international conferences on topics like post-structuralist critiques in music education and communal performance practices. Notable Works: His compositions have been performed by ensembles like the London Sinfonietta and broadcast on BBC Radio 3. Key pieces include enlightenment (microtonal trumpet and media) and Nine for ones in nine , reflecting his experimental approach. Awards & Grants: While no explicit awards are listed, his research is funded by Edinburgh Napier University. He is a core member of the Applied Music Research Centre . Supervision & Grants: He has supervised over 15 postgraduate projects, including PhDs on topics like Musical Cultures of Melanesia and Dialogical Music Systems . His supervisory roles span composition, ethnomusicology, and interdisciplinary studies. Labs/Teams: Active in the Applied Music Research Centre , focusing on creative practice and experimental music dissemination.

• Partial Differential Equations
• Shape Optimization
• Numerical Analysis
• +۳ مورد دیگر

Arian Novruzi is a Full Professor in the Department of Mathematics and Statistics at the University of Ottawa, Faculty of Science. His expertise lies in partial differential equations (PDEs), shape optimization, numerical analysis, and mathematical modeling. He holds an MSc from the University of Tirana and a PhD from the University of Nancy. His research integrates theoretical and applied mathematics, with a focus on fluid dynamics, biomedical applications, and engineering challenges. Education: MSc in Mathematics, University of Tirana PhD in Mathematics, University of Nancy Dr. Novruzi’s research interests include the analysis and numerical solutions of PDEs, optimization of geometric shapes for engineering systems, and modeling of complex physical phenomena such as blood flow and tumor radiation therapy. His work bridges pure mathematics with practical applications, addressing problems in fluid mechanics, materials science, and biomedical engineering. His recent publications highlight advancements in non-diffusive neural network methods for hyperbolic conservation laws, blood flow modeling using Navier-Stokes equations, and the optimization of convex domains for energy maximization. These studies emphasize both theoretical rigor and computational innovation. Awards: No scientific awards explicitly mentioned in the provided texts. Dr. Novruzi has supervised students such as Terence C. Ngouoko. His grants and collaborations are not detailed here, but his research has implications for energy-efficient engineering designs and medical treatments. He has authored a Springer textbook on PDEs, reflecting his commitment to educational resources in mathematical sciences.

Ali Hamieمشاهده پروفایل

مدرس ارشد

• Formal Aspects of Software Development
• Software Engineering
• Formal Methods
• +۴ مورد دیگر

Ali Hamie is a Senior Lecturer at the School of Architecture, Technology and Engineering (University of Brighton, UK), specializing in formal methods in software engineering and ontology modeling. With over 35 publications, his work bridges theoretical formalisms like UML, OCL, and JML with practical implementation validation. BSc in Pure Mathematics (Lebanese University, 1982) Postgraduate Diploma in Computing (University of Essex, 1986) MSc in Computer Science (University of Essex, 1987) PhD in Computer Science (University of Essex, 1991) His research focuses on formal aspects of software development , including specification patterns, design by contract, and translation between formal notations (OCL to JML). Recent work examines diagrammatic reasoning in ontology engineering and hybrid modeling approaches combining formal and agile methods. Studies show his publications span formal methods , ontology modeling , and constraints validation , with recurring themes in OCL-JML interoperability, diagrammatic notations, and user-centric formalism evaluation. Awards include Fellow of the Higher Education Academy (2017) . He supervises research in formal computing, with past topics covering concept diagrams and ontology modeling. His academic career includes postdoctoral roles at Newcastle University and EPSRC-funded work at Imperial College.

Keenan Craneمشاهده پروفایل

دانشیار

• Computer Science
• Mathematics
• Scientific Computing
• +۷ مورد دیگر

Keenan Crane is the Michael B. Donohue Associate Professor of Computer Science and Robotics at Carnegie Mellon University , with membership in the Center for Nonlinear Analysis and mentorship in the Geometry Collective . His research bridges differential geometry and computer science to develop fundamental algorithms for geometric data processing. Education : BS from University of Illinois at Urbana-Champaign, PhD from Caltech Fellowships : Google PhD Fellow, NSF Mathematical Sciences Postdoctoral Fellow Research focuses on Discrete Differential Geometry , addressing PDE solutions, mesh processing, and geometric modeling through methods like: Walk on Spheres for PDEs Intrinsic Triangulations for robust geometry Repulsive Energy formulations for collision avoidance Recent publications span 2025–2021 , emphasizing grid-free algorithms , anisotropic mesh generation , and differentiable systems . Scientific accolades include Packard Fellowship and NSF CAREER Award . Students include Nicole Feng , Olga Gutan , and Zoë Marschner . During his 2024 sabbatical at Roblox , he does not accept new researchers. Key software contributions include Penrose (math diagram generation) and I♥Mesh (domain-specific language for mesh algorithms).

• Textile Design
• Craft Processes
• Experiential Knowledge
• +۳ مورد دیگر

Nithikul Nimkulrat is a Professor and Head of Department of Textile Design at the Estonian Academy of Arts since 2013. She has previously held roles at Aalto University (2004–2010) and Loughborough University (2011–2013). Her research bridges textile practice with experiential knowledge in craft processes , emphasizing design research and mathematical integration in textile art. Her academic journey includes a Doctor of Arts degree (2009) from Aalto University, focusing on textile material expressivity beyond visible/touchable qualities . She has been an elected council member of the Design Research Society (DRS) and convenes the DRS Special Interest Group on Experiential Knowledge (EKSIG). Research interests revolve around textile design , craft processes , and mathematical modeling in textiles. Recent work explores interactive textiles for nonverbal communication and collaborative making in craft and virtual reality . Publications like Crafting Textiles in the Digital Age (Bloomsbury, 2016) highlight her contributions. Key article trends include mathematical diagrams for knotted textiles somaesthetic interactions via disturbing experiences experiential knowledge in interdisciplinary design interactive artifacts for inclusive education Scientific awards: Publishing Scholar of the Year (2016, Estonian Academy of Arts) Distinguished Reviewer, Journal of Research Practice (2007) Supervision includes PhD and Master’s students working on topics such as heritage production , handbag design , and interactive light textiles . She has also served as an external examiner for universities globally.