Joseph Tassarotti serves as an Assistant Professor of Computer Science at New York University's Courant Institute of Mathematical Sciences. He received his Ph.D. in Computer Science from Carnegie Mellon University in 2019 and maintains an active research program focused on programming languages and formal verification. Dr. Tassarotti's research interests center on programming languages , formal verification , and systems with specific expertise in automated reasoning . His work bridges theoretical foundations with practical applications in software reliability and correctness, particularly in probabilistic systems where traditional verification approaches face significant challenges. His recent research, recognized by the 2023 Amazon Research Award for "Asynchronous Couplings for Probabilistic Relational Reasoning in Dafny," demonstrates innovative approaches to verifying probabilistic programs. This work addresses fundamental challenges in reasoning about probabilistic algorithms where traditional deterministic verification techniques cannot be directly applied. Scientific Awards: 2023 Amazon Research Award for Asynchronous Couplings for Probabilistic Relational Reasoning in Dafny As a junior faculty member who completed his PhD in 2019, Dr. Tassarotti is actively establishing his research program and mentoring relationships. His Amazon Research Award indicates successful grant acquisition that supports his work in formal methods. While specific laboratory or team information isn't provided in the available materials, his research likely involves collaboration with both undergraduate and graduate students at NYU.
Prof. Dr. Hermann Mena is a faculty member at the Max Planck Institute for Dynamics of Complex Technical Systems in the Computational Methods in Systems and Control Theory department. His research spans applied mathematics, numerical analysis, and optimal control, focusing on computationally intensive problems governed by stochastic and deterministic partial differential equations. Research Interests : Control theory for PDEs, high-performance computing, environmental modeling, mathematical finance, and crime modeling. Projects : Numerical simulation of aerial spray drift (Ecuador-Colombia border case study), optimal control for shallow water equations, and large-scale Lyapunov differential equations. Contact : mena@mpi-magdeburg.mpg.de | Office: S1.08 | Phone: +49 391 6110-457
Dr. Alexander Kurganov is a Chair Professor in the Department of Mathematics at Southern University of Science and Technology (SUSTech), China, since 2019. Previously, he served as Professor at SUSTech (2016–2019) and Tulane University (2010–2015, 2004–2010, 2001–2004). He has held visiting positions at Shanghai Jiao Tong University, University of Bordeaux I, Johannes Gutenberg University, Paul Sabatier University, and University of Michigan. PhD in Applied Mathematics, Tel Aviv University, 1998 MS in Mathematics, Moscow State University, 1989 Research Interests: Dr. Kurganov specializes in scientific computing, numerical methods for time-dependent PDEs, finite-volume methods, geophysical fluid dynamics, and nonlinear PDEs. His work focuses on developing robust numerical schemes for complex fluid dynamics problems, including shallow water systems, chemotaxis models, and compressible flows. Publication Trends: His recent publications emphasize high-resolution numerical schemes for hyperbolic conservation laws, shallow water equations, and interdisciplinary applications in environmental modeling, fluid dynamics, and financial mathematics. 2015–2018 NSF Research Grant (PI) 2012–2015 ONR Research Grant (PI) 2011 German Research Foundation (DFG) Grant 1997 The Rosset Prize (Tel Aviv University) Grants & Collaborations: Dr. Kurganov has secured multiple NSF and ONR grants as principal investigator. His collaborations span institutions in the USA, China, France, Germany, and Sweden, with applications in geophysics, biology, and finance.
Harjit Bhogal is an Associate Professor of Philosophy at the University of Maryland, College Park. His primary research areas include philosophy of science, metaphysics, and metaethics, with specific interests in causation, time, Humean supervenience, interlevel metaphysics, and laws of nature. His recent work explores the nature of coincidences, Humean approaches to metaphysics, and the intersection of scientific explanation with ethical disputes. He has published extensively in top-tier journals such as Mind , Philosophical Studies , and Noûs . 2018: Sanders Prize in Metaphysics Current projects examine the theoretical role of coincidences and how scientific explanation can resolve classical ethical debates. His methodological focus on unification and reductive accounts bridges metaphysics and philosophy of science.
Professor Raul Tempone is a distinguished faculty member at King Abdullah University of Science and Technology (KAUST), holding the position of Professor in the Department of Applied Mathematics and Computational Science within the Computer, Electrical and Mathematical Sciences and Engineering division. He serves as Principal Investigator of the Stochastic Numerics Research Group and has made significant contributions to numerical analysis and uncertainty quantification, aligning with KAUST's mission and Saudi Arabia's Vision 2030 goals through advancements in computational science that drive technological innovation and sustainability. Professor Tempone's academic foundation includes: Ph.D. in Numerical Analysis from the Royal Institute of Technology (KTH), Sweden (2002) M.S. in Engineering Mathematics from Universidad de la República, Uruguay (1999) B.S. in Industrial and Mechanical Engineering from Universidad de la República, Uruguay (1995) Professor Tempone's research focuses on the mathematical foundations of computational science and engineering, with particular emphasis on uncertainty quantification, stochastic differential equations, and numerical methods. His work bridges theoretical mathematics with practical applications across multiple domains including computational mechanics, quantitative finance, biological and chemical modeling, and wireless communications. He has pioneered advancements in adaptive algorithms, Bayesian inverse problems, and scientific machine learning, driving innovation in computational efficiency and accuracy for solving complex real-world problems. His recent publications demonstrate a strong trend toward integrating uncertainty quantification with machine learning approaches and addressing complex optimization problems under uncertainty. The research spans diverse applications from wireless network performance analysis to medical imaging and sustainable energy systems, reflecting his commitment to solving real-world challenges through advanced computational methods that combine theoretical rigor with practical applicability. Professor Tempone's scientific achievements have been recognized through numerous prestigious awards: Alexander von Humboldt professorship (2018-2025) ISI Highly Cited Researcher (2016) Elected Program Director of the SIAM Uncertainty Quantification Activity Group (2013-2014) Fellow of the Deutsche Forschungsgemeinschaft Priority Program (2014) First Dahlquist Fellowship at the Royal Institute of Technology, Sweden (2007-2008) As an academic advisor, Professor Tempone has successfully supervised ten PhD students to completion. His research has attracted significant funding, including the Alexander von Humboldt professorship grant worth up to 5 million euros. He has directed the KAUST Strategic Research Initiative in Uncertainty Quantification (2012-2016) and collaborated extensively with industry partners including Saudi Aramco. His research group has placed numerous members in academic positions worldwide and in leading companies such as Bain & Company, Baker Hughes, Enel Group, G-Research, Honeywell, McKinsey & Company, and Saudi Aramco. Professor Tempone leads the Stochastic Numerics Research Group at KAUST, which focuses on developing and analyzing numerical methods for stochastic and deterministic problems. The group's work encompasses a posteriori error approximation, data assimilation, hierarchical and sparse approximation, optimal control, and optimal experimental design. Through strategic collaborations and interdisciplinary approaches, the research group continues to push the boundaries of computational science and its applications to real-world challenges across engineering, finance, biology, and energy sectors.
Andrew Mannix is an Assistant Professor in the Department of Materials Science and Engineering at Stanford University's School of Engineering. His teaching portfolio includes core courses such as Structure and Symmetry (MATSCI 184/214), Materials Science Colloquium , and specialized offerings like Introduction to Materials Science, Energy Emphasis (MATSCI/ENGR 50E) and Ethics and Broader Impacts in Materials Science (MATSCI 232). He supervises extensive independent research across all academic levels through MATSCI 100/150/200/299/300 and ME 392/398. His research focuses on the synthesis, characterization, and application of two-dimensional materials, particularly transition metal dichalcogenides and van der Waals heterostructures. Key areas include: Quantum phenomena in 2D semiconductors Advanced characterization techniques (TERS, hyperspectral microscopy) Strain and interface engineering Machine learning for materials optimization Ferroelectricity in twisted 2D systems Nanoelectronic device fabrication Recent work demonstrates breakthroughs in contact engineering for monolayer transistors, deterministic moiré superlattice fabrication, and flexible in-sensor computing architectures. His publications reveal a strong emphasis on experimental innovation combined with computational approaches, particularly in the last two years where over 30 articles address 2D material synthesis challenges, quantum property manipulation, and device integration. The research trajectory shows increasing focus on scalable fabrication methods and quantum applications. Scientific recognition includes: NSF CAREER Award for Tailoring van der Waals Ferroelectricity in 2D Layered Semiconductors Professor Mannix actively mentors students through multiple independent study pathways and leads research projects involving robotic assembly of van der Waals solids, deep learning-enhanced characterization, and novel synthesis techniques for borophenes and 2D polymers. His work bridges fundamental quantum phenomena with practical nanoelectronic applications, particularly in energy-efficient computing and quantum technologies.
Robert Krauthgamer is the Harry Weinrebe Professor of Computer Science and currently serves as Department Head in the Department of Computer Science & Applied Mathematics at the Weizmann Institute of Science , within the Faculty of Mathematics and Computer Science . He is a leading researcher in theoretical computer science, particularly in the analysis of algorithms. Research Interests: His research focuses on Analysis of Algorithms , with deep expertise in Data Analysis and Massive Data Sets , Combinatorial Optimization , Approximation Algorithms , Hardness of Approximation , Embeddings of Finite Metrics , and Routing and Peer to Peer Networks . He also maintains a broad interest in Discrete Mathematics and High-Dimensional Geometry . His recent publications highlight work in graph algorithms, parameterized complexity, streaming algorithms, and metric embeddings. Publication Trends: His most recent work, including papers from SODA 2016, demonstrates a strong trend in the design and analysis of efficient algorithms for fundamental problems in graph theory, optimization, and data streams. Key themes include kernelization and sampling techniques for dynamic graph streams, subexponential parameterized algorithms, deterministic derandomization of the polynomial method, and structural results for graph modification problems. His research often bridges theoretical insights with applications in computational biology and network science. Service and Recognition: Journal Editorial: Editor-in-Chief of SIAM Journal on Computing (2019–2025), Associate Editor (2012–2017); Managing Editor of Theory of Computing (2007–2018), and current Editorial Board Member. Conference Leadership: Program Committee Chair for SODA 2016 and HALG 2018; Steering Committee member for SODA, ESA, and HALG; and committee member for the Gödel Prize (2019–2021). Workshops: Organizer of numerous workshops on sublinear algorithms, fine-grained complexity, and high-dimensional data. Teaching and Mentorship: He regularly teaches advanced courses such as Randomized Algorithms and Sublinear Time and Space Algorithms . He advises a large group of MSc and PhD students and hosts postdoctoral researchers, demonstrating a strong commitment to training the next generation of computer scientists. His former students have gone on to successful academic and research careers. Laboratories and Research Groups: He is a key member of the Foundations of Computer Science (theory) seminar at Weizmann and has organized the TheoryLunch and Reading Group in Algorithms, fostering a vibrant research community within the department.
Heng Guo is an Associate Professor in Algorithms and Complexity at the School of Informatics, University of Edinburgh. He leads the ERC starting grant project New Approaches to Counting and Sampling (NACS), which runs from 2021 to 2026. Previously, he has worked and studied at Berkeley, London, Madison, and Beijing. His research lies at the intersection of theoretical computer science, combinatorics, and statistical physics. Guo's research focuses on algorithms from a complexity perspective, particularly computational counting and sampling. He is renowned for his work on the Lovász local lemma, Markov chain Monte Carlo methods, phase transitions in computational complexity, and complexity classifications. His approach often involves discovering unseen links between different areas of theoretical computer science. Key contributions include confirming a conjecture of Gorodezky and Pak through partial rejection sampling, establishing rapid mixing for Swendsen-Wang dynamics, and developing a polynomial-time approximation algorithm for all-terminal network reliability. His publication record shows a strong trajectory of impactful research in top venues including FOCS, STOC, SODA, J. ACM, and SIAM Journal on Computing. His work on the all-terminal network reliability problem won the Best Paper Award at ICALP 2018. Guo has organized several significant workshops including JerrumFest 2025, MCMC 2.0 (Shonan seminar), and a STOC 2020 workshop on new frontiers of approximate counting. These events highlight his leadership role in the theoretical computer science community. Best Paper Award at ICALP 2018 EATCS Distinguished Dissertation Award 2016 Guo has advised several PhD students including Giorgos Mousa, Jiaheng Wang, and Graham Freifeld, and mentored postdocs such as Weiming Feng, Vishvajeet Nagargoje, and Konrad Anand. His ERC grant supports multiple research associates working on counting and sampling problems. He has taught courses including Computational Complexity, Randomness and Computation, and Algorithmic Game Theory at the University of Edinburgh.
Dr. David Chen is a Senior Lecturer at Griffith University's School of Information and Communication Technology, where he also serves as Program Director for the Bachelor of Information Technology. He has held various leadership roles including Head of Discipline in IT & IS from 2018-2021 and has been with Griffith University since 1995, progressing from Research Assistant to his current position as Senior Lecturer since 2008. Dr. Chen earned his Bachelor of Information Technology with first class honours from Griffith University in 1995, followed by a PhD in distributed collaborative systems from the same institution in 2001. His academic journey includes positions as Lecturer at Queensland Institute of Business Technology (1999) and Technology Research Officer at ActiveSky Pty. Ltd. (2001-2002). His research spans multiple domains, with primary focus on distributed and real-time systems, synchronization and consistency maintenance in collaborative environments, and real-time collaborative editing systems. He has made significant contributions to computer-human interaction, particularly in groupware and CSCW (Computer-Supported Cooperative Work). More recently, his work has expanded into bioinformatics applications and educational technology, where he investigates how students interact with online learning environments and develops innovative teaching methods. Dr. Chen's publication record shows a clear evolution from foundational work in collaborative systems to more applied research in educational technology and bioinformatics. His recent publications (2024-2025) demonstrate growing interest in AI applications for traffic flow forecasting, programming education, and graph neural networks, while maintaining his core expertise in distributed systems. SFHEA (Senior Fellow Higher Education Academy) - 2022 CORE Teaching award - 2022 Learning and Teaching Citation Highly Commended - 2017 Dr. Chen has supervised numerous doctoral students to completion, with research topics spanning online education engagement, safety-critical real-time systems, semantic web services, and collaborative editing systems. His grant history reflects strong industry connections, including a Google Cloud Platform Education Grant (2018-2020) and current consultancy research on vehicle routing prediction (2026-2027). He has successfully led multiple internal university grants focused on collaborative tools and real-time systems development. As Program Director for the Bachelor of Information Technology since 2012 and previously as Head of Discipline in IT & IS, Dr. Chen has played a significant role in shaping curriculum and educational approaches within his department. His teaching philosophy emphasizes innovative practices, particularly his adaptation of flipped classroom techniques for software development courses, which has demonstrably improved student satisfaction and outcomes.
Aravinda Prasad Sistla is a Professor in the Department of Computer Science at the University of Illinois at Chicago. His research focuses on formal methods for verifying concurrent and distributed systems, security analysis, and database management systems. Education: Ph.D. in Computer Science/Applied Mathematics from Harvard University (1983) M.E. in Computer Science from Indian Institute of Science (1976) B.Tech. in Electronics and Communications Engineering from National Institute of Technology, Warangal (1974) Research Interests: He works on static and runtime verification of concurrent and distributed systems, including model checking for deterministic and probabilistic systems, symmetry reductions to address state explosion, and runtime fault detection using Hidden Markov Models. His security research involves model checking access control policies, verifying cryptographic protocols, and preventing confidential information leakage. Earlier work includes query processing in moving object, active, and textual databases.
Jan Lemeire is an active researcher at Vrije Universiteit Brussel (VUB), affiliated with the Department of Electronics and Informatics within the Faculty of Engineering. Based in Brussels, Belgium at Pleinlaan 2, he maintains an active research profile with an h-index of 10 and 581 citations according to Scopus data. His research interests span multiple domains including GPU computing, machine learning, embedded systems, and their applications in diverse fields from biomedical engineering to forensic science. His work demonstrates strong interdisciplinary connections, bridging computer science with practical applications in health technology, crime analysis, and industrial systems. Analysis of his recent publications reveals a consistent focus on computational efficiency, with particular emphasis on GPU acceleration, embedded AI deployment, and machine learning applications. His work shows evolution from hardware-focused research toward more applied domains including healthcare technology and crime pattern analysis. Dr. Lemeire actively participates in multiple research projects including NSIS2: PRISMA network (2024-2029), IOF3016: GEAR (2021-2025), and Tech4Health (2024-2025), demonstrating sustained research funding and collaborative work across disciplines. His academic activities include supervision of graduate students, as evidenced by his role as advisor for the 2017 Master's thesis on GPU-accelerated holography, and regular participation in major conferences including the Conference on Uncertainty in Artificial Intelligence and the International Symposium on Embedded Multicore Systems. Dr. Lemeire maintains an active research laboratory focused on computational methods, with particular strengths in parallel processing techniques and their application to real-world problems across multiple domains including healthcare, industrial systems, and forensic science.
Prof. Dr. Uwe Meyer is a faculty member at Technische Hochschule Mittelhessen (THM), where he serves as the Head of the Computer Science BSc program and Deputy Managing Director of the Institute for Programming Languages and their Application. He has held leadership roles in international conferences such as Program Chair of the 15th International Conference on Reversible Computation (RC 2023) and member of program committees for RC2024 and RC2025. Research Focus: Reversible programming, compiler construction, and automata theory. Key Contributions: Development of the RC3 compiler and reversible syntax analysis methods. Recent Publications center on deterministic automata, hybrid computing models, and language design. His work spans conferences like RC, DLT, and IFL, as well as journals including Acta Informatica and Theoretical Computer Science. Notable projects include the Janus programming language and RSSA virtual machine . Scientific Awards : Program Chair for RC2023 Program Committee Member for RC2024 and RC2025 Advising topics include compiler development, functional programming, and reversible computing projects. His teaching includes courses like Compiler Construction and Functional Programming .
Sanjay Lall is a Professor of Electrical Engineering at Stanford University, with appointments in both the Information Systems Laboratory and the Department of Aeronautics and Astronautics. His academic career spans prestigious institutions including Stanford University, California Institute of Technology, Massachusetts Institute of Technology, and the University of Cambridge. His educational background includes: B.A. in Mathematics with first-class honors (1990) from the University of Cambridge Ph.D. in Engineering (1995) from the University of Cambridge Professor Lall's research focuses on algorithms for control, optimization, and machine learning. His work bridges theoretical foundations with practical applications across diverse domains. He has made significant contributions to decentralized control systems, optimization algorithms, and their applications in real-world systems. His research group develops mathematical frameworks and computational methods that address fundamental challenges in control theory and optimization. His recent publications demonstrate a continued focus on cutting-edge topics including bittide synchronization systems, robust machine learning, multi-agent decision making, and the application of convex optimization to neural network training. The research spans theoretical developments in control theory and optimization while maintaining strong connections to practical implementation challenges. His notable scientific achievements have been recognized with prestigious awards: IEEE Fellow (2015) O. Hugo Schuck Best Paper Award, American Control Conference (2013) Presidential Early Career Awards for Scientists and Engineers (PECASE) (2007) George S. Axelby Outstanding Paper Award (2007) NSF Career award (2007) National Academy of Engineering's Frontiers of Engineering Program (2007) Vance D. and Arlene C. Coffman Faculty Scholar (2007) Graduate service recognition award, Stanford University (2005) Professor Lall has extensive experience mentoring graduate students and has taught numerous advanced courses including Introduction to Machine Learning (EE104), Introduction to Linear Dynamical Systems (EE263), Stochastic Control (EE266), Convex Optimization I (EE364a), and Semidefinite Optimization and Algebraic Techniques (EE464). His teaching emphasizes the mathematical foundations of control and optimization with connections to practical implementation. His work extends beyond academia through significant industrial collaborations and applications in satellite systems, advanced audio systems, Formula 1 racing, the America's Cup, cloud services monitoring, and integrated circuit diagnostic systems. He has also held leadership positions including Director in the Autonomous Systems Group at Apple (2018-2019) and currently serves as a visiting researcher and director at Google.
Professor Demetrio Salvatore Lagana' is an Assistant Professor of Operations Research at the Department of Mechanical, Energy and Management Engineering (DIMEG) of the University of Calabria, Italy. He has served as scientific committee member for multiple Ph.D. programs and as editorial board member for Advances in Operations Research . Education : Master's in Engineering (1992, University "Mediterranea" of Reggio Calabria), Graduate School in Transport Terminal Infrastructures (1996, University "Federico II" of Naples), Ph.D. in Operations Research (2006, University of Calabria) Dr. Lagana' specializes in combinatorial optimization with applications to logistics and supply chain management . His research focuses on three core areas: Arc Routing Problems : Optimizing vehicle fleets in logistics networks with capacity and time constraints General Routing Problems : Integrated routing of vehicles, arcs, and vertices with complex feasibility rules Inventory Routing Problems : Vendor Managed Inventory systems balancing stock levels and transportation costs His publication trends show expertise in stochastic demand modeling (2015-2021), exact algorithm development (2013, 2016), and heuristic approaches (2012, 2017). Recent work (2023-2025) explores autonomous delivery systems and real-time logistics optimization . Scientific Awards : Member of Ph.D. Scientific Committees (Operations Research 2006-2011, Life Sciences 2013, Mathematics & Computer Science 2017-present) Editorial Board: Advances in Operations Research (Hindawi) Jury Member: Ph.D. defenses at University of Bergamo and Universitat Politècnica de Catalunya Research Grants : PRIN 2007: "Ottimizzazione della logistica distributiva" PRIN 2015: "Transportation and Logistics Optimization in Big Data era" International Collaborations : Georgia Tech, HEC Montreal, University of Valencia Research partnerships with Professors Gilbert Laporte, Stefan Irnich, and Wout Dullaert
Professor Paresh Date is a faculty member in the Department of Mathematics at Brunel University London, College of Engineering, Design and Physical Sciences. He holds a PhD from the University of Cambridge and an MTech from the Indian Institute of Technology Mumbai. His research focuses on Mathematical Finance , Nonlinear Filtering , and Power Systems Optimization , with applications in financial portfolio modeling, energy market forecasting, and stochastic control systems. He authored the book 'Nonlinear Estimation: Methods and Applications with Deterministic Sample Points' (Taylor & Francis, 2019). Recent publications analyze exchange rate modeling via Kalman filters, basket option pricing, wind power risk hedging, and sparse-grid filtering techniques. His work combines financial engineering with mathematical control theory, often addressing measurement delay and uncertainty. Scientific awards include Fellow of the Institute of Mathematics and its Applications Teaching includes Year 1 Calculus (2014-2021), Year 2 Analysis (2017-2018), and Financial Mathematics MSc courses on interest rate theory and financial markets (2018-2022). He has supervised 11 PhD and 3 MPhil students to completion.
