جستجوی استاد راهنمای دانشگاهی

Judy Hartمشاهده پروفایل

دانشیار

• Renewable Energy Materials
• Photocatalysis
• Solar Cells
• +۵ مورد دیگر

Associate Professor Judy Hart is a materials scientist at the School of Materials Science & Engineering, UNSW Sydney , specializing in the development of semiconducting materials for renewable energy applications. Her work integrates computational (DFT) and experimental approaches to understand composition-property relationships in systems like solid solutions , heterostructures , and doped materials for photocatalysis and solar cells . She leads projects funded by ARC Discovery and Linkage grants , including work on photo-electro-catalysis systems and stabilizing ceramic materials . Education: PhD in Materials Engineering (Monash University, 2007), BEng (Materials) (Monash, 2002) Professional Experience: Senior Lecturer (UNSW, 2017–), Lecturer (UNSW, 2013–2017), University of Bristol (2007–2012) Research Interests Her research focuses on designing materials for renewable energy , particularly photoelectrochemical water splitting and organic oxidation reactions . Key areas include Density Functional Theory (DFT) , defect engineering , band gap tuning , and nanostructured materials . She investigates ferroelectric polarization effects , metal oxide heterostructures , and stability of battery components , with applications in hydrogen production , CO2 conversion , and advanced battery materials . Scientific Awards Ramsay Memorial Fellowship (University of Bristol, 2007–2009) Teaching Contributions She is co-author of the 1st Australian & New Zealand edition of "Materials Science and Engineering: An Introduction" , and teaches courses on computational materials science , corrosion-resistant surfaces , mechanical behavior of metals , and materials design .

• Programming Language Theory
• Dependent and Refinement Types
• Computational Effects
• +۶ مورد دیگر

Danel Ahman is an Associate Professor at the Institute of Computer Science , University of Tartu , Estonia, specializing in programming language theory . His research focuses on dependent/refinement types , computational effects , and verified software . Education PhD in Theoretical Computer Science (University of Edinburgh, 2017) MPhil in Advanced Computer Science (University of Cambridge, 2012) BSc in Informatics (Tallinn University of Technology, 2010) Research Interests : Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification. Scientific Awards : Estonian Research Council grant (2025) Marie Skłodowska-Curie Fellowship (2019) PhD dissertation prize (2018) Google/Citrix dissertation awards (2012) Teaching & Supervision : He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.

• Programming Language Design
• Program Verification
• Type Theory
• +۳ مورد دیگر

Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.

Éric Tanterمشاهده پروفایل

استاد

• Programming Languages
• Gradual Typing
• Software Engineering
• +۹ مورد دیگر

Éric Tanter is a Full Professor in the Computer Science Department (DCC) at the University of Chile, where he also leads the PLEIAD Lab. He holds an Inria International Chair (2025–2029) and is an Associate Researcher at the Millenium Institute for Foundational Research on Data (IMFD). His academic leadership includes prior roles as Director and Deputy Director of the DCC, and Coordinator of the PhD Program in Computer Science. His research centers on programming languages and software engineering, with a strong focus on gradual typing, type systems, program verification, and secure programming. He explores both theoretical foundations and empirical practices, aiming to bridge the gap between static and dynamic language paradigms. His recent work emphasizes gradual verification, refinement types, and applications in proof assistants and security. The trends in his recent publications show a deep engagement with foundational aspects of gradual and dependent typing, often aiming to enhance the reliability and security of software systems. These works frequently involve formalization in proof assistants like Coq and explore applications in differential privacy, secure interoperability, and symbolic execution. Inria International Chair (2025–2030) Best Paper Awards at POPL 2019, OOPSLA 2018, ICFP 2018, MSR 2011, AOSD 2010, SBLP 2008, DAIS 2006 Most Influential/Most Notable Paper Awards at DLS, Programming, DLS Facebook Research Testing and Verification Award (2018) Google Faculty Research Awards (2015, 2016) Best Professor Award, University of Chile (2011) Éric Tanter has advised numerous PhD and Master’s students, many of whom have gone on to publish influential work in top venues. He has led multiple research projects funded by FONDECYT, ANID, INRIA, and other national and international agencies. His service includes editorial roles in journals such as the Journal of Functional Programming and Science of Computer Programming, and extensive participation in program committees of major conferences like POPL, ICFP, and OOPSLA. He leads the PLEIAD Lab at the University of Chile, a research group focused on programming languages, software engineering, and formal methods. The lab fosters collaboration with international institutions and emphasizes both theoretical rigor and practical impact.

