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

Michael Carbinمشاهده پروفایل

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

Shweta Shindeمشاهده پروفایل

استادیار

• Trusted Computing
• System Security
• Hardware Security
• +۴ مورد دیگر

Shweta Shinde is an Assistant Professor in the Department of Computer Science at ETH Zurich where she leads the Secure & Trustworthy Systems (SECTRS) research group. She is also a member of the Institute of Information Security and the ZISC Center at ETH Zurich. Her work bridges theoretical foundations with practical implementations in hardware and system security. Dr. Shinde's research focuses on the intersection of trusted computing, system security, and program analysis. Her group investigates both foundational aspects of security to protect phones, servers, and accelerators, as well as practical aspects of realizing these solutions through large-scale system building. Her work spans hardware security primitives, trusted execution environments, confidential computing, and secure system design across multiple platforms including mobile devices, cloud infrastructure, and blockchain systems. Her publication record demonstrates significant impact in the field, with numerous papers in top security venues including IEEE S&P, USENIX Security, CCS, and NDSS. Her research has uncovered critical vulnerabilities in major hardware security technologies like Intel SGX and AMD SEV-SNP while also proposing novel frameworks for building more secure systems. The work spans multiple domains including hardware security, cloud security, mobile security, and blockchain security, with a consistent thread of identifying and addressing fundamental security challenges in trusted computing. Among her notable achievements are multiple best paper awards including at SysTEX 2025 and nominations at DATE 2025, a Distinguished Paper Award at IEEE S&P 2024, and recognition as a Most Innovative Research Pwnie Award Nominee in 2024. Her work on WeSee received particular attention for breaking AMD SEV-SNP through novel interrupt-based attacks. Dr. Shinde actively mentors PhD students including Mark Kuhne, Supraja Sridhara, Mélisande Zonta-Roudes, Benedict Schlüter, Andrin Bertschi, and others. She teaches courses on Systems Security, Information Security Lab, Seminar on Systems Security, and Current Topics in Information Security at ETH Zurich. Her service to the community includes extensive program committee work for major security conferences including Oakland (S&P), NDSS, USENIX Security, and CCS, where she has served as track co-chair and program co-chair for several workshops.

• Computer Vision
• Computer Graphics
• Machine Learning
• +۱۱ مورد دیگر

Andrea Tagliasacchi is an Associate Professor in the School of Computing Science at Simon Fraser University (SFU), where he holds the Visual Computing Research Chair. He is also a part-time (20%) Staff Research Scientist at Google DeepMind in Toronto and holds an associate professor (status only) appointment in the Department of Computer Science at the University of Toronto. Education: PhD in Computing Science – Simon Fraser University (NSERC Alexander Graham Bell Fellow) Postdoctoral Research – École Polytechnique Fédérale de Lausanne (EPFL) MSc in Computer Science – Politecnico di Milano (Gold Medalist) His research lies at the intersection of computer vision, computer graphics, and machine learning, with a focus on 3D visual perception. Key areas include neural radiance fields (NeRF), 3D Gaussian splatting, inverse rendering, and geometric deep learning, with applications in robotics, augmented reality, and autonomous systems. His work emphasizes robust and efficient scene understanding and reconstruction from visual data. His recent publications, appearing in top venues like CVPR, SIGGRAPH, NeurIPS, and ECCV, demonstrate a strong emphasis on neural fields, 3D reconstruction, and generative modeling. Trends include improving rendering efficiency, enhancing robustness to noise and distractors, and enabling controllable and 3D-aware generation. His group has made significant contributions to Gaussian splatting, NeRF optimization, and diffusion-based 3D/4D synthesis. Scientific Awards: 2024 CVPR Best Paper Award (Honorable Mention) 2020 CVPR Best Student Paper Award 2015 SGP Best Paper Award NSERC Alexander Graham Bell Canada Graduate Scholarship MITACS Best Paper Award (SIGGRAPH Asia 2009) NSF Best Poster Award (SGP 2012) He has advised numerous PhD and MSc students, many of whom are now researchers at leading institutions and companies. His research has been supported through collaborations with Google, Intel, and academic partners. He serves the community as a Senior Area Chair for CVPR 2025, Associate Editor for IEEE TPAMI (2024–2026), Guest Editor for IEEE TPAMI on 3D GenAI, and Program Chair for 3DV 2024. He leads a vibrant research lab at SFU focused on pushing the boundaries of 3D scene understanding with machine learning.

Christian Zillingerمشاهده پروفایل

پژوهشگر

• Partial differential equations
• Fluid dynamics
• Material sciences
• +۵ مورد دیگر

