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

Andreas Stollwitzerمشاهده پروفایل

پژوهشگر

• Railway Engineering
• Structural Dynamics
• Civil Engineering
• +۳ مورد دیگر

Andreas Stollwitzer is a researcher affiliated with the Research Area Steel Construction at TU Wien. His academic titles include Univ.Ass. (University Assistant), Dipl.-Ing. (Diplom-Ingenieur), and Dr.techn. (Doctor of Technical Sciences). His research focuses on railway bridge dynamics, track-bridge interaction, and structural health monitoring. Key areas of investigation include the behavior of ballasted tracks on railway bridges, dynamic characteristics of bridge-track systems, and vibration analysis in high-speed rail infrastructure. His work emphasizes experimental and numerical methods to study phenomena such as longitudinal/lateral track-bridge interaction, dynamic stiffness and damping measurement, and destabilization of ballast beds under vertical vibrations. He has contributed to projects like DYS-GROS, analyzing the dynamic interaction between track components and bridge structures through both simulations and in-situ testing. Recent publications (2021–2023) highlight advancements in damping factor calculations, comparison of vehicle-bridge interaction approaches, and the application of indirect structural health monitoring techniques using vehicle-based sensors. His findings aim to improve bridge safety, reduce computational uncertainties in dynamic analyses, and optimize railway infrastructure design under high-speed conditions. He collaborates with institutions and researchers in Austria and internationally, focusing on railway engineering challenges. While no formal awards are listed, his extensive publication record reflects significant contributions to civil engineering dynamics and infrastructure systems.

Nicholas Readمشاهده پروفایل

استاد

• Applied Physics
• Condensed Matter Physics
• Theoretical Physics
• +۳ مورد دیگر

Nicholas Read is the Henry Ford II Professor of Applied Physics at Yale University, with additional appointments in the Departments of Physics and Mathematics. He is affiliated with the School of Engineering & Applied Science. His research focuses on theoretical and mathematical physics, particularly in areas such as condensed matter physics, quantum topology, and topological quantum states. He is based at SPL 55B, 217 Prospect Street, New Haven, CT. While no formal education details are provided here, his academic roles suggest advanced training in physics and mathematics. His work often bridges theoretical concepts with experimental systems, as seen in his exploration of 'Knots in the resonator,' which highlights the interplay between topology and physical systems. No awards, grants, or advising records are explicitly mentioned in the provided text. His current address and contact details are listed, though an email is not fully disclosed.

Maria Basterraمشاهده پروفایل

استاد

• Algebraic Topology
• Category Theory
• Homological Algebra
• +۶ مورد دیگر

Maria Basterra is a Professor in the Department of Mathematics and Statistics at the University of New Hampshire (UNH), where she is a core faculty member in Women's Studies. She is actively contributing to both research and teaching in advanced mathematics. Education: Ph.D. in Mathematics, University of Chicago M.S. in Mathematics, University of Chicago B.S. in Mathematics, University of Texas at Austin Her research centers on Algebraic Topology, Category Theory, and Homological Algebra , with deep investigations into E-infinity ring spectra, operads, and topological Hochschild homology. She has made foundational contributions to the homology and cohomology of structured ring spectra and the calculus of functors. A strong advocate for diversity in mathematics, she actively supports the retention and advancement of women in the field, notably through leadership in the Women in Topology (WIT) collaborations. Her recent publications (2015–2018) reflect a sustained focus on homotopy theory, particularly through collaborative projects that explore operads, infinite loop spaces, and stabilization. These works often emerge from interdisciplinary workshops, highlighting her role in fostering research communities. She has been a co-principal investigator on research projects including the MSRI WIT Open Problems Workshop (awarded by the Clay Institute, 2017) and Women in Topology (awarded by BIRS, 2013), and has participated in the Homotopy Harnessing Higher Structures program. Maria Basterra teaches a wide range of courses, including Calculus II, Mathematical Proof, Abstract Algebra, and multiple advanced topics in Topology (MATH 784, 884, 955, 966). Her teaching record extends through 2025, confirming her active status. She advises and mentors students and early-career researchers, particularly through collaborative research initiatives.

• Logic Programming
• Knowledge Representation
• Artificial Intelligence
• +۶ مورد دیگر

