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

Anton Kolotilinمشاهده پروفایل

استاد

• Microeconomic Theory
• Information Economics
• Economics
• +۳ مورد دیگر

Professor Anton Kolotilin is a faculty member at the University of New South Wales (UNSW), affiliated with the UNSW Business School. His research focuses on Microeconomic Theory and Information Economics, with particular emphasis on strategic communication, persuasion mechanisms, and game-theoretic models. He has contributed significantly to understanding optimal information disclosure strategies, the design of persuasive communication frameworks, and the economic implications of partisan gerrymandering. His work intersects with political economy, experimental design, and network formation models. Professor Kolotilin has an extensive publication record with over 13 journal articles, 3 working papers, and 13 preprints. His recent research explores topics such as the duality of persuasion, censorship as an optimal strategy, and the application of linear programming to information design. He frequently collaborates on interdisciplinary projects, bridging theoretical economics with practical policy analysis. Key research interests include mechanism design, Bayesian persuasion, strategic information transmission, and the analysis of social and economic networks. While no specific grants or awards are listed, his prolific output underscores his contributions to academic discourse in economics and related fields.

Tom Gannonمشاهده پروفایل

استادیار مدعو

• Geometric Representation Theory
• Algebraic Geometry
• Langlands Program
• +۳ مورد دیگر

Tom Gannon is a Hedrick Assistant Adjunct Professor at the University of California, Los Angeles (UCLA), and will join UC Riverside as an Assistant Professor in July. He earned his PhD in 2022 from the University of Texas at Austin under Sam Raskin. His research focuses on geometric representation theory, with strong connections to algebraic geometry, the Langlands program, homotopy theory, and mathematical physics. Gannon also serves as Deputy Director of the UCLA Olga Radko Endowed Math Circle, promoting mathematics education. Education: PhD in Mathematics (2022), University of Texas at Austin. Research Interests: Geometric representation theory, Langlands program, algebraic geometry, mathematical physics, categorical methods in representation theory, and homotopy-theoretic approaches to algebraic structures. His work often bridges abstract algebra with geometric techniques, emphasizing categorification and applications to quantum field theories. Teaching & Outreach: In 2017, Gannon led a summer mini-course on algebraic number theory at UT Austin, focusing on separable field extensions, Galois theory, and modules over PIDs. He has authored expository articles in the Notices of the AMS and contributed regularly to the AMS Graduate Student Blog. His teaching materials include courses on representation theory of Lie algebras and algebraic number theory. Labs/Teams: Active collaborator with researchers such as Harold Williams and Ben Webster. Engaged in projects with Victor Ginzburg on central D-modules and quantized Coulomb branches.

• Discrete Optimization
• Non-Convex Optimization
• Operational Research
• +۳ مورد دیگر

Akshay Gupte is a Professor in the School of Mathematics at the University of Edinburgh, specializing in Optimization and Operational Research. His research focuses on mathematical and algorithmic aspects of discrete and non-convex optimization, with applications in engineering, finance, and decision-making systems. He holds a PhD in Operational Research from Georgia Tech and teaches advanced courses such as Optimization Methods in Finance for MSc students. Education: BEng in Industrial Engineering from the University of Bombay MSc in Operational Research from the University of Arizona PhD in Operational Research from Georgia Tech Research Interests: Optimization problems involving discrete choices and non-convexity, with a focus on algorithm design and computational strategies. His work bridges applied mathematics, computer science, and engineering, addressing challenges in logistics, finance, and large-scale decision systems. Articles Trends: Recent publications emphasize algorithmic advancements in non-convex optimization (e.g., spatial branch-and-bound, semidefinite programming), multi-objective decision-making (e.g., biobjective programming), and stochastic frameworks for real-world problems like facility location and home service scheduling. Awards & Grants: No specific awards listed, but his research has been supported by collaborative grants in mixed-integer programming and optimization algorithms. He advises students through his teaching and research collaborations within the Optimization Group at the University of Edinburgh.

Jaromy Kuhlمشاهده پروفایل

استاد

• Combinatorics
• Graph Theory
• Design Theory
• +۸ مورد دیگر