PD Dr. Christian Zillinger is a researcher at the Karlsruhe Institute of Technology (KIT), specifically within the Department of Mathematics. He leads the Junior Research Group "Stability and Instability in Fluids and Materials" (AP6) as part of the CRC 1173. His office is located at Kollegiengebäude Mathematik (20.30), room 2.024 in Karlsruhe, Germany. Dr. Zillinger obtained his PhD under the supervision of Herbert Koch at the University of Bonn. Following his doctorate, he served as an assistant professor (NTT) at the University of Southern California and was a postdoctoral fellow at BCAM (Basque Center for Applied Mathematics). He recently completed his habilitation thesis titled "On Mixing and Resonances in Fluid Systems" at KIT in 2023. Dr. Zillinger's research focuses on partial differential equations motivated by physical problems, particularly in fluid dynamics and material sciences. His work encompasses several key areas: Mixing as a (de)stabilizing mechanism in fluids and inviscid damping Cascades of resonances and instabilities in fluids and plasmas Convex integration and microstructures in materials, including rigidity and flexibility phenomena Magnetic fluids and magnetohydrodynamics Partial dissipation in the Boussinesq equations His recent publications demonstrate a strong focus on stability and instability phenomena in fluid systems, with particular attention to mathematical analysis of PDEs governing fluid behavior. He has made significant contributions to understanding echo chains, resonance phenomena, and damping mechanisms in various fluid models. His work bridges theoretical mathematics with applications in physics and materials science, often employing advanced analytical techniques to address challenging problems in nonlinear PDEs. Dr. Zillinger actively teaches courses at KIT, including "Klassische Methoden für partielle Differentialgleichungen" (Classical Methods for Partial Differential Equations), "Introduction to convex integration," "Introduction to Kinetic Equations," and seminars on microstructure in materials and fluid dynamics. He leads the Junior Research Group "Stability and Instability in Fluids and Materials" which is part of the Collaborative Research Centre (CRC) 1173 at KIT, focusing on wave phenomena. This research group investigates mathematical aspects of stability and instability in physical systems, with applications to fluid dynamics and material science.

Hans Beckمشاهده پروفایل

استاد

• History and culture of ancient Greece
• Historical geography of Greece
• Historical environmental studies of ancient Greece
• +۵ مورد دیگر

Hans Beck serves as Professor of Greek History at the University of Münster (Westfälische Wilhelms-Universität) since 2018, with an additional appointment as Adjunct Professor in the Faculty of Arts at McGill University. His academic career includes previous positions as Professor of Ancient History and Director of Classical Studies at McGill University (2005-2018), Heisenberg Fellow at Goethe-Universität Frankfurt (2004-2005), and Research Assistant at the University of Cologne (1997-2004). Beck earned his academic training through doctoral studies at the Universities of Erlangen, Canterbury, and Cambridge (1989-1996), followed by a fellowship at the Center for Hellenic Studies in Washington, DC (2001-2002). His educational background reflects a strong international foundation in classical studies. His research spans multiple interconnected fields within ancient history, with particular emphasis on the history and culture of ancient Greece, historical geography of Greece, environmental studies of the ancient Greek world, political culture of the Roman Republic, and ancient historiography. Beck's work consistently explores themes of localism, federalism, and political structures across ancient societies, with notable contributions to understanding Greek city-states, regional identities, and comparative political systems. His approach often bridges geographical, historical, and cultural perspectives to examine how ancient communities organized themselves politically and maintained regional identities within larger frameworks. Analyzing his recent publications reveals a sustained focus on local political structures within broader contexts, particularly examining how Greek city-states maintained autonomy while participating in federal leagues. His work increasingly incorporates comparative approaches, connecting Greek political structures with those of Rome and even ancient China, reflecting his editorial work on cross-cultural studies. Beck demonstrates particular expertise in analyzing how physical landscapes shaped political organization and how religious practices reinforced regional identities. Fellow of the Royal Society of Canada (2018) Anneliese Maier Research Award from Alexander von Humboldt Foundation (2014) Heisenberg Fellowship from Deutsche Forschungsgemeinschaft (2004) Doctoral scholarship from German Academic Exchange Service (1995) Doctoral scholarship from Hanns Seidel Foundation (1994) Beck has supervised numerous doctoral students including Jordan Christopher (2022), Chandra Giroux (2021), Wentian Fu (2020), Rebecca Robinson (2017), Alex McAuley (2015), and François Gauthier (2015), covering diverse topics from ancient Qin and Macedon to cult practices in ancient empires. His academic leadership extends to directing research projects B3-49 'Belonging in/to Lakonia' and B3-40 'Localism and Religion in Ancient Greece' within the Excellence Cluster focusing on 'Religious Diversity and Legal-Political Unity.' As head of the project 'Belonging in/to Lakonia' and 'Localism and Religion in Ancient Greece,' Beck leads interdisciplinary research teams examining archaeological and historical evidence from the Sanctuary of Apollo at Amyklai and its surroundings. His work integrates textual analysis with material culture studies, creating comprehensive approaches to understanding ancient regional identities and religious practices. Beck's leadership in these projects demonstrates his commitment to bridging traditional disciplinary boundaries in classical studies.

