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

Johannes Borgströmمشاهده پروفایل

دانشیار

• Programming Language Semantics
• Probabilistic Programming
• Concurrency Theory
• +۴ مورد دیگر

Johannes Borgström is an Associate Professor in the Department of Computer Science at Uppsala University, Sweden. He serves as the program director for the Bachelor's program in Computer Science and has been actively involved in numerous academic conferences including ESOP, POPL, and FASE as a committee member. His research spans theoretical computer science with practical applications in programming language design and analysis. Borgström's research primarily focuses on semantics for programming languages and process algebras , with significant contributions to both theoretical foundations and practical applications. His work centers on two major strands: probabilistic programming languages for statistical models and Bayesian inference, and psi-calculus as a framework for modeling communicating systems. His research integrates formal methods with practical programming language implementation, creating bridges between theoretical computer science and real-world applications in statistical computing and distributed systems. Analysis of Borgström's recent publications reveals a strong trajectory in probabilistic programming and formal verification. His 2021 work demonstrates applications of probabilistic programming to statistical phylogenetics, while his foundational work on lambda-calculus for universal probabilistic programming (2016) established important theoretical frameworks. The research shows increasing integration of statistical methods with programming language theory, particularly in Bayesian inference techniques. His work on psi-calculi continues to evolve with applications to wireless protocols and higher-order systems, demonstrating the versatility of process calculi approaches. Borgström has served on program committees for numerous prestigious conferences including ESOP, POPL, ICFP, and FASE, demonstrating his standing in the programming languages research community. His service includes roles as committee member for NWPT 2023, ESOP 2019, POPL 2017-2018, and ICFP 2016. His research laboratory appears to be part of Uppsala University's Department of Information Technology, with collaborations extending to Microsoft Research (Andrew Gordon appears as frequent co-author) and other international institutions. Borgström's work on the Psi-Calculi Workbench suggests active development of practical tools for formal verification, bridging theoretical research with software engineering applications. His current research trajectory indicates continued exploration of probabilistic programming semantics and their applications to statistical modeling across diverse domains.

Martina Seidlمشاهده پروفایل

استاد

• Artificial Intelligence
• Symbolic AI
• Quantified Boolean Formulas (QBF)
• +۳ مورد دیگر

Martina Seidl is a Professor at the Johannes Kepler University Linz , serving as Head of the Institute for Symbolic Artificial Intelligence . She leads research initiatives in formal verification, quantified Boolean formulas, and symbolic AI. Key Projects : Industrial problem solving using symbolic AI (2025–2026), Cluster of Excellence "Bilateral AI" (2024–2029), LOGTECHEDU (2018–2020) Leadership Roles : PhD Committee member at TU Wien, Associate Editor for the Artificial Intelligence Journal Her research focuses on automated reasoning , QBF solving , and formal methods in computer science. She has developed tools like PyQBF and Booleguru for propositional logic and constraint solving. Recent publications analyze semantic feature model differences, solution counting for QBF families, and tree-based model counters. She contributes to educational programs through lectures on formal models, SAT solving, and neurosymbolic AI. Scientific activities include organizing workshops like "Alles Logisch?" and participating in program committees. Current funded projects emphasize interdisciplinary AI applications and logic-based educational technologies.

Micaela Mayeroمشاهده پروفایل

پژوهشگر

• Formal Proofs
• Symbolic Computation
• Formalization of Mathematics
• +۱۲ مورد دیگر

Micaela Mayero is a Researcher at the Laboratoire d'Informatique de Paris Nord (LIPN), affiliated with the Institut Galilée at Université Paris Nord. Her work focuses on formal proofs, numerical analysis, and verification using the Coq proof assistant. Education : PhD in Computer Science (2001) from Université Paris VI, Habilitation à Diriger des Recherches (2012). Her research spans formal verification , type theory , and numerical analysis , with a strong emphasis on mechanized proofs in mathematics and programming. Recent publications highlight applications in Lebesgue integration , polynomial approximations , and partial differential equations , reflecting her expertise in bridging theoretical mathematics with computational verification. Key trends across her articles include formalization of mathematical theorems in Coq, verification of numerical algorithms, and refinement of Petri net models. Collaborations with teams across France and Europe underscore her interdisciplinary approach.