Sanat K. Sarkarمشاهده پروفایل

استاد

• Multiple Testing
• Statistical Methodologies
• High-Dimensional Statistical Inference
• +۱ مورد دیگر

Sanat K. Sarkar serves as a Professor in the Department of Statistics, Operations, and Data Science at Temple University's Fox School of Business and Management. An internationally renowned expert, he has pioneered foundational work in multiple testing theory with applications spanning genomics, neuroimaging, and high-dimensional data analysis. His methodological innovations address critical challenges in false discovery rate control under complex dependency structures. Research Interests: Dr. Sarkar specializes in Multiple Testing, Statistical Methodologies, High-Dimensional Statistical Inference, and Multivariate Statistics. His work develops rigorous frameworks for hypothesis testing in modern scientific contexts where thousands of simultaneous tests are performed, ensuring reliable discoveries in fields like genetic association studies and brain connectivity mapping. Key contributions include adaptive FDR procedures and methods for structured hypothesis groups. Publication Trends: Over 2020-2025, his 11 publications demonstrate sustained leadership in refining false discovery rate methodologies. Recent work tackles correlated data (2025), knockoff variable selection (2022), and hierarchical hypothesis structures (2021-2024), reflecting his focus on real-world applicability in biomedical big data. His research bridges theoretical statistics with practical computational solutions. Honors and Awards: Fellow, Institute of Mathematical Statistics Fellow, American Statistical Association Elected Member, International Statistical Institute Musser Award for Research Excellence (Fox School) Multiple Dean's Research Honor Roll Inductions Research Support and Service: Funded continuously by NSF and NSA grants, Dr. Sarkar co-organized the NSF-CBMS conference on Multiple Comparisons and serves on editorial boards of Annals of Statistics , American Statistician , and Sankhya . He regularly delivers invited talks at international venues and mentors junior researchers in statistical methodology development.

Ingeborg Schmidt-Kreyمشاهده پروفایل

دانشیار

• Structure & function of eukaryotic membrane proteins
• membrane protein complexes
• biophysics
• +۶ مورد دیگر

Ingeborg Schmidt-Krey is an Associate Professor in the Department of Biology at Georgia Institute of Technology. Her research focuses on the structure and function of eukaryotic membrane proteins, which are critical drug targets in biomedical research. She utilizes electron crystallography, cryo-EM, and 2D crystallization techniques to advance structural studies of these proteins. Education: B.S. in Biochemistry from Mississippi State University (1991) Ph.D. in Biophysics and Structural Biology from Karolinska Institute (1999) Research Interests: Ingeborg Schmidt-Krey investigates eukaryotic membrane proteins, particularly their structural determination via electron crystallography. Her work includes developing screening methods for 2D crystallization and improving cryo-EM data collection. Recent articles highlight advancements in nanodisc-reconstitution, lipid-dependent oligomerization studies, and refined sample preparation techniques like the Peel-Blot method. Scientific Awards: German Research Foundation Young Investigator Class of 1969 Teaching Fellow EMBO/EMBL/CERN Women in Science Ambassador EMBO long-term fellow Her laboratory’s efforts are directed toward understanding the biophysics of membrane proteins and their role in diseases such as inflammation and cancer.

Brigitte Pientkaمشاهده پروفایل

استاد

• Type theory
• Programming languages
• Logical frameworks
• +۷ مورد دیگر

Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, where she leads the Computation and Logic group. She received her PhD from Carnegie Mellon University in 2003, and previously studied at the University of Edinburgh and Technical University of Darmstadt. Her educational background includes: PhD from Carnegie Mellon University (2003) Studies at the University of Edinburgh Studies at Technical University of Darmstadt Dr. Pientka's research focuses on developing theoretical and practical foundations for building and reasoning about reliable, safe software systems. She combines theoretical research on logical foundations of computer science in programming languages and verification with system building. Her work spans logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks. She has made significant contributions to the field of contextual types and mechanized metatheory. Her recent publications demonstrate a strong trend toward modal type theory, contextual types, and session types, with applications to functional programming, verification, and meta-programming. She has made significant contributions to the Beluga system, which explores how to combine functional programming with dependently-typed, higher-order data specified in the logical framework LF. Her work often bridges theoretical foundations with practical implementations for mechanized reasoning. Dr. Pientka has received several notable awards: Humboldt Fellowship Test of Time Award @ PPDP'18 for 'Programming with proofs and explicit contexts' Best student paper award at ICLP'03 She is actively involved in mentoring and academic service, having served as PC Chair for ICFP'24, CPP'23 and CPP'24, and as General Chair for POPL'20. She is an Executive Editor of Logical Methods in Computer Science and serves on the editorial boards of the Journal of Functional Programming and ACM Transactions of Computational Logic. She leads the Computation and Logic group at McGill University, which focuses on developing theoretical and practical foundations for reliable software systems through research in logical frameworks, type theory, and programming language design.