Nils Fleischhackerمشاهده پروفایل

استادیار

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +۵ مورد دیگر

Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.

Ashley Montanaroمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Algorithms
• Quantum Information Theory
• +۳ مورد دیگر

Ashley Montanaro is Professor of Quantum Computation in the School of Mathematics at the University of Bristol, and co-founder of the quantum software startup Phasecraft. He is a member of the Quantum Information Theory research group at Bristol. His research focuses on the theory of quantum computing, with particular interest in quantum algorithms, computational complexity, quantum query and communication complexity, and classical algorithms. His work spans both theoretical foundations and practical applications of quantum computing. Montanaro's research output shows significant trends toward quantum algorithms for optimization problems, quantum computational supremacy, and bridging theoretical advances with practical implementation challenges. His publications span foundational quantum information theory to applied quantum algorithms, demonstrating a versatile research program that connects computer science with quantum physics. Among his professional activities, Montanaro served on the QIP steering committee (2016-2018) and was an editor for the Quantum journal until 2019. He has been active in conference organization, serving on program committees for ITCS 2018, AQIS 2017 and 2015, QIP 2015, and TQC 2014 and 2013, reflecting his standing in the quantum computing research community. He has supervised numerous PhD students including Josh Blake, Jorja Kirk, Sheila Perez Garcia, Sami Boulebnane, Jan Lukas Bosse, Lana Mineh, Joao F. Doriguello, Chris Cade, Sam Pallister, and Stephen Piddock. His teaching includes Quantum Computation (MATHM0023) which he has taught since 2014 and Advanced Quantum Information Theory which he taught in 2015 and 2016. As co-founder of Phasecraft, Montanaro is actively translating theoretical quantum computing advances into practical software solutions, positioning him at the intersection of academic research and quantum technology commercialization.

• Robotics
• Photogrammetry
• Simultaneous Localization and Mapping (SLAM)
• +۱۲ مورد دیگر

Cyrill Stachniss is a Full Professor at the University of Bonn , where he heads the Lab for Photogrammetry and Robotics and is affiliated with the Lamarr Institute for Machine Learning and Artificial Intelligence . He was previously a Visiting Professor in Engineering at the University of Oxford until 2025. His academic journey includes positions at the University of Freiburg, University of Zaragoza, and the Swiss Federal Institute of Technology. University: University of Bonn School: Faculty of Engineering Department: Department of Photogrammetry Academic Rank: Professor His research spans robotics, photogrammetry, SLAM, autonomous navigation, perception systems, agricultural robotics, and unmanned aerial vehicles . He emphasizes probabilistic techniques for mobile robots and has made significant contributions to visual and LiDAR-based localization, scene understanding, and 3D reconstruction. The recent publications highlight a strong trend toward neural implicit representations, agricultural phenotyping, radar-based perception, and active learning . His team develops robust systems for real-world deployment in dynamic and unstructured environments, particularly in precision farming and autonomous vehicles. Scientific Awards: IEEE RAS Early Career Award (2013) Microsoft Research Faculty Fellow (2010) 7th EURON Georges Giralt Award (2008) Multiple Best Paper Awards at ICRA, IROS, RSS, and RAL Faculty Teaching Award, University of Freiburg He has advised numerous students and leads the DFG Cluster of Excellence PhenoRob and Research Unit FOR 1505 Mapping on Demand . His lab has co-founded three startups, reflecting strong industry and societal impact. He also runs the educational video series 5 Minutes with Cyrill , explaining key robotics concepts.

Amadeus Gebauerمشاهده پروفایل

پژوهشگر

• Cardiac mechanics
• Cardiac growth and remodeling
• Computational mechanics
• +۳ مورد دیگر