Bart Bogaerts is an Associate Professor in the Department of Computer Science at KU Leuven's Faculty of Engineering Science. He is affiliated with the Declarative Languages and Artificial Intelligence (DTAI) research unit and is a member of Leuven.AI - KU Leuven Institute for Artificial Intelligence. Bogaerts serves on the Council of the Faculty of Engineering Science as senior academic staff and participates in the Programme Committee for Artificial Intelligence curriculum development. His research focuses on foundational aspects of logic programming and knowledge representation, with particular expertise in approximation fixpoint theory, higher-order logic programming, and non-monotonic reasoning. Bogaerts investigates the theoretical underpinnings of stable model semantics, justification frameworks, and executable query languages. His work bridges theoretical computer science with practical applications in artificial intelligence and knowledge-based systems. Bogaerts' publication record demonstrates consistent contributions to top venues in logic programming and artificial intelligence. His recent work shows increasing focus on category-theoretic approaches to approximation theory, distributed web traversal specifications, and certified model expansion techniques. The publications reveal a strong emphasis on formal methods with applications spanning from theoretical mathematics to practical AI systems. As a promotor for multiple significant research projects, Bogaerts leads investigations into certified answer set programming (CertifASP), first-order model expansion (CertiFOX), proof generation for combinatorial optimization, distributed configuration problems, and knowledge integration paradigms. These projects, funded through 2028-2029, demonstrate his leadership in advancing the theoretical foundations of AI and logic programming. Bogaerts is actively involved in teaching courses on knowledge representation and reasoning, contributing to the development of next-generation AI researchers. His work within the DTAI research unit positions him at the forefront of declarative AI approaches in Belgium's leading research university.

Antoine Amarilliمشاهده پروفایل

پژوهشگر

• theoretical computer science
• enumeration algorithms
• formal languages
• +۵ مورد دیگر

Antoine Amarilli is a Researcher at Inria Lille, on leave from Télécom Paris. He holds a PhD and habilitation in computer science from École normale supérieure and specializes in theoretical computer science. Affiliations: Inria Lille, Télécom Paris, EATCS (Vice-President) Projects: EQUUS, CQFD, TheoretiCS journal Research Interests Amarilli's work focuses on mathematical aspects of computer science, including query evaluation , probabilistic computations , enumeration algorithms , computational logic , and graph theory . He explores efficient data management, dynamic updates, and expressive logical reasoning. Scientific Contributions Co-authored best papers at ICDT 2020 and ICALP 2021 (track B) Recipient of E. W. Beth Dissertation Prize and Télécom Paris PhD prize Academic Service He actively participates in peer review for conferences like ICALP, AAAI, and IJCAI, and advocates for open-access research. As Vice-President of EATCS and former managing editor of TheoretiCS, he contributes to academic governance and transparency.

• Climate Policy and Politics
• Lobbying and Money in Politics
• Formal Political Theory

Juan Dodyk serves as Assistant Professor in Political Science and Environmental Studies at Washington University in St. Louis, holding a PhD in Government from Harvard University (2025) and a Bachelor's in Mathematics from Universidad de Buenos Aires (2017). His academic credentials include: PhD in Government, Harvard University, 2025 Bachelor's degree in Mathematics, Universidad de Buenos Aires, 2017 A political economist specializing in Climate Policy , Business Lobbying , and Formal Theory , Dodyk investigates strategic climate policy design against industry opposition, interest group coalition tactics, and family firm political influence in developing nations using formal models and causal inference. His work bridges political science, environmental policy, and corporate strategy with methodological rigor. His publications in the Journal of Politics and World Development reveal consistent focus on business-politics intersections, particularly corporate power structures in climate transitions and developing economies, with emerging emphasis on green industrial policies following recent legislation like the Inflation Reduction Act.

Yanja Dajsurenمشاهده پروفایل

استادیار

• Software Architecture
• Model-Driven Development
• Component-Based Software Engineering
• +۶ مورد دیگر

Yanja Dajsuren is an Assistant Professor and Program Director of the PDEng Software Technology program at Eindhoven University of Technology's Department of Mathematics and Computer Science. Her work bridges academic research and industry applications in software engineering and mobility systems. Education: PhD in Computer Science (2015), TU/e PDEng in Software Technology (2005), TU/e MBA (2002), Maastricht School of Management Research Focus: Yanja specializes in software architecture for autonomous and cooperative driving systems, with a focus on model-driven development, functional safety, and system modularity. Her work contributes to Cooperative Intelligent Transport Systems (C-ITS) and aligns with UN Sustainable Development Goals related to smart cities and innovation. Projects: Current projects include i-CAVE (Project #6) and Horizon 2020 C-MobILE, addressing challenges in automotive software integration and cooperative driving systems. Past projects at Philips Research, NXP Semiconductors, and CWI demonstrate her long-term expertise in industrial software development. Academic Contributions: She co-founded the International Workshop on Automotive Software Architectures (WASA) and launched the Journal of Automotive Software Engineering (JASE). Her collaborations span academia and industry, including partnerships with ASML, Philips Hue, and international research teams.