Brigitte Pientkaمشاهده پروفایل

استاد

• Programming Languages
• Verification
• Type Theory
• +۶ مورد دیگر

Brigitte Pientka is a Professor at McGill University's School of Computer Science , where she leads the Computation and Logic group . She earned her PhD from Carnegie Mellon University in 2003 and previously studied at the University of Edinburgh and Technical University of Darmstadt. Education PhD in Computer Science, Carnegie Mellon University (2003) University of Edinburgh Technical University of Darmstadt Research Interests Her work focuses on the theoretical and practical foundations for building reliable software systems, combining logic, type theory, and verification with system-building. Key areas include: Type Theory and Dependent Types Logical Frameworks and Mechanized Metatheory Session-Typed Concurrency and Linear Logic Metaprogramming and Contextual Type Systems Theorem Proving and Formal Verification Functional Programming and Language-Based Security Professional Roles She has served as: PC Chair for ICFP'24 and CPP'24 General Chair for POPL'20 Executive Editor of Logical Methods in Computer Science Steering Committee Member for LICS, POPL, and ESOP Scientific Awards Dr. Pientka has received: Test of Time Award at PPDP'18 Humboldt Fellowship for research at MPI-SWS, Germany Labs & Teams She actively develops the Beluga programming language , a tool for mechanizing meta-theory proofs and type-driven program manipulation.

Amin Timanyمشاهده پروفایل

دانشیار

• Programming Languages
• Type Theory
• Logical Relations
• +۹ مورد دیگر

Amin Timany is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he conducts research in programming languages, type theory, and formal verification. He is a member of the Logic and Semantics Group and actively contributes to the development of logical relations, separation logic, and proof assistants such as Coq and Iris. He holds a PhD in Computer Science from KU Leuven (2018) and was previously a postdoctoral fellow with FWO at KU Leuven. His research focuses on mechanized semantics, program equivalence, concurrency, and distributed systems verification. He is particularly known for solving the long-standing problem of proving encapsulation in the ST monad using logical relations. His recent publications span top-tier venues including POPL, ICFP, PLDI, and CPP, with key contributions in guarded interaction trees, higher-order separation logic (e.g., Trillium), and modular verification of CRDTs and virtual machines. His work emphasizes formalization and mechanization in Coq, often within the Iris framework. He has served on numerous program committees and has chaired conferences such as CPP and sessions at CoqPL. Notably, his paper 'Modular Denotational Semantics for Effects with Guarded Interaction Trees' received a Distinguished Paper Award at POPL 2024. PhD, KU Leuven, 2018 MSc, TU Dresden, 2013 He teaches courses such as Compilation, Program Logics, and Advanced Topics in Programming Language Theory. He collaborates extensively with researchers like Lars Birkedal, Robbert Krebbers, and Derek Dreyer, and mentors students in formal methods and PL theory.

• Programming Languages
• Type Theory
• Theorem Proving
• +۶ مورد دیگر

Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, leading the Computation and Logic research group. She holds a PhD from Carnegie Mellon University (2003) and has conducted studies at the University of Edinburgh and Technical University of Darmstadt. Her research focuses on theoretical foundations of reliable software systems, combining programming languages, type theory, and theorem proving. Notable contributions include work on modal dependent type theory, contextual types, and mechanizing meta-theoretic proofs using the Beluga system. Her academic roles include serving as General Chair of POPL 2020, Program Chair for ICFP 2024 and CPP 2023/2024, and Executive Editor of Logical Methods in Computer Science. Awards include the Humboldt Fellowship and a Test of Time Award at PPDP'18. She actively contributes to conference PCs and editorial boards, emphasizing formal methods and programming languages. Pientka teaches advanced courses on programming languages (COMP 523, COMP 527), logic, and dependently typed systems (COMP 599, COMP 762). Her work spans theoretical advancements and practical tools, with a focus on educating students in functional programming and formal verification. She advocates for diversity in computer science, encouraging underrepresented groups to pursue research opportunities.