Amadeus Gebauer is a Researcher at the Chair of Computational Mechanics within the Institute for Computational Mechanics at the Technical University of Munich (TUM), serving as a Research Associate since 2019. His work specializes in computational biomechanics with emphasis on cardiac mechanics modeling, growth and remodeling processes, and multi-physics simulation frameworks. Education: Master of Science (M.Sc.) in Mechanical Engineering, Technical University of Munich, 2019 Research Interests: Gebauer's research centers on cardiac mechanics modeling, including growth and remodeling of cardiac tissue, cardiac active tissue mechanics, and medical image processing. He develops advanced computational methods for parallel and high performance computing, particularly through the 4C multi-physics simulation framework. His work integrates constrained mixture models to simulate organ-scale biological processes, bridging computational mechanics with clinical cardiology applications and focusing on mechanobiological stability in cardiac systems. Publication Trends: Gebauer's publications (2018-2025) demonstrate consistent innovation in computational cardiology, primarily using constrained mixture models to address cardiac growth and remodeling. His recent work introduces adaptive integration techniques for history variables and homogenized modeling approaches, while expanding into software benchmarking for cardiac elastodynamics and gastric motility simulations. These contributions highlight his expertise in developing robust numerical methods for multi-physics biomedical problems, with increasing focus on patient-specific applications and high-performance computing solutions. Teaching and Advising: Gebauer teaches core computational mechanics courses including Finite Elemente and Numerische Festkörpermechanik across multiple semesters. He has supervised diverse student projects ranging from term papers to Master's theses, with notable collaborations including Maximilian Grill's shoulder biomechanics research (2020) and Janina Datz's artery geometry framework development (2021). His advising consistently focuses on cardiac mechanics, computational modeling, and medical device simulation. Research Environment: As part of Professor Wolfgang A. Wall's Institute for Computational Mechanics (LNM) at TUM, Gebauer contributes to a leading research group in computational solid/fluid mechanics. The LNM develops the 4C simulation framework for complex engineering and biomedical challenges, with current emphasis on cardiac growth modeling, multi-physics integration, and high-performance computing applications in personalized medicine.

• Stelae
• Offering Tables
• Scarabs
• +۷ مورد دیگر

Professor Alexander Ilin-Tomich serves as an Acting Professor at the Institute of Egyptology within the Department of History and Cultural Studies at the Free University of Berlin. His academic career spans multiple prestigious institutions including Johannes Gutenberg-Universität Mainz and the Russian Academy of Sciences. His educational background includes: 2022: Habilitation in Egyptology at Johannes Gutenberg-Universität Mainz with thesis "Egyptian name scarabs from the 12th to the 15th Dynasty: Geography and chronology of production" 2007-2011: Doctoral studies at Lomonosov University Moscow, earning "kandidat istoriceskich nauk" (equivalent to PhD) 2002-2007: Undergraduate studies in Ancient History (including Egyptology) at Lomonosov University Moscow Professor Ilin-Tomich specializes in Egyptian stelae, offering tables, scarabs, personal names, prosopography, and administration during the Middle Kingdom and Second Intermediate Period. His research combines philological, archaeological, and historical approaches to examine ancient Egyptian society, with particular focus on administrative structures, material culture, and regional variations. His work on scarab production and distribution has established him as a leading expert in this specialized field. His publication record demonstrates consistent focus on Middle Kingdom administration, with recent expansion into material analysis of Egyptian blue pigment and methodological approaches to studying small archaeological finds. He has developed significant digital resources including the open-access "Personen und Namen des Mittleren Reiches" database. Professor Ilin-Tomich has secured multiple competitive research grants: Fritz Thyssen Foundation project "Ancient Egyptian titles in official and familial contexts, 2055-1352 BC" (2021-2024) Fritz Thyssen Foundation project "Transformation and variability in the corpus of ancient Egyptian personal names 2055-1550 BC" (2017-2021) Alexander von Humboldt Foundation postdoctoral fellowship (2015-2017) Russian Foundation for the Humanities research grant (2013-2015) He actively contributes to the academic community through editorial work, including co-editing the 2023 Festschrift "Schöne Denkmäler sind entstanden. Studien zu Ehren von Ursula Verhoeven," and has established himself as a key researcher in Middle Kingdom studies through his monographs and numerous journal articles.

Alessandro Golkarمشاهده پروفایل

استاد

• Space Systems Engineering
• CubeSat and Nanosatellite Technology
• Satellite Constellations
• +۵ مورد دیگر

