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

Peter Hoefnerمشاهده پروفایل

دانشیار

• Formal Verification
• Secure Systems
• Concurrency
• +۵ مورد دیگر

Dr. Peter Hoefner is an Associate Professor and Associate Director of Education at the School of Computing, Australian National University (ANU). He specializes in formal verification, secure systems, and concurrency, with a focus on ensuring software reliability through rigorous mathematical methods. His leadership oversees 80+ courses, 3,700+ students, and multi-million-dollar education programs, achieving 100% student satisfaction in 2024 and successful ACS reaccreditation. His research addresses protocol modeling, distributed systems, and high-assurance systems, with major contributions including the AWN formal modeling language and verification of protocols like AODV. He secured $1.5M in funding and led DARPA’s HACMS program, earning a Game Changer Award (2023). Professional roles include Vice Chair of IFIP TC2, Chair of IFIP Working Group 2.1, and editor of the Journal of Logical and Algebraic Methods in Programming . Key achievements: Exposed vulnerabilities in AODV, developed formal methods for concurrent systems, and advanced cybersecurity practices globally. Grants: $4.5M HACMS program leadership, multiple competitive grants as Chief Investigator. Education leadership: Curriculum redesign, operational efficiency improvements, and staff coordination across 40+ academic and 180+ casual staff. His work bridges academia and industry, influencing cybersecurity standards and government projects. Current focus includes advancing algebraic methods and strategic rewriting frameworks.

• Game Theory
• Cooperative Games
• Voting Systems
• +۵ مورد دیگر

Francisco Carreras Escobar is a Professor in the Department of Applied Mathematics II at the School of Industrial and Aeronautical Engineering of Terrassa, Polytechnic University of Catalonia (UPC). With an extensive research career spanning over four decades from 1978 to present, he has established himself as a leading scholar in game theory and its applications. His work primarily focuses on cooperative games, coalition structures, voting systems, and power indices, with significant contributions to theoretical foundations and practical applications in political science and economics. His research interests encompass Game Theory, Cooperative Games, Voting Systems, Power Indices, Coalition Formation, Decision Theory, Political Game Theory, and Mathematical Economics. Carreras Escobar's work demonstrates how mathematical game theory can be applied to analyze political decision-making processes, parliamentary systems, and coalition formation in multi-agent environments. His research has evolved from foundational work on power indices in the 1980s to more complex analyses of coalition structures and stability in recent years. Analysis of his 15 most recent publications reveals a consistent focus on coalition structures within cooperative game theory, particularly examining the Shapley value and its variants in partitioned settings. His work bridges theoretical mathematical developments with practical applications in political decision systems, particularly European voting mechanisms. The research shows increasing sophistication in handling complex coalition formations and stability criteria, with recent work focusing on axiomatic characterizations and probabilistic approaches to value allocation. MEDALLA DE L'ETSEIT AL MERIT DOCENT CONCURS DE MATERIAL DOCENT ETSEIT 93 Carreras Escobar has maintained an exceptionally productive research career with 404 documented academic activities. His work demonstrates strong collaborative patterns, particularly with Antonio Magaña (68 collaborations), Josep Freixas (61 collaborations), and Mª Albina Puente (60 collaborations). His research has evolved from early work on parliamentary voting systems in the 1980s to sophisticated analyses of coalition structures and stability in contemporary game theory. The Department of Applied Mathematics II at UPC has served as his primary academic base throughout his career, where he has contributed significantly to both theoretical developments and practical applications of game theory.

Bernd Finkbeinerمشاهده پروفایل

استاد

• Formal Verification
• Reactive Synthesis
• Hyperproperties
• +۴ مورد دیگر