Tijn Fleurenمشاهده پروفایل

پژوهشگر

• Operations Research
• Supply Chain Management
• Production-Inventory Planning
• +۷ مورد دیگر

Dr. Tijn Fleuren is a researcher and teacher at the Department of Econometrics and Operations Research within the Tilburg School of Economics and Management (TiSEM) at Tilburg University. His work focuses on optimizing production-inventory systems under uncertainty, with applications in high-tech, low-volume manufacturing supply chains. Institution: Tilburg University School: Tilburg School of Economics and Management Department: Department of Econometrics and Operations Research Email: T.W.A.Fleuren@tilburguniversity.edu ORCID: https://orcid.org/0000-0002-0925-6892 Office: Koopmans Building, Room K 423, Warandelaan 2, 5037 AB Tilburg, Netherlands His research lies at the intersection of operations research and supply chain management, with a strong emphasis on stochastic modeling, risk-aware decision-making, and integrated planning under uncertainty. Key themes include production-inventory optimization, customer portfolio selection, procurement planning, and dynamic supply chain configurations. His work often addresses real-world challenges in collaboration with industry leaders like ASML. The recent publications demonstrate a consistent focus on advanced optimization techniques applied to complex supply chain environments. These include multi-stage stochastic programming, conic quadratic programming heuristics, sampling-based methods, and deep reinforcement learning. The research spans both theoretical contributions—such as optimality conditions and bounds—and practical applicability, particularly in high-tech sectors with long lead times and customization requirements. Dr. Fleuren completed his doctoral studies at Tilburg University in January 2025, contributing significantly to the field through his dissertation on stochastic approaches in production-inventory planning. While no formal scientific awards are listed, his research outputs have been published in top-tier journals such as International Journal of Production Economics and Omega–International Journal of Management Science . He is actively involved in teaching courses such as Supply Chain Analytics and Introduction to Data Analysis. As a recent PhD graduate, he may be mentoring students informally, though no formal advisees are listed. His research has been supported through collaboration with industrial partners and academic grants, likely via CentER and the Operations Research Center at Tilburg University. Dr. Fleuren is affiliated with the Operations Research Center at TiSEM, where he contributes to a vibrant research environment focused on quantitative methods in economics and management. His ongoing work continues to advance methodologies for decision-making under uncertainty in complex, real-world supply chains.

Emmanuel Haucourtمشاهده پروفایل

استاد

• Directed Algebraic Topology
• Concurrency Theory
• Static Analysis of Concurrent Programs
• +۳ مورد دیگر

Emmanuel Haucourt is a Professor of Computer Science at École Polytechnique, conducting research at the Computer Science Laboratory (LIX) within the Cosynus team. His work focuses on applying directed algebraic topology to analyze concurrent programs. Research Interests: Directed Algebraic Topology, Concurrency Theory, Geometric Models in Computer Science, Static Analysis of Concurrent Programs, Software Verification, and Theoretical Computer Science. Publications Trends: His publications emphasize the use of higher-dimensional geometric structures (e.g., d-spaces, cubical areas, non-Hausdorff manifolds) to model concurrency, enabling deadlock detection and state-space reduction through theoretical advances in category theory and topology. Laboratory: Affiliated with the Computer Science Laboratory (LIX) at École Polytechnique and the Cosynus team.

Sylvie Putotمشاهده پروفایل

استاد

• Formal Methods
• Static Analysis
• Cyber-Physical Systems
• +۷ مورد دیگر

Sylvie Putot is a Professor of Computer Science at École Polytechnique, where she focuses on formal verification of numerical programs and cyber-physical systems. She leads the Cosynus team at LIX laboratory and organizes the LIX Seminar series. Current affiliation: École Polytechnique (Computer Science Department) Prior affiliation: CEA LIST (developer of FLUCTUAT static analyzer) Her research spans formal methods for cyber-physical systems , emphasizing reachability analysis , invariant synthesis , and probabilistic verification . She combines abstract interpretation with zonotopic domains and constraint programming to address numerical stability and safety in AI-driven control systems. Recent publications highlight work on Safe AI through Formal methods (SAIF project) , including probabilistic guarantees for neural networks and applications in mobile robotics. Her team’s best paper award at EMSOFT 2015 recognized scalable quadratic invariant computation for embedded systems. Scientific awards: Best paper award, ACM SIGBED International Conference on Embedded Software (EMSOFT 2015) She has supervised numerous PhD students in topics like mobile robotics , neural network verification , and numerical error analysis . Active in ANR projects (COVERIF, MALTHY, DEFIS) and currently leads the PEPR IA initiative on AI validation.