Dr. Jaromy Kuhl is the Provost and Professor in the Department of Mathematics and Statistics at the University of West Florida, within the Hal Marcus College of Science and Engineering. He has been a key academic and administrative figure at UWF since 2005. His educational background includes a Ph.D. in Mathematics (Graph Theory), an M.S. in Mathematics, and dual B.S. degrees in Mathematics and Physics, all from the University of Mississippi. Dr. Kuhl's research lies in combinatorics, with a strong emphasis on graph theory and design theory. His work explores Latin squares, bipartite graphs, graph coloring, Hamiltonicity, extremal problems, and the Tutte polynomial. These areas are central to discrete mathematics and have applications in computer science, network design, and optimization. The 15 most recent publications reflect a consistent focus on structural and extremal problems in combinatorics. They span topics such as transversals in Latin squares, graph decompositions, competition numbers, and network reliability via the Tutte polynomial. Keywords like combinatorics, graph theory, and design theory recur, indicating a tightly focused research program with deep theoretical contributions. While no specific scientific awards are listed in the provided text, Dr. Kuhl has published in high-quality journals such as Graphs and Combinatorics , Annals of Combinatorics , and Discrete Applied Mathematics , and has presented at international conferences in China and Australia, indicating peer recognition. Dr. Kuhl advises students and teaches a wide range of courses, from undergraduate calculus to graduate research in mathematics. As department head and now Provost, he has managed academic schedules, budgets, grants, and faculty activities, demonstrating strong leadership in academic administration. He has taught courses including Abstract Algebra, Graph Theory, Linear Algebra, and Discrete Mathematics. Although no specific lab or research team is named, his research output suggests active collaboration and mentorship. His role in organizing academic programs and colloquia further indicates engagement with the broader mathematical community.

Nikolaj Bjørnerمشاهده پروفایل

پژوهشگر

• Symbolic Solving Techniques
• SMT Solvers
• Program Verification
• +۱۰ مورد دیگر

Nikolaj Bjørner is a Partner Researcher at Microsoft Research , affiliated with the Research in Software Engineering (RiSE) group. His work centers on symbolic solving techniques, particularly through the development of the Z3 SMT solver , which underpins program verification, test case generation, and cloud network management. He has also contributed to distributed file systems and network verification . Academic Rank : Researcher Key Collaborations : Leonardo de Moura (Z3), George Varghese (network verification), Mooly Sagiv (controller verification) Research Interests : Bjørner’s work spans SMT solvers (Z3, muZ, SPACER), network verification (SecGuru, NoD, ddNF), and distributed systems (DFSR, RDC). His methods bridge logical reasoning, optimization, and network reliability. Article Trends : His publications focus on SMT solving (e.g., Z3, muZ, SPACER), network verification (ddNF, TeaVar), and quantifier instantiation (MBQI). These works integrate model-based reasoning and theory combination to address scalability in software and networking. Awards : 2021 ACM Fellow 2021 CAV Award (pioneering SMT contributions) 2019 Herbrand Award (Z3) 2017 Skolem Award (E-matching) 2016 Best Paper (HVC, ddNF) 2015 ACM SIGPLAN Software System Award (Z3) Collaborations & Students : Bjørner has mentored interns and collaborators like Daniel Selsam (neural networks for SAT), Nuno P. Lopes (Alive, NoD), and Rachee Singh (Shoofly, traffic engineering). He co-organized the 2022 Shonan workshop on SAT and served as program chair for conferences like PSI and FMCAD.

Leslie Trotterمشاهده پروفایل

استاد

• Discrete Optimization
• Combinatorial Optimization
• Graph Theory
• +۶ مورد دیگر

Leslie Trotter is a Professor in the School of Operations Research and Industrial Engineering within the College of Engineering at Cornell University, where he has served since 1975. He currently holds the position of Associate Dean for Undergraduate Programs and maintains active research and teaching roles. His educational background includes: A.B. in Mathematics, Princeton University (1965) M.S. in Industrial and Systems Engineering, Georgia Institute of Technology (1971) Ph.D. in Operations Research, Cornell University (1973) He completed a postdoctoral appointment at the University of Wisconsin and served on the Yale University faculty prior to joining Cornell. Professor Trotter's research centers on discrete and combinatorial optimization, with specific focus on graph stability numbers, abstract duality models, parallel computing implementations for integer programming, orthogonal projection algorithms for linear programming, and integer programming applications in number theory. His work integrates operations research, mathematics, and computer science to address strategic decision-making challenges through model development, mathematical analysis, and algorithmic implementation. His accolades include: Senior U.S. Scientist Award from the Humboldt Foundation Seven Cornell University teaching excellence awards 15 consecutive years of listing in Who's Who in America Professor Trotter has directed over 25 Ph.D. dissertations and sponsored 10 postdoctoral researchers. His administrative service includes multiple terms as Director and Associate Director of Undergraduate Studies, Director of Graduate Studies in OR&IE, Chair of the College of Engineering's International Programs Committee, and current Chair of the Common Curriculum Governing Board. At the university level, he significantly influenced faculty salary policies and teaching responsibilities through service on the Financial Policies Committee.

