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

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.

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

• Bioinformatics
• Algorithms
• Computational Biology
• +۵ مورد دیگر

Gabriel Alejandro Valiente Feruglio is a Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Barcelona School of Informatics (FIB) and the Department of Computer Science. He is a member of the ALBCOM research group, focusing on Algorithms, Bioinformatics, Complexity, and Formal Methods. His work integrates theoretical computer science with applications in computational biology, including phylogenetic analysis, graph algorithms, and metagenomics. Valiente’s research emphasizes the development of algorithms for biological networks, phylogenetic tree and network comparison, and efficient graph representation. He has contributed to tools like TANGO for taxonomic assignment in metagenomics and AligNet for protein-protein interaction network alignment. His publications span over 140 works in journals like BMC Bioinformatics, IEEE-ACM Transactions on Computational Biology, and Bioinformatics. He leads and collaborates in competitive research projects funded by institutions like the Catalan government, focusing on bioinformatics, computational biology, and algorithmic methods. His research also extends to LaTeX typesetting for scientific documents and the structural analysis of scientific collaborations in graph transformations.

Ben Jannمشاهده پروفایل

استاد

• Statistical Methods
• Data Visualization
• Social Inequality
• +۲ مورد دیگر

Ben Jann is a Professor and current Department Head at the University of Bern in the Department of Social Sciences . His methodological expertise spans statistical software development, decomposition analysis, and data visualization. Role: Department Head Institution: University of Bern Department: Department of Social Sciences Research Interests : Jann specializes in creating Stata modules for advanced statistical analysis, including geospatial mapping (geoplot), robust regression (robreg10), and inequality decomposition (oaxaca-blinder methods). His substantive work examines social inequality through economic and sociological lenses, analyzing how living costs and taxation systems impact income distribution in Switzerland. He also investigates educational transitions and gender disparities in STEM occupational choices through longitudinal studies like TREE2. Recent Publications Trends : Jann’s 15 most recent articles (2025-2023) demonstrate his focus on statistical software development for social science applications. Key contributions include methods for marginal odds ratios (2023), two-level model variance decomposition (2025), and list experiment analysis (2025). His empirical work connects statistical methodology to pressing social issues like gender wage gaps (2021) and teacher content knowledge in developing countries (2021).

Sašo Živanovićمشاهده پروفایل

استادیار

• Semantics
• Quantification
• Phonology
• +۴ مورد دیگر

Sašo Živanović is an Assistant Professor at the Department of Comparative and General Linguistics, Faculty of Arts, University of Ljubljana. He holds a PhD in General Linguistics (2007) and a Diploma in Theoretical Mathematics (2002), and has been continuously employed at the university since 2007. His educational background reflects an interdisciplinary approach, combining mathematical rigor with linguistic theory. This foundation supports his research at the intersection of formal linguistics and computational methods. Živanović's research spans theoretical linguistics with particular emphasis on semantics (especially quantification), phonology, and syntax. His work demonstrates a consistent focus on the formal properties of language structure, with publications ranging from theoretical explorations of logical form to practical applications in linguistic documentation. His recent work shows increasing integration of computational approaches, particularly through his development of specialized LaTeX packages for linguistic research. Analysis of his publication record reveals a dual trajectory: theoretical contributions to linguistic theory (particularly in Slavic languages) and practical tools for linguistic documentation and analysis. His most recent publications demonstrate growing interest in computational linguistics and the development of specialized software tools for linguistic research. Živanović maintains an active presence in both academic and open-source communities, with significant contributions to the LaTeX ecosystem through packages like Memoize, Forest, and SignDraw that address specific needs in linguistic research and publication. As an educator, he teaches courses including Phonetics and Phonology, Linguistic Typology, Modern Linguistic Theories, and LaTeX for Linguists, demonstrating his commitment to equipping students with both theoretical knowledge and practical technical skills essential for contemporary linguistic research.

Igor Dolinkaمشاهده پروفایل

استاد

• Algebra
• Theoretical Computer Science
• Semigroup Theory
• +۴ مورد دیگر