Ashwinkumar Venkatanaga Machanavajjhalaمشاهده پروفایل

دانشیار مدعو

• Differential Privacy
• Data Privacy
• Secure Multi-Party Computation
• +۳ مورد دیگر

Ashwinkumar Venkatanaga Machanavajjhala is an Adjunct Associate Professor of Computer Science at Duke University's Trinity College of Arts & Sciences since 2024, with prior roles as Associate Professor (2018-2024) and Assistant Professor (2012-2018). His research focuses on differential privacy, secure multi-party computation, and privacy-preserving data analysis frameworks. Education: Ph.D. from Cornell University (2008) His work spans privacy-preserving algorithm design, synthetic data generation, and privacy-utility trade-offs. Recent research themes include differential privacy for aggregate queries, foreign key constraints in database systems, and policy-aware privacy frameworks . Grant projects like RAISE: C-Accel Pilot and RAPID: Poirot highlight his leadership in privacy and data security initiatives. Scientific contributions include groundbreaking work on ϵktelo for differentially private algorithms, DP-Sync for update pattern privacy, and Blowfish Privacy for customizable privacy definitions. Awards include the NSF CAREER Award (2013) for early-career impact. In outreach, he led the Bass Connections Faculty Team (2018-2019) addressing vaccine misinformation in Durham. Teaching includes COMPSCI 891: Special Readings in Computer Science (Summer 2022).

Noortje Venhuizenمشاهده پروفایل

استادیار

• Computational Semantics
• Discourse Processing
• Language Comprehension
• +۳ مورد دیگر

Noortje Venhuizen is an Assistant Professor in the Department of Cognitive Science and Artificial Intelligence at the Tilburg School of Humanities and Digital Sciences, Tilburg University. She serves as Academic Director for the BSc Cognitive Science and Artificial Intelligence program since 2024, and has held academic positions at Saarland University (2015-2022) including roles as Scientific Staff member and Principal Investigator in SFB 1102 projects. PhD in Computational Semantics (University of Groningen, 2015) MSc in Logic (ILLC, University of Amsterdam, 2011) BSc in Artificial Intelligence (Utrecht University, 2009) Her research focuses on expectation-based language comprehension, neurocomputational modeling of semantic processing, distributional formal semantics, and pragmatic reasoning in discourse. Key contributions include PDRT-SANDBOX (Haskell NLP library) and DFS Tools (Prolog implementation of distributional formal semantics). Recent publications (2023-2025) explore multimodal word meaning, informativity in reference production, and neurocognitive models of surprisal processing. Her work combines formal semantics with cognitive neuroscience and computational modeling. LOT Grotevragenprijs essay contest - Second Prize She has presented research at major conferences including CogSci, AMLaP, and Sinn und Bedeutung. Current teaching includes courses on artificial intelligence, statistics, and semantic theory.

Damian Niwinskiمشاهده پروفایل

استاد

• logic
• automata theory
• fixed point calculi
• +۳ مورد دیگر

Damian Niwinski is a Professor in the Institute of Informatics at the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Poland. He is a member of the Automata Theory Group and actively contributes to research and academic life at the university. His research interests include logic, automata theory, fixed point calculi, information theory, complexity, and games . These areas represent core topics in theoretical computer science, with applications in formal verification, programming languages, and computational logic. He has supervised several PhD students, including Filip Murlak, Eryk Kopczyński, Michal Strojnowski, Szczepan Hummel, and Marcin Przybyłko, indicating a strong commitment to academic mentorship and the development of future researchers in his field. Prof. Niwinski is involved in editorial work as a member of the editorial board of Fundamenta Informaticae and organizes the Automata Theory Seminar , further demonstrating his leadership and engagement in the academic community. He maintains a public academic presence through his Google Scholar profile and personal website, where he shares his papers and talks.

Rebecca Filesمشاهده پروفایل

دانشیار

• Financial Accounting
• Strategic Disclosure
• Accounting Restatements
• +۵ مورد دیگر