• Solar Flare Physics
• Magnetic Field Dynamics
• Solar Radio Emission
• +۵ مورد دیگر

Roles and Affiliations: Dale Gary is a Distinguished Professor and Director of the Center for Solar-Terrestrial Research at New Jersey Institute of Technology (NJIT). He leads the Expanded Owens Valley Solar Array (EOVSA), a major community facility for solar and space weather research. His work focuses on solar flare physics, radio emission mechanisms, and space weather forecasting. Affiliations: Center for Solar-Terrestrial Research, NJIT Physics Department Research Infrastructure: EOVSA, OVRO-LWA Array, and AtLAST telescope development Education & Career Highlights: Gary has been a leader in solar radio astronomy for over 40 years, with extensive NSF and NASA grants. He was named Fellow of the American Astronomical Society in 2025. Research Interests: His work spans solar flares, magnetic field dynamics, and particle acceleration processes. Key areas include: Radio emission mechanisms (coherent bursts, gyroresonance) CME-driven shock waves and type IV radio bursts Coronal plasma diagnostics via microwave imaging Space weather impacts on Earth's ionosphere Grant & Project Highlights: NSF-funded EOVSA facility upgrades ($2.4M, 2023–2026) NASA studies on solar flare transport processes ($1.5M, 2022–2025) Multi-wavelength microwave imaging projects Awards & Recognition: Fellow of the American Astronomical Society (2025) Over 45 h-index with 8,174 citations Labs & Collaborations: Active in international collaborations including the AtLAST submillimeter telescope project and OVRO-LWA solar monitoring system. Directs NJIT's solar cyberinfrastructure initiatives.

Jaroslav Hronمشاهده پروفایل

دانشیار

• Fluid Mechanics
• Biomechanics
• Numerical Analysis
• +۳ مورد دیگر

Dr. Jaroslav Hron is an Associate Professor at the Department of Numerical Mathematics within the Faculty of Mathematics and Physics at Charles University in Prague, Czech Republic. His primary research focuses on fluid mechanics, biomechanics, and numerical analysis, with particular expertise in fluid-structure interaction problems and their applications to cardiovascular mechanics. Dr. Hron's research interests span fluid mechanics, biomechanics, numerical analysis, and computational mathematics. His work primarily investigates fluid-structure interaction problems, particularly as they apply to cardiovascular mechanics and hemodynamics. He has made significant contributions to the understanding of non-Newtonian fluids, pressure-dependent viscosities, and the development of advanced numerical methods for solving complex fluid flow problems. His research often bridges the gap between theoretical mathematics and practical applications in biomedical engineering. Analysis of his recent publications reveals a strong focus on cardiovascular applications, particularly in determining pressure data from velocity measurements and modeling blood flow in complex geometries. His work demonstrates a consistent progression from theoretical considerations to practical applications in biomechanics, with increasing emphasis on computational methods for fluid-structure interaction problems. The research shows interdisciplinary collaboration across mathematics, engineering, and medical fields. Dr. Hron has been actively involved in academic advising and research supervision, contributing to the development of computational methods in fluid mechanics. His work has established important benchmarks in fluid-structure interaction simulation, particularly in hemodynamic applications. His laboratory work primarily focuses on computational fluid dynamics and fluid-structure interaction, with applications to cardiovascular mechanics. He has developed and refined numerical methods for simulating complex fluid behaviors, particularly those relevant to biological systems.

Jeff Lichtmanمشاهده پروفایل

استاد

• Connectomics
• Neural Circuit Mapping
• Developmental Neuroscience
• +۲ مورد دیگر