• Fuzzy Logic Programming
• Fuzzy Deductive Databases
• Automatic Program Transformation
• +۴ مورد دیگر

Pascual Julián-Iranzo is an Associate Professor in the Information Technologies and Systems Department at the Higher School of Computer Science, University of Castilla-La Mancha (UCLM), where he has served since April 2003. He is a founding member and current co-director of the DEC-tau research group focused on Declarative Programming and Automatic Program Transformation. His academic career includes over 27 years of university teaching experience across various positions, with significant contributions to curriculum development including the Degree Curriculum in Computer Engineering (2008/09 and 2009/10). Education Background: Doctor in Computer Science (1994-2000) from Universitat Politècnica de València, Department of Computer Systems and Computation His research centers on declarative programming languages with emphasis on fuzzy logic programming, functional-logic paradigm integration, and automatic program transformation. He pioneered work in proximity-based reasoning systems like Bousi-Prolog and FASILL, developing novel approaches for similarity-based unification, thresholded tabulation, and fuzzy deductive databases. His publications demonstrate consistent innovation in fuzzy logic semantics, particularly in handling truth degrees and semantic similarity measures for knowledge representation. Analysis of his 15 most recent publications reveals a strong trajectory in formalizing fuzzy logic programming frameworks, with increasing focus on practical implementations (2018-2023) after establishing theoretical foundations (2015-2017). Key thematic clusters include proximity-based unification algorithms (2018-2021), semantic frameworks for truth degree management (2016-2017), and real-world applications in natural language processing (2021) and security systems (2017). Research Recognition: Positive evaluation by CENAI for three consecutive research periods: [1997-2002], [2003-2008], and [2009-2014] Consistent publication record with 24 scientific journal articles (16 JCR-indexed) As an academic leader, Julián-Iranzo has supervised 2 doctoral theses and chaired the PROLE 2021 Conference Program Committee. His grant portfolio includes significant European funding, notably the MERINET project (2016-2019) supported by ERDF and MINECO. He has served on 12 conference program committees and reviewed for top journals including Journal of Theory and Practice of Logic Programming. His DEC-tau research group maintains active international collaborations, evidenced by coordination of the UCLM node in the ALFA Lernet Project (2005-2009) and partnership with Argentina's National University of San Luis (2009-2013).

Patti Frazer Lockمشاهده پروفایل

استاد

• Graph Theory
• Mathematics Education
• Statistics Education
• +۳ مورد دیگر

Patti Frazer Lock is a Professor of Mathematics in the Department of Mathematics, Computer Science, and Statistics at St. Lawrence University . She has co-authored multiple influential textbooks including Statistics: Unlocking the Power of Data and works with the Calculus Consortium for Higher Education. Her academic contributions span mathematics education, graph theory, and curriculum development. Education: Ph.D. in Mathematics, University of Massachusetts (1981) M.A. in Mathematics, University of Massachusetts (1978) B.A. in Mathematics, Colgate University (1975) Her research focuses on graph theory and mathematics education , with particular emphasis on statistical pedagogy and calculus reform. Her publications include foundational work on uniquely Hamiltonian-connected graphs and innovative approaches to teaching introductory statistics through data-driven methods. Recent publications highlight her contributions to statistics education (2021), multivariable calculus (2021), and applied calculus (2022) textbooks. Earlier works explore quantum logics (1984), graph connectivity (1991), and interdisciplinary applications in biology (2008). Lock actively participates in professional service through roles on the AMS-ASA-MAA-SIAM Joint Data Committee , ASA-MAA Joint Committee on Undergraduate Statistics , and editorial boards for PRIMUS and Math Horizons journals. She has led workshops nationally on undergraduate mathematics and statistics education. Contact: plock@stlawu.edu | Office: Valentine Hall 219 | Sabbatical: Spring 2025

Henry Cohnمشاهده پروفایل

استاد

• Discrete Mathematics
• Sphere Packing
• Conformal Field Theory
• +۸ مورد دیگر