Rebecca Files is an Associate Professor in the Department of Management at the Naveen Jindal School of Management, University of Texas at Dallas. She specializes in financial accounting and strategic disclosure, with a strong research focus on accounting restatements, SEC enforcement, and corporate transparency. Education: Ph.D. in Accounting, Texas A&M University, 2009 M.S. in Finance, Texas A&M University, 2004 B.B.A. in Accounting, Texas A&M University, 2004 Her research examines how firms disclose financial information, particularly in the context of regulatory scrutiny and litigation risk. She investigates strategic behaviors such as stealth disclosures during restatements and the impact of cooperation with the SEC on enforcement outcomes. Her work contributes to understanding transparency, accountability, and investor protection in financial markets. Her recent publications, including a forthcoming article in the Journal of Accounting and Economics and prior work in The Accounting Review , reflect a consistent trajectory in high-impact research on financial reporting integrity. These studies span topics like pro forma earnings, class action lawsuits, and regulatory databases, indicating a deep engagement with empirical accounting and policy implications. Scientific Awards and Honors: UT System Regents’ Outstanding Teaching Award (2014) President’s Outstanding Teaching Award, UT Dallas (2013) Ernst and Young Doctoral Fellowship (2004–2008) Mays Business School Regent's Fellowship (2004–2008) Laurels Scholarship - Educational Foundation for Women in Accounting (2007) Big XII Conference Postgraduate Scholarship (2004) CoSIDA Academic All-American, volleyball (3rd team, 2003–2004) Bill Erwin Female Scholar-Athlete of the Year, Texas A&M (2003–2004) Academic All-American District VI, volleyball (1st team, 2003) Most Inspirational Player, Women's Volleyball, Texas A&M (2003) Volleyball Academic All-Big XII Team (2002–2003) Fellowship of Christian Athletes (FCA) Student-Athlete of the Year (2001–2002) Most Improved Player, Women's Volleyball, Texas A&M (2001) Big XII Conference Commissioner's Honor Roll (1999–2003) Dr. Files is a dedicated educator and mentor, recognized for her excellence in teaching. Students have consistently praised her ability to dispel myths about accounting being dull or purely mathematical. She emphasizes relationship-building and real-world relevance in her pedagogy. She has held her faculty position at UT Dallas since 2009, progressing from Assistant to Associate Professor, indicating strong performance in research, teaching, and service. There is no indication of part-time status, retirement, or emeritus designation. She is actively engaged in academic discourse, having presented at major conferences such as the American Accounting Association Annual Meetings and the Lone Star Conference. Her work has been featured in media outlets like The Wall Street Journal , highlighting its real-world impact. While no formal lab or research team is mentioned, her collaborative publications suggest active research partnerships.

Ian Zemkeمشاهده پروفایل

استادیار

• Low-dimensional topology
• Symplectic geometry
• Heegaard Floer homology
• +۲ مورد دیگر

Ian Zemke is an Assistant Professor in the Department of Mathematics at the University of Oregon's College of Arts and Sciences. His research focuses on low-dimensional topology and symplectic geometry, with a particular emphasis on Heegaard Floer homology and knot theory. Education: PhD in Mathematics from University of California, Los Angeles (2017) - Advisor: Ciprian Manolescu Research Interests: Zemke's work bridges symplectic geometry and low-dimensional topology, using Heegaard Floer homology as a primary tool. His research explores fundamental questions in knot theory, 3- and 4-dimensional manifold theory, and the interplay between different Floer-theoretic invariants. Key areas include: Development of surgery formulas in Heegaard Floer homology Study of concordance and cobordism invariants for knots and links Investigation of involutive Floer homologies and their applications Analysis of exotic smooth structures on 4-manifolds Recent Research Trends: Zemke's recent publications demonstrate a concentrated focus on advancing the theoretical foundations of Heegaard Floer homology, particularly through the development of new surgery formulas and the study of involutive invariants. His work consistently addresses fundamental questions about knot concordance and the structure of 3- and 4-manifolds, with significant contributions to understanding the relationship between different Floer-theoretic invariants. Scientific Awards: Sloan Research Fellowship Funding and Support: Zemke's research is partially supported by: National Science Foundation grants DMS-1703685 and DMS-2204375 Sloan Research Fellowship Teaching and Service: Currently teaching Math 690: Morse Theory in Autumn 2025 at the University of Oregon. He maintains an active website with research materials, including Python and Sage code for computational topology, lecture notes, and slides from various conferences and summer schools.