Igor Dolinka is a full professor at the Department of Algebra and Theoretical Computer Science, Faculty of Sciences, University of Novi Sad. He is also a corresponding member of the Serbian Academy of Sciences and Arts (SASA). His research focuses on semigroup theory, inverse monoids, semiring theory, and computational algebra, contributing extensively to equational bases, idempotent-generated semigroups, and algebraic structures in diagram categories. His recent publications highlight advancements in the finite basis problem, word problems for free idempotent-generated semigroups, and structural analyses of sandwich semigroups. His work bridges theoretical algebra with computational methods, emphasizing universal algebra and equational logic. Dolinka has received prestigious recognition, including corresponding membership in SASA. His email address is dockie@dmi.uns.ac.rs, and he maintains a personal website at http://people.dmi.uns.ac.rs/~dockie/ .

Philippe CARAمشاهده پروفایل

استاد

• Algebra
• Geometry
• Computer Algebra
• +۳ مورد دیگر

Philippe CARA is a Professor at the Vrije Universiteit Brussel (VUB), affiliated with the Department of Mathematics & Data Science . His expertise spans algebra, geometry, computer algebra, and mathematical typesetting (LaTeX). He has contributed to research in near-vector spaces, semisymmetric graphs, and incidence geometry, with recent work on direct sums and quotient spaces of near-vector spaces. Expertise: Computer Algebra , Finite Incidence Geometry , Graph Theory , Mathematical Education . His research explores the interplay between algebraic structures, geometric representations, and computational methods. Notable projects include the FinInG package for finite incidence geometry and studies on generalized total colorings of planar graphs. Scientific awards include the AT&T Research Award 2001 , the Gold Medal of the European Cultural Renaissance (Research Category, 2003) , and the VUB Ingace Vanderschueren Award 2002 . He has supervised master’s theses by A. Darras and L. Vandewalle , and participated in organizing events like the Conference 'Finite Geometry and Friends' (2019). His work also includes collaborations with institutions such as the University of The Free State (postdoctoral fellowship, 2017–2019).

Zachary Treismanمشاهده پروفایل

استادیار

• Topological and Geometric Data Analysis
• Analysis of Ecological Data
• Art and Mathematics
• +۲ مورد دیگر

Zachary Treisman is an Assistant Professor of Mathematics at Western Colorado University and serves as the Honors Program Director. He holds a PhD in Mathematics from the University of Washington (2006) and a BA in Mathematics from Reed College (1999). His academic career spans collaborations with mathematical artist Lun-Yi Tsai, work on high-profile legal cases involving statistical analysis, and postdoctoral research at the Tata Institute for Fundamental Research in Mumbai, India. PhD, University of Washington (2006) BA, Reed College (1999) His research bridges theoretical mathematics and practical applications, with a focus on: Topological and geometric data analysis Ecosystem modeling and ecological statistics Interdisciplinary art-mathematics projects Algebraic geometry fundamentals Treisman teaches a wide range of mathematics courses from foundational college algebra to advanced algebraic analysis, emphasizing mathematical typesetting and historical perspectives. He contributes to both the Math & Computer Science Department and the university's honors program.

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

استادیار

• Automated Theorem Proving
• Formal Methods
• Mathematical Logic
• +۵ مورد دیگر