Prof. Alessandro Golkar is a Professor at the Technical University of Munich (TUM), leading the Chair of Picosatellites, Nanosatellites, and Satellite Constellations. He joined TUM in September 2022 and previously served as one of the founding faculty members at Skoltech, a Moscow-based graduate research university. His research focuses on advanced space mission concepts, systems engineering for picosatellites, and federated satellite systems. Prior to academia, he held roles at Airbus CTO, contributing to technology roadmapping and planning. His academic background includes expertise in aerospace engineering, systems design, and agile development methodologies for space hardware. Key research areas include CubeSat constellations, distributed satellite systems, and the integration of AI tools like Large Language Models (LLMs) into spacecraft design processes. He has pioneered projects such as the FSSCat mission, winner of the ESA Sentinel Small Satellite Challenge, and has explored applications of additive manufacturing for lunar missions. Prof. Golkar’s awards include the 2021 Karman Fellowship and IEEE Senior Membership (2018). His recent work emphasizes optimizing satellite networks, digital twin implementation, and orbital maneuvering for collision avoidance. He actively contributes to technology roadmapping, focusing on future human landing systems and lunar infrastructure development. Education: Ph.D. in Aerospace Engineering (details not explicitly stated). Grants & Funding: Extensive grants for CubeSat projects, federated systems research, and space technology innovation. Labs/Teams: Leads the Chair’s research group at TUM and collaborates with industry partners like Airbus on advanced mission concepts. His publications span over two decades, addressing topics like constellation design, machine learning in space, and agile processes for hardware development. He advocates for hybrid agile methodologies to bridge traditional systems engineering and modern product development.

Nina Gantertمشاهده پروفایل

استاد

• Probability Theory
• Stochastic Processes
• Large Deviations
• +۴ مورد دیگر

Prof. Dr. Nina Gantert is a distinguished Professor of Probability Theory at the Technical University of Munich (TUM) , affiliated with the TUM School of Computation, Information and Technology . She has held faculty positions at Karlsruhe Institute of Technology and the University of Münster prior to joining TUM in 2011. Her research focuses on probability theory , particularly stochastic processes , large deviations , and random media . She investigates random walks in random environments as models for transport in disordered systems and explores applications in physics and biology . Recent publications highlight her work on branching random walks , mixing times , biased random walks , and large deviation principles for complex stochastic systems. She has co-authored studies on random walks in dynamical percolation , interacting edge-reinforced processes , and extremal point processes in branching models. Scientific Awards: Elected fellow of the IMS (2016) Her academic career spans institutions including ETH Zürich, University of Bonn, Technical University of Berlin, and TUM. She has supervised numerous Bachelor’s and Master’s theses on topics ranging from mixing time analysis to percolation theory , often collaborating with international co-authors.

Xiaoxiang Zhuمشاهده پروفایل

استاد

• Remote sensing and Earth observation
• Signal processing
• Artificial intelligence and machine learning
• +۳ مورد دیگر

Xiaoxiang Zhu is a Professor for Data Science in Earth Observation at the Technical University of Munich (TUM) and serves as the Director of the International AI Future Lab - AI4EO. She is also on the Board of Directors of the Munich Data Science Institute (MDSI) and has held various leadership positions in research institutions including as Spokesperson for Helmholtz AI Research Field "Aeronautics, Space and Transport" (MASTr). Her educational background includes a doctorate (Dr.-Ing.) and habilitation from TUM. She has held positions as Private Dozent at TUM (2013-2015), TUM Junior Fellow (2013-2015), and Research Group Leader for "SparsEO" at Munich Aerospace (2011-2016). Professor Zhu's research focuses on the intersection of remote sensing, artificial intelligence, and data science. Her work primarily addresses global urban mapping, sustainable development goals, and climate change monitoring through Earth observation technologies. She develops advanced signal processing techniques and machine learning algorithms specifically tailored for satellite imagery and geospatial data analysis. Her research has significant applications in urban planning, environmental monitoring, and disaster management. Her team has pioneered approaches that combine synthetic aperture radar (SAR) with deep learning for improved Earth observation capabilities. Professor Zhu has received numerous prestigious awards including being named an IEEE Fellow (2021), receiving the Geodesy Award of the Nico Rüpke Foundation (2020), and being awarded an ERC Proof of Concept Grant (2020, 2022). She is also a Fellow of the Academia Europaea (2024) and AAIA Fellow (2024). Her publication record includes highly cited works such as "Deep Learning in Remote Sensing: A Comprehensive Review and List of Resources" (2017). She leads a substantial research team comprising numerous PhD students and postdoctoral researchers working on various projects including Horizon Europe - ThinkingEarth, EarthCare, and AI4TWINNING. Her research group, the Chair of Data Science in Earth Observation, is actively involved in multiple large-scale European and German research initiatives focused on Earth observation and AI applications.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Yin Tat Leeمشاهده پروفایل

دانشیار

• Convex Optimization
• Convex Geometry
• Graph Algorithms
• +۲ مورد دیگر

Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.