Sorin Micuمشاهده پروفایل

استاد

• Partial Differential Equations
• Control Theory
• Numerical Analysis
• +۳ مورد دیگر

Sorin Micu is a Professor in the Department of Mathematics at the Faculty of Mathematics and Natural Sciences, University of Craiova, Romania. He is actively involved in research and teaching, with a strong focus on partial differential equations and their control. University: University of Craiova School: Faculty of Mathematics and Natural Sciences Department: Department of Mathematics Email: sd_micu@yahoo.com Office: Room 309, Central Building, AI Cuza 13, 200585 Craiova, Romania Research Interests: His primary research areas include the control of partial differential equations (PDEs), numerical analysis of PDEs, and mathematical modeling. He investigates controllability properties of various PDEs such as the heat, wave, Schrödinger, and Korteweg-de Vries equations, often using tools like Carleman estimates, duality methods, and finite element approximations. His work bridges theoretical analysis with numerical simulation, particularly in the context of semidiscretized and discrete systems. Publication Trends: The articles span from 1995 to 2017, showing sustained contributions in control theory for PDEs. The research evolves from classical equations (heat, wave) to more complex models (nonlocal, degenerate, nonlinear), with increasing focus on numerical approximation and discrete controllability. Keywords consistently revolve around controllability , stabilization , numerical methods , and nonlinear dynamics . Scientific Projects: Bilateral Contract Romania-France (2009–2010), Capacities Program, Module III Bilateral Project Romania-France (English version) Project PN-II-ID-PCE-2011-3-0257 Teaching and Advising: Professor Micu teaches courses such as Numerical Analysis, Algorithmics and Numerical Simulation in C++, Modeling and Simulation, and Finite Element Methods at both undergraduate and master’s levels. While formal advisees are not listed, his teaching and research supervision likely involve mentoring graduate students. He offers consultations every Thursday from 15:00 to 16:00 in Room 309. Laboratories and Teams: He is affiliated with research groups working on PDE control and numerical analysis at the University of Craiova. His collaboration with French institutions indicates participation in international research networks focused on applied mathematics and control theory.

Wilfrid Gangboمشاهده پروفایل

استاد

• Calculus of Variations
• Nonlinear Analysis
• Partial Differential Equations
• +۷ مورد دیگر

Wilfrid Gangbo is a Professor of Mathematics at UCLA, specializing in nonlinear analysis, partial differential equations, and calculus of variations. He received his Ph.D. from EPFL (Switzerland) in 1992 and maintains active research in mathematical physics and optimization theory. Research interests focus on: Calculus of variations and nonlinear PDEs Optimal transport theory and Wasserstein spaces Mean field games and kinetic theory Functional analysis with applications to fluid mechanics Recent publications demonstrate strong focus on: Hamilton-Jacobi equations in metric spaces Structure of Wasserstein spaces Connections between optimal transport and game theory Regularity theory for polyconvex energies Professional activities include founding EcoAfrica, an organization supporting mathematical sciences in African countries through workshops and collaborative projects since 1990. Current teaching includes advanced mathematics courses such as Math 131BH (Winter 2025).

William M. McEneaneyمشاهده پروفایل

استاد

• Nonlinear Control
• Numerical Methods for Hamilton-Jacobi Equations
• Max-Plus and Idempotent Analysis
• +۹ مورد دیگر