Adam Naumowicz is an Assistant Professor at the Faculty of Computer Science, University of Bialystok, where he has been employed since 2000. His academic work centers around the development and application of the Mizar system for automated proof checking and formalization of mathematics. Ph.D. in Informatics from Shinshu University (2005) M.Sc. in Mathematics from University of Bialystok (2000) B.A. in English Philology from University of Bialystok (2004) Naumowicz's research focuses on automated theorem proving and the formalization of mathematics , particularly through the Mizar system. His work spans formal methods in computer science education , with additional interests in general topology , continuous lattices , and algebraic geometry . He has made significant contributions to the Mizar Mathematical Library, advancing the formal verification of mathematical results. Analysis of his recent publications (2017-2023) reveals a strong emphasis on number theory formalization within the Mizar framework, with multiple "Elementary Number Theory Problems" papers. His work increasingly integrates automated reasoning techniques with mathematical education , as seen in his study of Mizar user interactivity in university courses. The publications demonstrate consistent development of the Mizar system's capabilities for handling complex mathematical structures and proofs. Editor of Formalized Mathematics journal Editor of Journal of Formalized Reasoning Managing Editor of Central European Journal of Computer Science (2010-2014) Guest Editor for special issue on Computer Reconstruction of Mathematics Naumowicz has been actively involved in numerous research grants from 1997-2018, including EU-funded projects like TYPES II and CALCULEMUS. He regularly teaches courses on structured programming, logic, set theory, and formal methods. As a key member of the Mizar development team, he participates in major conferences including CICM, ITP, and TYPES, often serving on program committees and organizing workshops on formal mathematics.

• Graph Theory
• Combinatorics
• Discrete Mathematics
• +۴ مورد دیگر

Jose Luis Ruiz Muñoz is a Researcher at the Universitat Politècnica de Catalunya (UPC), affiliated with the Barcelona School of Informatics (FIB) and the Department of Mathematics. He is a core member of the COMBGRAPH research group focused on Combinatorics, Graph Theory, and Applications. His work spans over three decades, with contributions in graph theory, hypergraphs, combinatorial optimization, and mathematical education. Notable areas include dominating sets in graphs, De Bruijn/Kautz digraphs, and educational tools like EngiMath@UPC for linear algebra. Research interests emphasize theoretical contributions to graph algorithms, hypergraph structures, and their applications in combinatorial optimization. He has co-authored over 20 publications since 1992, including journal articles in Discrete Applied Mathematics , Discussiones Mathematicae Graph Theory , and conference proceedings like Gdansk Workshop on Graph Theory. His work bridges discrete mathematics with practical applications in education and computational systems. Key projects include the EngiMath@UPC platform for engineering mathematics education and foundational studies on hypergraph decomposition. Collaborations span institutions like the University of Almería (Spain), University of Seville, and UPC’s own departments of applied mathematics and engineering.

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

دانشیار مدعو

• Quantum Computing
• Mathematical Markup Languages
• Web Standards
• +۳ مورد دیگر

Robert Sutor is an Adjunct Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, within the School of Engineering and Applied Sciences. He holds a PhD in Mathematics from Princeton University (1992), an MA from Princeton (1983), and an AB from Harvard University (1980). PhD: Mathematics, Princeton University, 1992 MA: Mathematics, Princeton University, 1983 AB: Mathematics, Harvard University, 1980 His research focuses on quantum computing, mathematical markup languages (e.g., MathML), web standards (e.g., DOM), and computer algebra systems like AXIOM. Notable contributions include foundational work on MathML, the Document Object Model (DOM), and AXIOM compiler design. He has also explored privacy in big data and the intersection of quantum computing with societal impact. His publications span over three decades, with key works on: Quantum computing theory and applications Mathematical content representation standards (MathML) Web infrastructure standards (DOM) Compiler design for algebraic systems Dr. Sutor has been deeply involved in standards development through initiatives like the World Wide Web Consortium (W3C) and WS-I. His work bridges theoretical mathematics and practical software engineering, emphasizing interoperability and accessibility.

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

استادیار

• Human-computer interaction
• Programming tools
• Interactive reading systems
• +۴ مورد دیگر