Prof. Bernd Finkbeiner is a faculty member at CISPA Helmholtz Center for Information Security and holds a Professorship in Computer Science at Saarland University. He earned his Ph.D. in 2003 from Stanford University. Leading the Reactive Systems Group since 2003, now part of CISPA, his research focuses on ensuring safety and security in computer systems through formal methods like specification, program synthesis, and verification. Key projects include output-sensitive reactive synthesis (OSARES), hyperproperty logics (HYPER), and real-time monitoring (RTLOLA). Education : Ph.D. in Computer Science, Stanford University, 2003 His research interests span hyperproperties, formal verification, runtime monitoring of cyber-physical systems, and distributed synthesis. He has pioneered tools like StreamLAB and AutoHyper for hyperproperty analysis. His work on temporal causality and information-flow guided synthesis addresses challenges in distributed and secure systems. Key Achievements : Recipient of ERC Advanced Grant 2022–2027 for Project HYPER Best Paper Awards at ICALP 2009, FSEN 2007, and VMCAI 2012 Leader of the Reactive Systems Group at CISPA Grants & Funding : ERC Advanced Grant supporting research on hyperproperties His lab develops cutting-edge tools for formal methods, including BoSy for bounded synthesis and RTLola for runtime verification. Current research explores compositional synthesis, explainable reactive systems, and robust monitoring for medical and autonomous systems.

Russell W. Howellمشاهده پروفایل

استاد

• Complex Analysis
• Mathematics and Theology
• Philosophy of Mathematics
• +۳ مورد دیگر

Russell W. Howell is the Kathleen Smith Chair of Natural and Behavioral Sciences at Westmont College. He holds a BS from Wheaton College, an MSc from the University of Edinburgh, and a PhD from The Ohio State University. His research focuses on complex analysis and the intersection of mathematics with theology and philosophy. Howell has held visiting positions at institutions including UC Berkeley, Calvin University, and Oxford University, and has been honored twice as Westmont’s Teacher of the Year. He co-authored Complex Analysis for Mathematics and Engineering and contributed to interdisciplinary works like Mathematics Through the Eyes of Faith . His textbook Complex Analysis for Mathematics and Engineering is now freely available via the Open Textbook Initiative. Howell’s academic contributions span theoretical mathematics, pedagogical innovation, and interdisciplinary scholarship. His work bridges mathematical rigor with theological inquiry, exploring questions about the nature of mathematical beauty, faith-based perspectives in STEM, and the philosophical implications of mathematical concepts. He has also served as a leader for Westmont’s study abroad programs in Europe and Mexico, integrating academic and experiential learning. Notable achievements include his Teacher of the Year awards, his role as co-editor of Mathematics in a Postmodern Age , and his advocacy for open educational resources. Howell’s research articles address topics ranging from annular functions and harmonic polynomials to the historical and cultural dimensions of mathematics. His awards and recognitions highlight his excellence in teaching and scholarship, while his academic service includes military service in the U.S. Army in South Korea and leadership in fostering interdisciplinary dialogue between mathematics and religion.

Aleksandra Nowelمشاهده پروفایل

مدرس

• Mathematics Education
• Analytical Thinking
• Formal Language in Proofs
• +۳ مورد دیگر

Aleksandra Nowel is a Lecturer affiliated with the Institute of Mathematics at the Faculty of Mathematics, Physics and Computer Science, University of Gdańsk. She focuses on teaching methodologies in higher mathematics, emphasizing analytical thinking, formal language precision, and process-oriented learning. Her work aims to improve mathematics education through critical thinking development and societal image enhancement. Her research interests include the pedagogical aspects of mathematics instruction, particularly in fostering analytical skills and precise proof construction. She is also engaged in mathematical popularization and improving public perception of the discipline. Aleksandra advocates for personalized learning approaches, especially for early-year students, and emphasizes the application of analytical reasoning beyond strictly scientific contexts. Her publications span singularity theory, topological invariants, and algebraic geometry, reflecting a deep engagement with both pure mathematics and pedagogical innovation.

• Theoretical and Applied Operations Research
• Finance
• Shipping
• +۴ مورد دیگر