William M. McEneaney is a Professor in the Department of Mechanical and Aerospace Engineering at the University of California, San Diego, within the Jacobs School of Engineering. He maintains an active research program while teaching advanced courses including MAE289C (Spring 2025), MAE142 (Fall 2024), MAE180 (Fall 2024), and MAE288A (Spring 2024). His office is located in 1809 EBU I, and he has been recognized with prestigious fellowships from both SIAM and IEEE. Professor McEneaney's research spans several interconnected areas at the intersection of control theory, applied mathematics, and physics. His primary interests include nonlinear control theory, numerical methods for Hamilton-Jacobi equations, and Max-Plus/Idempotent Analysis. His work extends to astrodynamics and the n-body problem, where he applies principles of stationary action to solve complex orbital mechanics problems. He has made significant contributions to understanding the relationships between stochastic and deterministic control systems, with applications ranging from risk-sensitive filtering to quantum systems. His recent publications demonstrate a strong focus on staticization techniques, which provide computational reductions for systems with low-dimensional nonlinearities. His work bridges theoretical developments in Hamilton-Jacobi PDEs with practical applications in control systems, wave equations, and quantum mechanics. A notable trend is his exploration of connections between optimal control theory and fundamental physics principles, particularly in developing representations for Schrödinger equations using stationary action principles. Fellow of SIAM (Society for Industrial and Applied Mathematics) Fellow of IEEE (Institute of Electrical and Electronics Engineers) Professor McEneaney has supervised numerous graduate students and collaborated extensively with researchers including P.M. Dower, R. Zhao, and Y. Zheng. His research has been supported by various funding sources that enable his work on computational methods for control problems and fundamental solutions. His book "Max-Plus Methods for Nonlinear Control and Estimation" (Birkhauser, 2006) is a significant contribution to the field. He has also co-edited several influential volumes including "Numerical Methods for Optimal Control Problems" (Springer, 2018) and "Adversarial Reasoning: Computational Approaches to Reading the Opponent's Mind" (CRC Press, 2007). His research group focuses on developing novel computational approaches for solving complex control problems, particularly those involving Hamilton-Jacobi equations. They maintain strong connections with the broader applied mathematics community through participation in workshops like the 2017 Numerical Methods in Optimal Control workshop. The group's work often intersects with physics applications, particularly in quantum systems and orbital mechanics, where they develop efficient numerical methods for solving two-point boundary value problems.

Marco Carboneمشاهده پروفایل

استاد

• Theoretical Computer Science
• Session Types
• Concurrency Theory
• +۷ مورد دیگر

Marco Carbone is a Professor of Theoretical Computer Science at IT University of Copenhagen. His research focuses on session types , concurrency theory , structured communication , and formal verification of distributed systems. He leads the Center for Information Security and Trust and serves as Head of Education for the Master of Science in Computer Science program. Research Areas: Session Types, Concurrency, Security Protocols, Trust Management, Programming Logic Projects: GAINER (2023-2024), MECHANIST (2021-2025), PROBABILIST (2025-2028), BeHApi (2018-2023) Scientific Awards: International Prize (2018) His recent work explores probabilistic choreographies, asynchronous session subtyping, and mechanized proofs for session type systems. He has published extensively in venues like Logical Methods in Computer Science and Lecture Notes in Computer Science .

Lysenko Sergeyمشاهده پروفایل

استاد

• Geometric Langlands program
• Geometric representation theory
• Automorphic sheaves
• +۳ مورد دیگر

Sergey Lysenko is a Professor at the University of Lorraine , affiliated with the Institut Élie Cartan de Lorraine (IECL) and the GDR Algebraic and Geometric Lie Theory . His research centers on the geometric Langlands program and its connections to representation theory. Research Interests: Geometric Langlands program, automorphic sheaves, metaplectic groups, theta-lifting, geometric aspects of representation theory, and Satake equivalence. Students: Supervised three PhD students: Banafsheh Farang Hariri (2012), Lizao Ye (2019), and Ruotao Yang (2020), with ongoing collaborations in geometric representation theory. Publications: Over 30 works focusing on geometric Langlands, quantum groups, and automorphic periods, including key contributions to metaplectic Whittaker categories and theta-lifting. Grants: Coordinator of the ANR VARGEN project (Varieties of characters and generalizations) from 2013–2018. Teaching: Taught courses in algebra, topology, and bilinear algebra at University of Lorraine. Scientific Leadership: Active in seminars and workshops on geometric Langlands, including the Nancy–Paris 2010 seminar. Member of the geometry team at IECL and GDR Algebraic and Geometric Lie Theory .

Dimitrios Pappasمشاهده پروفایل

پژوهشگر

• Statistics
• Linear Algebra
• Image Processing
• +۵ مورد دیگر