Jeff Lichtman serves as the Jeremy R. Knowles Professor of Molecular and Cellular Biology and Santiago Ramón y Cajal Professor of Arts and Sciences at Harvard University, where he leads research within the Department of Molecular and Cellular Biology in the Faculty of Arts and Sciences. His laboratory focuses on the physical basis of long-lasting memory and experience-driven neural circuit restructuring through advanced connectomic approaches. Dr. Lichtman's research program centers on connectomics and neural circuit development , utilizing transgenic Brainbow models for in vivo visualization and automated serial electron microscopy for nanometer-resolution mapping. His lab investigates synaptic competition during mammalian development, circuit rearrangement in peripheral nervous systems, and the structural underpinnings of memory formation. Key research areas include cellular and molecular neuroscience with emphasis on developmental processes, synaptic connectivity dynamics, and experience-dependent circuit refinement. Analysis of his 2021-2025 publications reveals dominant methodological innovation in machine learning-guided microscopy (e.g., SmartEM) and correlative imaging techniques , with expanding applications across model systems including zebrafish, octopus, and human tissue. Recent work increasingly addresses Alzheimer's disease pathology within connectomic frameworks while maintaining core focus on developmental circuit formation. The Lichtman Lab maintains active development of high-throughput tools for neural circuit mapping, including Fishexplorer for zebrafish circuit dissection and large-scale human cerebral cortex reconstructions, with ongoing projects examining both peripheral and central nervous system connectivity.

Yongmiao Hongمشاهده پروفایل

استاد

• Model Specification Testing
• Nonlinear Time Series Analysis
• Financial Econometrics
• +۴ مورد دیگر

Yongmiao Hong serves as the Ernest S. Liu Professor of Economics and International Studies in the Department of Economics at Cornell University. He holds dual appointments as Professor of Statistics and field member in both the Department of Statistical Sciences and Center for Applied Mathematics. Professor Hong's research spans model specification testing, nonlinear time series analysis, financial econometrics, and empirical studies of Chinese economic systems. His methodological innovations include generalized spectral analysis for capturing nonlinear dependencies, semiparametric specification tests using orthogonal series/kernel methods, and autoregressive conditional interval (ACI) models for interval-valued time series data. His work demonstrates how interval data (e.g., daily stock price ranges) provides superior econometric estimation compared to point-valued observations. His publication record reveals consistent contributions to top-tier journals including Econometrica , Annals of Statistics , and Review of Financial Studies . Key trends show evolutionary progression from foundational specification testing (1990s) to sophisticated nonlinear time series tools (2000s), with recent focus on interval-valued modeling and multivariate conditional distribution validation. His research consistently bridges theoretical econometrics with financial market applications. Professor Hong advises doctoral students in economics and statistics, though specific advisee names aren't publicly listed. His research has been supported by grants enabling extensive empirical work on Chinese financial markets and continuous-time model validation. He previously served as President of the Chinese Economists Society in North America (2009-2010). His laboratory work centers on time series methodology development, particularly spectral analysis extensions and interval data modeling. Current projects involve refining ACI models for crude oil price forecasting and developing wavelet-based covariance matrix estimators robust to heteroskedasticity.

Lindsey Kuperمشاهده پروفایل

استادیار

• programming languages
• distributed computing
• concurrency
• +۶ مورد دیگر

Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. She received her Ph.D. from Indiana University in 2015 and leads the CASL (Concurrency and Safety Lab) research group, which is part of the larger Languages, Systems, and Data (LSD) Lab. Her research focuses on programming-language-based approaches to building concurrent and distributed software systems that are elegant, correct, and efficient. Key research areas include: Library-level choreographic programming (in Haskell, Rust, and TypeScript) Dependently-typed diagrams for inductive reasoning about concurrent executions Expressing and verifying causal message delivery with refinement types Lindsey's research has been recognized with an NSF CAREER Award, a Stellar Development Foundation Academic Research Grant, a Google Faculty Research Award, and support from Amazon Web Services. Her work on "HasChor: functional choreographic programming for all" received the ICFP 2023 Distinguished Paper Award. She teaches courses in programming languages and distributed systems at UC Santa Cruz, including Foundations of Programming Languages and graduate/undergraduate Distributed Systems. Her undergraduate distributed systems lectures from 2020-2021 have been viewed over 200,000 times on YouTube. Lindsey co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing, and serves on the board of the Exclamation Foundation. She has chaired numerous workshops and served on program committees for major programming languages conferences including PLDI, POPL, ICFP, and OOPSLA. Her current PhD students include Jonathan Castello, Tim Goodwin, Nathan Liittschwager, Patrick Redmond, Gan Shen, and Yan Tong. Recent graduates include Shun Kashiwa (MS, 2024) and Ali Ali (BS, 2024).