Mageirou Evangelos is a Professor at the Department of Informatics within the School of Information Sciences and Technology at Athens University of Economics and Business (AUEB) . He holds a BS in Electrical Engineering from Princeton University (1971), an M.Sc. in Decision and Control Sciences from Harvard University (1972), and a Ph.D. in Decision and Control Sciences from Harvard University (1976). His research spans both theoretical and applied domains in Operations Research , with a focus on Finance , Shipping , and Energy Systems , alongside foundational work in Combinatorial Optimization , Algorithms , and Probabilistic Models . Education : BS in Electrical Engineering, Princeton University, 1971 M.Sc. in Decision and Control Sciences, Harvard University, 1972 Ph.D. in Decision and Control Sciences, Harvard University, 1976 His research interests integrate mathematical techniques with real-world applications, particularly addressing Greek business environments through Energy Systems , Financial Modeling , and Shipping Logistics . Publications emphasize Game Theory , Dynamic Optimization , and Graph-Theoretic Algorithms , reflecting his interdisciplinary approach. Notable contributions include algorithmic frameworks for Stochastic Vessel Positioning , Policy Iteration in Control Problems , and foundational studies in Kernel Enumeration and Default Logic . His work bridges Operations Research with Computer Science , particularly in Maritime and Energy Policy contexts. Administrative Roles : Chairman of the Governing Board, Public Power Corporation S.A. (since April 2004) Chairman of the Faculty Union, AUEB (1994–present) Deputy Chairman, Department of Informatics, AUEB (Sept. 2003–present) Director of Studies, MSc Program in Business Mathematics (Jointly organized with University of Athens and AUEB) Board Member, Hellenic Operations Research Society (1979–1983)

Kazuo Iwamaمشاهده پروفایل

استاد

• Stable Matchings
• Boolean Satisfiability
• Auction algorithms
• +۱۳ مورد دیگر

Kazuo Iwama is a Professor at the School of Informatics, Kyoto University, where he has been employed since 1997. He previously served as a Professor at Kyushu University's Department of Information Science (1992–1997) and held various academic positions, including Associate Professor and Visiting Associate Professor, at institutions such as Kyoto Sangyo University and UC Berkeley's Computer Science Division. Education Ph.D., Electrical Engineering, Kyoto University (1980) M.E., Electrical Engineering, Kyoto University (1975) B.E., Electrical Engineering, Kyoto University (1980) His research spans theoretical computer science, with a focus on algorithms, computational complexity, and quantum computing. Key areas include stable matchings, approximation algorithms, Boolean satisfiability, and quantum network coding. Scientific Awards 2008 Honorary Doctorate from University of Latvia 2005 Member, Science Council of Japan

• Web Services
• Formal Verification
• Software Security
• +۳ مورد دیگر

Xiang Fu is a researcher in the Department of Computer Science at Hofstra University, with affiliations to institutions including Georgia Southwestern State University, University of California, Santa Barbara, and Massachusetts Institute of Technology. His work spans formal verification of web services, software security, zero-knowledge proofs, and automated testing frameworks. His research interests include: Web Services Formal Verification Software Security Zero-Knowledge Proofs Automated Testing Software Engineering Recent publications focus on zero-knowledge auditing for financial systems, formal verification of web services, and secure software analysis. Notable tools developed include APOGEE for automated grading and WISEngineering for scalable online learning. No explicit scientific awards are documented in the provided data.

Srđan Trifunovićمشاهده پروفایل

استادیار

• Partial Differential Equations
• Fluid-Structure Interaction
• Thermoelasticity
• +۳ مورد دیگر

Srđan Trifunović is an Assistant Professor at the Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad. His research focuses on fluid-structure interaction, thermoelasticity, and nonlinear partial differential equations, with applications in mechanical and applied mathematics. He holds a Ph.D. and is affiliated with the Functional Analysis, Geometry and Topology research group. Education: Doctorate in Mathematics (Ph.D.) His research interests include the theoretical analysis of contact problems in fluid-structure systems, thermomechanical coupling in elastic materials, and the development of weak solution methodologies for complex multiphysics systems. Recent work explores time-periodic solutions in viscoelastic beam interactions and heat exchange dynamics in coupled fluid-plate systems. His articles (2020–2025) address fluid-structure interaction across compressible/incompressible fluids and thermoelastic plates/beams, emphasizing existence proofs, regularity, and asymptotic behavior. He has also contributed to damping analysis in wave equations and contact mechanics. No scientific awards or grants are explicitly listed in the provided data. He advises no students in the given texts. His consultations are conducted via email.

Gemma Moranمشاهده پروفایل

استادیار

• Bayesian Statistics
• Machine Learning
• Deep Generative Models
• +۴ مورد دیگر