Dimitrios Pappas is a faculty member at the Department of Statistics within the School of Information Sciences and Technology at Athens University of Economics and Business . His research spans multiple disciplines, including Statistics , Linear Algebra , Image Processing , and Financial Mathematics . His work focuses on generalized inverses , matrix factorization , and quadratic optimization , with applications in image deblurring , credit risk modeling , and smart local energy systems . Recent publications highlight his contributions to network intrusion detection , Markov chain lumpability , and symbolic computation methods . While no specific scientific awards or student advising details are provided in the available text, his extensive publication record demonstrates expertise in applied mathematical modeling and computational techniques . He can be contacted at dpappas@aueb.gr .

Ali Pakniyatمشاهده پروفایل

استادیار

• Optimal Control
• Hybrid Systems
• Stochastic Control
• +۶ مورد دیگر

Ali Pakniyat is an Assistant Professor in the Department of Mechanical Engineering at the University of Alabama's College of Engineering. He joined UA in 2021 after postdoctoral positions at Georgia Tech and University of Michigan. His academic background includes a PhD in Electrical Engineering from McGill University, an MS from Sharif University of Technology, and a BS from Shiraz University, all in Mechanical Engineering. His research focuses on theoretical and applied aspects of control systems, including: Deterministic and stochastic optimal control Nonlinear and hybrid dynamical systems Multi-agent coordination and mean field games Applications in robotics, automotive systems, and MEMS Dr. Pakniyat's publications demonstrate consistent focus on advancing control theory methodologies, with recent emphasis on stochastic systems, multi-agent networks, and novel applications in aerial/marine drones. His work frequently integrates mathematical rigor with practical engineering challenges. Awards and Honors: Graduate Excellence Award in Engineering Canadian Marconi Graduate Award McGill Engineering Doctoral Award (MEDA) GERAD Doctoral Fellowship He currently teaches courses including Nonlinear Control Systems, Advanced Linear Control, and Intermediate Dynamics at UA. While specific student advisees aren't listed, his research involves mentoring in control systems and robotics.

Jeffrey Adamsمشاهده پروفایل

استاد

• Lie Groups
• Representation Theory
• Algebraic Structures
• +۱ مورد دیگر

Jeffrey Adams is a Professor in the Department of Mathematics at the University of Maryland , specializing in Lie groups and representation theory . He serves as the Policy Coordinator for Information Technology within the department. University: University of Maryland Department: Mathematics Academic Rank: Professor Email: jda@math.umd.edu Research Interests: Adams' work focuses on computational methods in Lie theory, particularly through the Atlas of Lie Groups and Representations project. His research encompasses unitary representations , Kazhdan-Lusztig theory , and automorphic forms , with significant contributions to the computation of the Unitary Dual using the Atlas software. Scientific Contributions: His publications include foundational studies on real reductive groups, nonlinear simply laced groups, and Shimura correspondences. The atlas software developed by his team enables computation of complex Lie group structures, including unipotent orbits and affine root systems. Teaching: Adams has taught courses such as Math 401 (Applied Linear Algebra) , Lie Groups , and Representation Theory , with video lectures and outlines available for educational outreach.

• Integer Programming
• Operations Research
• Cutting and Packing
• +۵ مورد دیگر

José Manuel Vasconcelos Valério Carvalho is a Full Professor at the School of Engineering, University of Minho, and Senior Researcher at Algoritmi Research Center's SEOR R&D Group. His academic career spans decades with significant contributions to combinatorial optimization and operations research. His educational background includes: PhD in Production Engineering (Operational Research major) from University of Minho MSc in Industrial Engineering and Operations Research from Virginia Polytechnic Institute (Fulbright scholar) Research focuses on large-scale integer programming applications in cutting/packing, network design, and operations planning. He develops exact and heuristic algorithms for complex optimization problems, frequently integrating domains like bin packing with vehicle routing using arc-flow formulations and column generation. Recent publications (2016-2025) reveal strong trends toward integrated logistics solutions, emphasizing temporal aspects, multi-trip scenarios, and combined routing/packing challenges. His methodologies consistently yield robust formulations for real-world supply chain applications. He has supervised 7 postdoctoral and 12 PhD students, many achieving award-winning work. Research leadership includes coordination of FCT-funded national projects and European project workpackages. As core member of Algoritmi's SEOR Group and former coordinator of the SEOOR Research Line (consistently rated 'Excellent' by international panels), he contributes to Portugal's leading operations research team.