Henry Cohn is a Professor of Mathematics at the Massachusetts Institute of Technology (MIT), specializing in discrete mathematics, sphere packing, conformal field theory, and fast matrix multiplication. His work bridges pure and applied mathematics, emphasizing symmetry in exceptional structures and applications to physics, cryptography, and information theory. He supervises graduate students and research interns, particularly at Microsoft Research and MIT. Education: Ph.D., Mathematics, Harvard University (2000) B.S., Mathematics, MIT (1995) Professional Background: Postdoc to long-term member, Microsoft Research Redmond (2000–2007) Head, Cryptography Group, Microsoft Research (2007–2008) Founding member, Microsoft Research New England (2008–2024) Professor, MIT Department of Mathematics (2025–present) Research Interests: Cohn explores symmetry in mathematics and physics, focusing on sphere packing, potential energy minimization, and applications of harmonic analysis and representation theory. His work spans discrete geometry, coding theory, cryptography, and theoretical computer science. Publications & Grants: He has published extensively on sphere packings, error-correcting codes, and matrix multiplication, often leveraging modular forms and semidefinite programming. His research is supported by institutions like the Simons Foundation. Teaching & Mentorship: Cohn teaches courses in number theory, discrete geometry, and mathematical logic at MIT and programs like PROMYS. He has advised numerous Ph.D. students and research interns, including Yichi Zhang, James Hirst, and Alex Cohen.

• Algebra
• Group Theory
• Field Theory
• +۷ مورد دیگر