Gemma Moran is an Assistant Professor in the Statistics Department at Rutgers University. Her office is located at Hill Center 475, 110 Frelinghuysen Road, Piscataway, NJ 08854. She teaches courses including MSDS597 Data Wrangling with Python, MSDS534 Statistical Learning for Data Science, and STAT588 Data Mining. Dr. Moran received her PhD in Statistics from the University of Pennsylvania, where she was advised by Edward George and Veronika Rockova. Prior to joining Rutgers, she was a postdoctoral researcher at the Columbia Data Science Institute working with David Blei. Dr. Moran's research focuses on developing flexible Bayesian models for analyzing high-dimensional data. Her recent work includes developing identifiable and interpretable deep generative models, particularly variational autoencoders, and creating improved tools for Bayesian model criticism. Her methodological contributions bridge statistics, machine learning, and data science, with applications spanning computer vision, biomedical imaging, and materials science. Analysis of Dr. Moran's publication record reveals a strong emphasis on Bayesian methodology, particularly in variable selection (spike-and-slab approaches), deep generative modeling, and model criticism. Her work consistently addresses the challenge of maintaining statistical rigor while developing practical machine learning solutions, with a growing focus on model interpretability and identifiability in complex models. Dr. Moran actively mentors students at multiple levels. Prospective PhD students are encouraged to apply to the Rutgers Statistics PhD program and mention her name. For Masters of Data Science students, she supervises capstone projects requiring independent revisions of group work using different statistical methods or datasets. She also encourages students interested in research to take her MSDS-534 Statistical Learning for Data Science course as preparation for research projects.

• Combinatorial Optimization
• Operations Research
• Algorithms
• +۵ مورد دیگر

Adam Kurpisz is a Tenure Track Professor at Bern Business School (BFH) and a senior researcher at the Institute for Operations Research (IFOR) at ETH Zürich. He holds a PhD from Wrocław University of Science and Technology and has held postdoctoral and visiting researcher positions at IDSIA and the Max-Planck-Institut für Informatik. His research bridges theoretical computer science and applied optimization, focusing on combinatorial optimization, semi-algebraic proof systems, and robust optimization. He has secured over CHF 600,000 in grants, including leadership in the Ambizione Junior Research Group. His teaching spans convex optimization, polynomial optimization, and discrete mathematics at ETH Zürich and BFH. He co-founded startups Silencions and Deeptale, advancing to international competitions and securing EU grants. Research interests include leveraging algebraic geometry and Fourier analysis to develop algorithms for optimization problems. He has published extensively on sum-of-squares hierarchies, approximation algorithms, and scheduling under uncertainty. His work has been presented at venues like ISSAC, ICALP, and SIAM Conferences.

Anton J. Wijsمشاهده پروفایل

دانشیار

• Parallel Software Development
• Formal Verification
• Model Checking
• +۴ مورد دیگر

Anton J. Wijs is an Associate Professor at the Eindhoven University of Technology (TU/e) , affiliated with the Model-Driven Software Engineering group within the Department of Software Engineering and Technology . His research focuses on parallel software development and leveraging parallelism to enhance formal verification techniques. He holds leadership roles as a Board Member of the European Association for Programming Languages and Systems (EAPLS) and a member of the Steering Committee of ETAPS. Academic Background: Wijs earned his PhD in Computer Science from VU Amsterdam (2007), followed by postdoc positions at INRIA (France), TU/e, and RWTH Aachen University (Germany). He transitioned to an Assistant Professor role at TU/e in 2015 and became an Associate Professor in 2023. Research Interests: His work emphasizes scalable verification methodologies using GPUs, formal analysis of concurrent systems, and tools like mCRL2 . He collaborates with industry partners such as ASML and Codeplay Software to bridge academic research with practical applications. Awards & Grants: Notable achievements include the Best Student Paper Award (FACS 2017) , the Amazon Research Award (2022) , and an NWO grant for GPU-accelerated state space analysis. He co-led the GEARS project (2017–2022) , focusing on efficient parallel model checking. Teaching: Wijs teaches courses on Programming , Program Verification Techniques , and Digital Twins of Medical Devices . He actively supervises students and contributes to international conferences as a program chair and reviewer.

• Linear Algebra
• Matrix Analysis
• Nonnegative Matrices
• +۷ مورد دیگر