Andrew Head is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He leads research on interactive reading and reasoning systems, working closely with Benjamin Pierce from PLClub and Chris Callison-Burch from PennNLP. He co-leads the Penn Human-Computer Interaction (Penn HCI) group alongside Danaé Metaxa and serves as a faculty affiliate for Penn's MindCORE center. His research focuses on developing technology for interactive reading and reasoning, with specific goals of helping scientists get more from their readings, making mathematical notation understandable, assisting programmers with AI comprehension tools, and accelerating programmers in writing correctness proofs. His group follows a systems-centric HCI approach, conducting in-depth user studies followed by building interactive systems that are published at top venues like ACM CHI and UIST. His publication record shows strong focus on human-computer interaction applied to programming environments, reading systems, and mathematical notation. Recent work demonstrates growing integration of AI techniques into interactive systems, particularly for code explanation and document augmentation. His research bridges theoretical programming language concepts with practical user needs. Best Paper Award, ICSE 2024 for Property-Based Testing in Practice Best Paper Award, CHI 2023 for CiteSee Nominated for Best Paper Award, CHI 2023 for Colaroid $1M NSF grant for Property-based Testing for the People project (2024) Professor Head advises multiple PhD students including Alyssa Hwang, Litao Yan, Hita Kambhamettu, Jeff Tao, Jessica Shi, and Xiaorui Liu. His group works closely with PLClub and PennNLP researchers, and he has secured significant funding including a $1M NSF grant. His lab develops working interactive systems that emerge from thorough user studies, focusing on practical applications of HCI research.

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

پژوهشگر

• Information Theory
• Communication Systems
• LaTeX
• +۳ مورد دیگر

Stefan M. Moser is a Senior Scientist at the Institute for Signal and Information Processing (ISI) at ETH Zurich and an Adjunct Professor at the Institute of Communications Engineering of National Yang Ming Chiao Tung University (NYCU) . He also serves as a Math Teacher at Kantonsschule Uster (KUS) . Teaching: Courses include Information Theory I/II , Communication Systems , and LaTeX tutorials. Research: Focuses on information theory, communication systems, and mathematical aspects of noncentral chi-square distributions. Software Development: Created financial tools like buha and grade management system grad , along with utilities for LaTeX, PDF processing, and secure communication via GnuPG. Publications: Authored lecture notes Information Theory (2025) and Advanced Topics in Information Theory (2025), plus co-authored textbook A Student's Guide to Coding and Information Theory (2012).

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

استاد

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

Jonathan Aldrich is a Professor in the Software and Societal Systems Department at Carnegie Mellon University's School of Computer Science, where he also directs the Software Engineering Ph.D. program. His research bridges programming languages and software engineering, focusing on how software expression affects engineering at scale. Key contributions include Wyvern (security-focused language), Plaid (typestate-oriented language), and gradual verification techniques. His research explores software quality and productivity through improved expression of structural and behavioral design aspects. Recent work emphasizes security-aware language design, blockchain programming (Obsidian), formal verification, and usability in programming languages. Aldrich maintains active projects in gradual verification, symbolic execution, and safe concurrency models. Publication analysis reveals strong emphasis on formal methods (63%), language design (47%), and security (30%), with emerging work in blockchain (20%) and human-computer interaction (17%). Recent articles demonstrate increased focus on verification techniques applied to smart contracts and real-world systems. Scientific Awards: Dahl-Nygaard Junior Prize (2007) for architecture verification NSF CAREER Award (2006) for software architecture research As Ph.D. program director, Aldrich leads research groups including the Wyvern and Obsidian language teams. He maintains collaborations through the ACM Publications Board and conference leadership roles (OOPSLA 2017 chair, ECOOP committees). Current grants support work on gradual verification and language-based security.

Thomas Sturmمشاهده پروفایل

استاد

• Mathematics
• Technomathematics
• Computer Science
• +۳ مورد دیگر

Prof. Dr. rer. nat. Dr.-Ing. Thomas Sturm holds the Professorship for Mathematics, especially Technomathematics, at the Institute of Mathematics and Computer Science within the Faculty of Business Administration at Universität der Bundeswehr München. He teaches foundational and advanced mathematical courses across multiple programs. Contact: Building 41/300, Room 1315 Email: thomas.sturm@unibw.de His teaching portfolio includes: Core mathematics courses for TIKT and WT-ITE programs (Mathematics 1, Mathematics 2, Advanced Mathematical Methods) Specialized courses like "Introduction to LaTeX Typesetting System" Bridging courses to support students in mathematical fundamentals He serves in a military academic context, balancing educational responsibilities with institutional accessibility requirements.