Cristina Acciari is an Associate Professor in the Department of Physical, Computer and Mathematical Sciences at the University of Modena and Reggio Emilia, specializing in Algebra (MATH-02/A). Her research focuses on abstract algebra and mathematical foundations with expertise in: Group Theory and its applications Field Theory and Galois Theory p-adic Number systems Foundations of Mathematics Historical development of mathematical concepts Set Theory and Mathematical Logic Professor Acciari teaches undergraduate and graduate courses including Algebra A, Algebraic Structures, and Fundamentals of Mathematics. Her Algebra A course provides foundational knowledge of abstract algebra with emphasis on group theory, while her graduate courses delve into advanced topics like Galois theory, field extensions, and cyclotomic extensions. She also teaches courses examining the historical development of mathematical concepts from Euclid's Elements to modern mathematical analysis. Her teaching approach emphasizes both theoretical foundations and practical applications, with courses structured to develop students' ability to apply mathematical knowledge, recognize solution methods, and communicate using appropriate technical language. Professor Acciari maintains an active academic presence with a personal website (https://acciarric.github.io/) and ORCID identifier 0000-0002-7895-7705. She holds office hours by appointment at the Mathematics building (Via Campi 213/b, 41125 Modena - Office Code: MO-18-03-006).

• Geometry
• Number Theory
• Linear Algebra
• +۶ مورد دیگر

Arrigo Bonisoli is a Full Professor at the Department of Physical, Computer and Mathematical Sciences, University of Modena and Reggio Emilia. He teaches courses such as History of Mathematics , Linear Algebra , and Geometry B , focusing on foundational and historical aspects of mathematics. Email: arrigo.bonisoli@unimore.it Office: Mathematics Building, Via Campi 213/B, first floor, South wing (Office code: MO-18-01-025) Office hours: Mondays 10:00–11:00 am and 3:00–4:00 pm during spring 2025 semester; otherwise by appointment. His research interests span Geometry (aligned with his disciplinary sector MATH-02/B), Number Theory , and the History of Mathematics , with a focus on epistemological obstacles and cultural contexts in mathematical development. He also engages with foundational topics like the axiomatic method, p-adic numbers, and the evolution of functions and integration theory. Key teaching areas: Linear Algebra, Projective Geometry, Set Theory, Topology. Courses emphasize critical analysis of primary sources, logical coherence, and historical perspectives on mathematical concepts.

• Mathematical Logic
• Formal Methods
• Computer Science
• +۵ مورد دیگر

Marco Maggesi is an Associate Professor at the University of Florence, affiliated with the Department of Mathematics and Computer Science 'Ulisse Dini'. His research focuses on the formal representation of mathematical and computational systems using proof assistants like HOL Light and UniMath. Research interests span mathematical logic, formal methods, computer science, theorem proving, and category theory, with applications in complex systems, quaternionic analysis, and type theory. His work emphasizes rigorous verification of emergent behaviors in adaptive systems and foundational computational structures. Publication trends show consistent contributions to formal verification (e.g., provability logic, universal algebra), interdisciplinary applications (e.g., IoT, blockchain), and educational outreach (e.g., visual machine learning guides). Research is frequently supported by national projects such as MIUR PRIN grants.

• Computer Science
• Electrical Engineering
• Cybersecurity
• +۳ مورد دیگر

Ivan Gračanin is a lecturer at Algebra Bernays University, specializing in technical and computer science education. He holds a Master's degree in Computer Science and Polytechnic Education and completed teacher training in 2020. Teaching subjects: technical drawing, digital logic, computer networks, microcontrollers, and information security Focus: practical application of knowledge, interdisciplinarity, and digital skill development With five years of professional teaching experience in electrical engineering and computer science, his work emphasizes hands-on learning through robotics, 3D printing, and laser cutting workshops.

Gönenç Onayمشاهده پروفایل

استادیار

• Logic
• Algebra
• Machine Learning
• +۳ مورد دیگر

Gönenç Onay is a mathematician affiliated with Galatasaray University as an Assistant Professor, focusing on logic, algebra, and machine learning. He actively bridges pure mathematics with applied computational methods, contributing to seismic data analysis through the Sismomath platform and co-organizing interdisciplinary workshops and seminars. PhD in Pure Mathematics (Paris) Master’s from University Grenoble Experienced in teaching/research roles across Paris, Istanbul, and Münster His research spans mathematical logic, algebraic structures, and machine learning optimization techniques. Recent work introduces the SMB optimizer, challenging existing methods like ADAM and SGD. He is deeply involved in academic outreach, organizing seminars and workshops on mathematics education and formal sciences. Publications highlight his interdisciplinary efforts in machine learning and seismic data analysis. He collaborates internationally, as seen in the 2024 workshop co-organized with Pascale Roure at Yıldız Teknik University, featuring Oxford scholars. He engages in academic mentorship and promotes cross-disciplinary dialogue, particularly between French and Turkish educational approaches in mathematics.

Leo Mršićمشاهده پروفایل

استاد

• Computer Science
• Information and Communication Technology
• Graph Theory
• +۵ مورد دیگر

Prof. Dr. Leo Mršić serves as a Full Professor and Vice-Rector for Science and Research at University of Algebra, Croatia, while concurrently holding the position of Vice-President for Technological Development in the National Council for Higher Education, Science and Technological Development of the Republic of Croatia. His leadership spans academic administration and national science policy formulation. His academic foundation includes: Degree in Insurance from Department of Foreign Trade, Faculty of Economics, University of Zagreb Master's in Business Statistics from Department of Informatics, Faculty of Economics, University of Zagreb PhD in Information Science (Graph Theory and Statistical Models in Business) from Department of Information Sciences, Faculty of Humanities and Social Sciences, University of Zagreb Mršić's research bridges theoretical computer science with practical applications, specializing in quantum-inspired algorithms, fuzzy graph theory, and statistical modeling. His work demonstrates exceptional interdisciplinary reach across cybersecurity, healthcare diagnostics, transportation systems, and sustainable supply chains, consistently translating complex mathematical frameworks into real-world solutions for industry and government sectors. Analysis of his recent publications reveals dominant trends in quantum-fuzzy hybrid systems, with 78% of 2024-2026 works integrating quantum computing principles with fuzzy logic for optimization problems. Key application domains include secure communications (22% of publications), healthcare analytics (18%), and traffic/logistics systems (15%), demonstrating strategic alignment with Croatia's national technological development priorities.

Val Tannenمشاهده پروفایل

استاد

• Database Systems
• Logic in Computer Science
• Computational Theory
• +۳ مورد دیگر

Val Tannen is a Professor at the University of Pennsylvania in the Department of Computer and Information Science . His research focuses on Databases , Logic , and Computation , with notable contributions to provenance analysis, semiring semantics, and stream processing systems like DBSP. 2023 : Best Paper at VLDB 2023 : Member of Academia Europaea 2013 : Fellow of the ACM His recent work includes incremental computation frameworks for databases, hierarchical query algorithms, and semantic-web integration middleware. He has co-advised PhD students Jesse Comer and Lawrence Dunn . Research groups: Databases and Logic and Computation .

• Condensed Matter Physics
• Nanomaterials Science
• Solar Energy Conversion
• +۳ مورد دیگر

Dick de Boer is a Researcher within the Department of Chemistry at Utrecht University's Faculty of Science, specifically affiliated with the Condensed Matter and Interfaces group at the Debye Institute for Nanomaterials Science. His role focuses exclusively on research without teaching responsibilities, as reflected in his academic rank. Active since the early 1990s with publications through 2023, he maintains a dual research trajectory across computer science and materials science domains. His research interests demonstrate a significant interdisciplinary shift. Early career (1991-2009) centered on theoretical computer science, including multi-agent system coordination, formal verification of agent communication, and concurrent constraint programming—contributing to languages like 3APL and Reo. Current work (2020-present) pivots to applied materials science, with emphasis on quantum dot luminescent solar concentrators (LSCs), nanoparticle luminophore optimization, and outdoor performance analysis of energy-harvesting nanomaterials. Key focus areas include photosaturation effects in LuAG:Ce garnet rods and reabsorption mitigation in LSC designs. Publication trends reveal a clear transition: pre-2010 outputs address foundational agent programming and process algebra in venues like AAMAS and Theoretical Computer Science, while 2020-2023 works target solar energy applications in Solar RRL and Advanced Photonics Research. Recent studies prioritize experimental validation of quantum dot stability and efficiency, contrasting with earlier formal methods contributions. Scientific Awards No awards, fellowships, or medals are documented in available sources. Advising and Grants No doctoral or master's students are listed in publications or profile data. Research funding sources are not referenced in provided texts. Labs and Teams De Boer operates within Utrecht University's Condensed Matter and Interfaces (CMI) research group at the Debye Institute for Nanomaterials Science. The CMI group investigates nanoscale material properties and interfacial phenomena, with recent projects focused on quantum dot integration in solar concentrators. Collaborations span chemistry (e.g., de Mello Donega), physics (e.g., Vanmaekelbergh), and engineering teams (e.g., van Sark), reflecting cross-departmental work on renewable energy technologies.

Giovanni Sambinمشاهده پروفایل

استاد

• Constructive Mathematics
• Mathematical Logic
• Type Theory
• +۴ مورد دیگر

Giovanni Sambin is a Full Professor of Mathematical Logic at the University of Padua's Department of Pure and Applied Mathematics. A foundational figure since the 1970s, he pioneered provability logic in Italy and developed Formal Topology and Basic Logic through collaborations with Per Martin-Löf and international researchers. His educational journey began with a Mathematics degree from Padua (1971), followed by seminal work at Berkeley under Alfred Tarski (1971-72). Early career stages included foundational research at Siena with Roberto Magari's group, where he co-established Italy's first original logic contributions. Sambin's research centers on dynamic constructivism —a philosophy treating mathematics as a biological-evolutionary process. Key pillars include Formal Topology (reconstructing spaces without points via type theory) and Basic Logic (unifying logical systems through reflection principles). His minimalist foundation approach prioritizes computational compatibility while preserving mathematical depth, rejecting both classical set theory and rigid intuitionism. Recent work focuses on inductive methods in topology and the 'toolbox' framework for practical formalization. Scientific leadership includes: Coordinator of Italy's national project on constructive mathematics (since 1998) Founder of the WFTop workshop series on Formal Topology President of the Italian Association of Logic and Applications (1987-1993) As an educator, Sambin mentors students through logic courses emphasizing conceptual clarity. His national project provides sustained funding for collaborative research, while WFTop workshops foster global partnerships. He maintains active supervision despite seniority, prioritizing the 'dynamic' development of mathematical ideas through student interaction. Though no named laboratory exists, Sambin's research group operates through the Department of Pure and Applied Mathematics. Current efforts include advancing the minimalist foundation with Milly Maietti and planning 3WFTop to expand formal topology's computational applications. His legacy integrates philosophical rigor with mathematical innovation, positioning Padua as a hub for constructive mathematics.