Michael J. Tsatsomeros is a Professor in the Department of Mathematics & Statistics at Washington State University (WSU), affiliated with the College of Arts and Sciences. His academic journey includes positions at the University of Regina (Canada), University of Wisconsin, and the Indian Institute of Technology-Madras. He holds a Ph.D. from the University of Connecticut (1990), an M.Sc. from Concordia University (1986), and a Diploma in Mathematics from the University of Patras, Greece (1984). His research focuses on Linear Algebra and Matrix Analysis , with emphasis on nonnegative matrices, numerical range, and applications in dynamical systems, control theory, and AI. He has supervised numerous Ph.D. and Master’s students, including notable advisees such as Samir Mondal, Hung Le, and Pietro Paparella. His work has been recognized with awards like the 2024 Tom & Julie Lutz Teaching Excellence Award and the 2021 Excellence in Advising Award. Key publications include studies on P-matrices, Cayley transforms, and semimonotone matrices, often appearing in Linear Algebra and its Applications and Electronic Journal of Linear Algebra . He co-authored textbooks like Matrix Positivity (2020) and Linear Algebra and Matrix Methods (2024). Tsatsomeros serves as an Advisory Editor for Electronic Journal of Linear Algebra and Associate Editor for Linear Algebra and its Applications . His grants include the SPARC Collaboration Grant (2019–2021) and NSERC research funding. Beyond academia, his postdoctoral mentorship includes Fei Zhou and Panos Psarrakos, who now hold academic and industry roles. His research bridges theoretical matrix analysis with applied problems in engineering and computer science.

• Theoretical Computer Science
• Distributed Computing
• Formal Models
• +۵ مورد دیگر

Fabian Reiter is an associate professor in theoretical computer science at Gustave Eiffel University (formerly University of Paris-Est Marne-la-Vallée). He is affiliated with the BAAM team at the Gaspard Monge Laboratory of Computer Science (LIGM). His academic journey includes postdoctoral positions at Technical University of Munich (TUM), LSV (University of Paris-Saclay), and a PhD at Paris Diderot University under Olivier Carton, focusing on distributed automata and logic. His Master's thesis at the University of Freiburg explored algorithmic and computational logic under Fabian Kuhn and Andreas Podelski. Reiter's research centers on logic and formal models of distributed computing, particularly extending descriptive complexity theory to distributed systems. He investigates equivalences between distributed algorithm classes and logical formulae, aiming to characterize computational power via logical frameworks. Key contributions include foundational work on distributed automata, modal μ-calculus, and the interplay between algorithmic expressiveness and logical expressiveness. His publications span venues like PODC, CONCUR, FOSSACS, and LICS, addressing topics such as polynomial hierarchy in distributed systems, asynchronous models, and automata-logic equivalences. His PhD thesis, “Distributed Automata and Logic” , explores logical characterizations of distributed automata variants, including nonlocal and asynchronous models. Current research emphasizes bridging distributed computing with descriptive complexity to develop machine-independent computational characterizations. Reiter’s work is supported by grants from the Simons Foundation and ERC projects (e.g., PaVeS and EQualIS). He actively contributes to conferences through talks at venues like PODC 2024 and CONCUR 2020, and his findings are accessible via dblp, arXiv, and institutional repositories.

Makoto Kanazawaمشاهده پروفایل

استاد

• Theoretical Computer Science
• Formal Language Theory
• Algorithmic Learning Theory
• +۱۰ مورد دیگر

Professor Makoto Kanazawa is a faculty member at Hosei University's Department of Advanced Sciences within the Faculty of Science and Engineering. He holds a Ph.D. in Linguistics from Stanford University (1994). Previously, he served as an Associate Professor at institutions including the National Institute of Informatics (2004–2018) and the University of Tokyo (2000–2004). His research focuses on theoretical computer science, formal language theory, and computational linguistics. Key areas include multiple context-free grammars (MCFGs), abstract categorial grammars (ACGs), and algorithmic learning theory. He has organized workshops like the Lambda Calculus and Formal Grammar series, advancing interdisciplinary research at the intersection of logic, linguistics, and computation. His recent publications address grammar learning from positive data, formal language hierarchies, and parsing algorithms. He has contributed to foundational work on MCFGs, ACGs, and their applications in natural language processing. Kanazawa has led collaborative research projects at the National Institute of Informatics, emphasizing the typed lambda calculus as a framework for linguistic models.