Polymorphic Types Professors and Supervisors | ApplySharif

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 1-15 of 600 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Cemal UlutaşView profile

Professor

Hakkari UniversityTurkey

Prof. Dr. Cemal Ulutaş is a faculty member at Hakkari University , affiliated with the Faculty of Education in the Department of Mathematics and Science Education . He also holds administrative and advisory roles across multiple institutions: Dean of the Faculty of Education Board Member at Faculty of Engineering and Faculty of Fine Arts Coordinator at Education and Training Coordination Office Chairman of the Academic Evaluation and Quality Improvement Board Advisory Board Member at Career Development Application and Research Center His research focuses on materials science with an emphasis on thin film technology , particularly metal sulfides and oxides . He investigates structural, electrical, optical, and physical properties of films like γ-MnS, CuS, SnS, and Mn 3 O 4 , using methods such as chemical bath deposition and post-deposition annealing . Current projects examine the impact of variables like molar concentration, bath temperature, and substrate choice on thin film behavior. Recent publications (2010–2023) highlight systematic studies on metal chalcogenide thin films , including concentration gradients, substrate interactions, and thermal stability. Experimental techniques span X-ray diffraction , UV-Vis spectroscopy , and electrical resistivity measurements . Notably, his work bridges fundamental material science with applied engineering challenges, such as optimizing evaporative cooling systems in a 2010 study. As a thesis advisor, he has guided 2 graduate students . His academic contributions are documented in Google Scholar (10 citations, H-Index 620), Scopus (24 publications, H-Index 480), and Web of Science (15 citations, H-Index 9).

Official University Profile

Adrian LinacreView profile

Professor

Flinders UniversityAustralia

Adrian Linacre is a Professor and Chair in Forensic DNA Technology at Flinders University, within the College of Science and Engineering, Department of Biological Sciences. He is a leading figure in forensic science, with a focus on DNA analysis, wildlife forensics, and crime scene investigation. BSc in Biological Sciences (Hons), University of Edinburgh, 1984 DPhil in Molecular Genetics, University of Sussex, 1988 His research centers on getting more from less at crime scenes , particularly through developing highly sensitive DNA typing methods and studying the transfer and persistence of biological materials. He also pioneers the use of non-human DNA in forensic investigations, notably in wildlife forensic science , aiding in species identification and combating illegal wildlife trade. His recent publications reflect a strong trend in trace DNA analysis , body fluid identification , and DNA transfer dynamics , with applications in drug cases, sexual assault investigations, and environmental DNA degradation. His work increasingly integrates molecular techniques with real-world forensic challenges. Notable scientific awards include: Medal of the Order of Australia (OAM), 2020 Inspirational Scientist of the Year, Royal Society of Edinburgh, 2005 Fellow of the Royal Society for the Encouragement of Arts and Commerce (FRSA) Finalist, South Australian Science Excellence and Innovation Awards (2023, 2024) He has successfully supervised several students, including Piyamas Kanokwongnuwut and Alicia Haines, many of whom have won international recognition. He has secured significant research funding and contributed to national and international forensic policy, including a key review for the UK Home Office on low-template DNA. His professional leadership includes presidencies of the ANZFSS and ISFG, and vice presidency of the IAFS. Linacre is actively involved in editorial roles, serving as Associate Editor for Forensic Science International: Genetics and on the boards of Forensic Science, Medicine and Pathology and the Australian Journal of Forensic Science . He is a sought-after expert witness and media commentator in forensic science.

Official University Profile

Jacques ArchambaultView profile

Professor

McGill UniversityCanada

Dr. Jacques Archambault is a Professor in the Department of Microbiology and Immunology at McGill University , and an associate member of the Division of Experimental Medicine since 2016. His research focuses on the molecular biology and pathogenesis of human papillomaviruses (HPVs) and polyomaviruses (HPyVs), with an emphasis on their replication mechanisms as episomes in host cells. The Archambault laboratory employs functional genomics, proteomics, and chemical biology approaches to identify cellular pathways exploited by these viruses and develop high-throughput assays for screening small molecule inhibitors of viral replication. Analysis of his recent publications reveals a strong focus on HPV and HPyV replication machinery, including studies on the E1 helicase, UAF1-USP1 interactions, and structural characterization of viral proteins involved in DNA replication. His work bridges virology, oncology, and drug discovery, particularly targeting oncogenic HPV types implicated in anogenital and oropharyngeal cancers, as well as HPyVs like BKPyV and JCPyV that cause pathologies in immunosuppressed patients. Current efforts in the lab aim to elucidate the molecular mechanisms by which HPVs and HPyVs replicate their genomes and to develop antiviral therapies targeting these processes. Techniques such as fluorescence anisotropy, NMR spectroscopy, and crystallography are frequently employed to study protein-DNA and protein-protein interactions critical to viral replication.

Official University Profile

Yang LuoView profile

Research Fellow

University of OxfordUnited Kingdom

Yang Luo is a Kennedy Trust Senior Research Fellow in Data Science at the University of Oxford's Kennedy Institute of Rheumatology. His research bridges statistical genomics and computational immunology to unravel genetic contributions to immune-mediated traits, with a focus on the major histocompatibility complex (MHC) region. His work leverages large biobank datasets (UK Biobank, Biobank Japan), gene expression resources (GTEx), and proteomic data to decode molecular mechanisms linking genetic variation to disease risk. Specific interests include tuberculosis genetics, multi-ancestry polygenic risk scores, and single-cell eQTL modeling. Recent publications highlight expertise in HLA association studies, evolutionary immunogenetics, and disease-specific cell state dynamics. Key contributions include constructing a global HLA haplotype panel and developing novel statistical methods for admixed population genetics. Scientific Awards: Kennedy Trust Senior Research Fellow in Data Science His lab integrates computational and experimental approaches to translate genetic findings into clinical applications for immune disorders.

Official University Profile

Gang (Gary) TanView profile

Professor

InriaFrance

Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives

Official University Profile

Judy HartView profile

Associate Professor

University of New South WalesAustralia

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 .

Official University Profile

Richard Y. ZhaoView profile

Professor

University of Maryland, BaltimoreUnited States

Dr. Richard Y. Zhao is a tenured Professor in the Department of Pathology and Microbiology-Immunology at the University of Maryland School of Medicine. His research combines molecular biology, fission yeast genetics, mammalian biology, and virology to study virus-host interactions, particularly for HIV and Zika virus. He previously held academic positions at Northwestern University and Columbia University and has contributed to over 120 peer-reviewed articles. B.S., China Oceanography University (1981) M.S., Oregon State University (1995) Ph.D., Oregon State University (1991) Postdoctoral Training, Columbia University (1991-1992) Dr. Zhao's research focuses on: Virus-host interactions and pathogenicity High-throughput drug screening for antivirals Role of viral proteins in neuroinflammation and cancer Translational genomics in precision medicine His recent publications highlight SARS-CoV-2 ORF3a, Zika envelope proteins, and HIV protease inhibitors, emphasizing host-pathogen mechanisms across species. He has served on NIH panels and editorial boards for journals like Cell Research and Retrovirology . Scientific awards include: Fellow, American Academy of Microbiology (2019) Bernard L Mirkin Endowed Chair (2001-2004) Honorary Director, Shandong Gallo Institute (2009) Distinguished Service from SCBA (2015) Outstanding Service from CBA-USA (2016) Dr. Zhao also contributes to clinical diagnostics and personalized medicine through molecular testing and pharmacogenetics programs.

Official University Profile

Neelakantan R. KrishnaswamiView profile

Professor

University of CambridgeUnited Kingdom

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.

Official University Profile

Florian KronenbergView profile

Professor

Graz University of TechnologyAustria

Florian Kronenberg is a Full Professor and Head of the Institute of Genetic Epidemiology at the Medical University of Innsbruck, Austria. He has held leadership roles since 2004 and previously directed the Department of Medical Genetics, Molecular and Clinical Pharmacology (2008–2017). His research focuses on genetic and clinical epidemiological studies, particularly on lipoprotein(a) as a major genetic risk factor for cardiovascular disease. He leads a team with the largest sample collection (40,000+ individuals) for LPA gene characterization and serves as Co-Editor of Atherosclerosis , contributing to international guidelines (K/DOQI, KDIGO, EAS). MD from University of Innsbruck Training in Medical Genetics at Gerd Utermann's lab Postdoctoral work at University of Utah His work spans over 500 publications (400+ original papers, 100+ reviews) with an H-index of 107 (Google Scholar) and 47,408+ citations. Key research areas include lipoprotein metabolism, genetic epidemiology, and the interplay of complex diseases like atherosclerosis, kidney disease, and diabetes mellitus. Recent publications emphasize Mendelian randomization, cardiovascular risk stratification, and molecular genetics of LPA variants. Scientific Awards & Honors Lifetime Achievement Award (Dr. Johannes und Hertha Tuba-Stiftung, 2021) APART Fellowship (Austrian Academy of Sciences, 1997–2000) Knoll William Harvey Prize (1999) Research awards from Austrian Stroke Foundation, Diabetes Association, and others

Official University Profile

Steven Neil EvansView profile

Professor

University of California, BerkeleyUnited States

Steven Neil Evans is a Professor in the Departments of Statistics and Mathematics at the University of California, Berkeley, with a joint appointment since 1999. His research spans stochastic processes, probability on algebraic structures, and applications in population biology, phylogenetics, and computational biology. BSc (Hons I & University Medal) in Statistics, University of Sydney (1983) PhD in Mathematics, University of Cambridge (1987) Research Interests: Evans works on random matrices, Lévy processes, measure-valued stochastic processes, coalescent models in biology and chemistry, phylogenetics (including invariants), biodemography, mutation-selection balance, and stochastic models in population genetics. His recent work connects probability theory with computational biology, focusing on metagenomics and transcriptional regulation. He also explores computational algebra in modeling biological systems. Articles Trends: His publications reveal a trajectory from foundational work in stochastic processes and Lévy processes to interdisciplinary applications in phylogenetics, population genetics, and computational biology. Key subfields include mutation-selection models, random tree structures, stochastic differential equations, and algebraic probability. Recent work addresses phylogenetic networks and Frechet mean sets in metric spaces. Scientific Awards: Rollo Davidson Prize (1990) Presidential Young Investigator Award (1991) Alfred P. Sloan Foundation Fellowship (1993) G. de B. Robinson Prize (1997) Miller Research Professor (2002) Fellow, American Mathematical Society (2012) Member, National Academy of Sciences (2016) Advising and Grants: Evans has advised over 30 PhD/Master's students since 1993. He has received continuous NSF grants (1988-2019), NIH funding (2016-2018), and international fellowships. His academic service includes editorial roles at major journals and organizing conferences in probability and mathematical biology.

Official University Profile

Matthieu SozeauView profile

Researcher

Max Planck Institute for Software SystemsGermany

Matthieu Sozeau is a prominent researcher at Inria in the Gallinette team in Nantes, France, and a key contributor and coordinator of the Coq/Rocq proof assistant project. His work bridges theoretical computer science and practical software development, focusing on creating reliable formal verification tools. His research interests span Type Theory, Proof Assistants, Functional Programming, and Unification. He has made significant contributions to the development of Coq (recently renamed to Rocq Prover), particularly through the MetaCoq project which aims to verify Coq's kernel within Coq itself, the Equations plugin for dependent pattern matching, and CertiCoq, a verified compiler from Coq to assembly. His work enables stronger guarantees about formalized mathematics and verified software. Sozeau's publications reveal a consistent focus on foundational aspects of proof assistants. His recent work includes verified type checking ('Coq Coq Correct!'), verified extraction from Coq to OCaml, and sort polymorphism for proof assistants. These contributions advance both theoretical understanding and practical implementation of dependently-typed programming languages. Distinguished paper award for Verified Compilation from Coq to OCaml at PLDI'24 As an academic mentor, Sozeau has supervised PhD students including Théo Winterhalter and Antoine Allioux. He regularly teaches courses on proof assistants, notably at MPRI (Master Parisien de Recherche en Informatique), and actively participates in the academic community through program committees, invited talks, and workshops. His work has significantly influenced both the theoretical foundations and practical applications of interactive theorem proving.

Official University Profile

Vianney PICHEREAUView profile

Professor

University of Southern BrittanyFrance

Dr. Vianney Pichereau is a University Professor at the LEMAR Laboratory (Laboratoire d'Excellence Mer) within the University of Western Brittany. His research focuses on environmental impacts on marine organisms, integrating proteomics, omics approaches, and microbiology to assess ecosystem health. Key projects include studies on Vibrio-bivalve interactions, brown ring disease, and the effects of climate change and pollution on estuarine species. He leads investigations into stress responses in marine organisms such as flounder, scallops, and oysters, using cutting-edge techniques like proteomics and transcriptomics. His work addresses urgent issues like eutrophication, industrial accidents, and ocean acidification, with applications in biomonitoring and aquaculture. Dr. Pichereau collaborates on interdisciplinary projects including CLIMCLAM, IRP CORRIENTE, and VIVALDI, focusing on coastal ecosystem resilience. His lab employs cell culture models to study bivalve pathogens and has pioneered biomarker approaches for chemical risk assessment in heavily polluted environments like the Seine estuary.

Official University Profile

J. Tyler MeffordView profile

Assistant Professor

University of California , Santa Barbara (UCSB)United States

J. Tyler Mefford is an Assistant Professor in the Department of Chemical Engineering at the University of California, Santa Barbara , where he leads the Mefford Group. His research focuses on electrochemical engineering, materials science, and renewable energy technologies. Education : BS in Chemistry from Stanford University (2012), PhD in Chemistry from the University of Texas at Austin (2016). The Mefford Group develops redox-active polymers and inorganic electrode materials for applications in electrochemical energy conversion , storage , and chemical separations . Their work integrates material design , operando spectroscopy , microscopy , and computational modeling to study charge transfer at electrified interfaces. Recent publications highlight advancements in aqueous battery technology , bifunctional electrocatalysis , and mixed-conducting polymer electrodes . The group emphasizes interdisciplinary approaches and diversity in research environments. Scientific Awards : 2020 Best In-situ and Operando Characterization Presentation Award, MRS 2016 Excellence in Renewable & Clean Energy Research Award, UT Energy Institute 2016 Nano Portfolio Presentation Award, University of Texas at Austin

Official University Profile

Gunter HeymannView profile

Associate Professor

University of InnsbruckAustria

Assoc. Prof. Gunter Heymann is an Associate Professor at the Department of General, Inorganic and Theoretical Chemistry, University of Innsbruck, Austria. He leads the Heymann Lab and specializes in high-pressure synthesis, crystallography, and the design of novel inorganic materials. His research focuses on borates, chalcogenides, and luminescent materials, with contributions to understanding structural properties under extreme conditions. Heymann holds a PhD from Ludwig-Maximilians-Universität München (2007) and a Habilitation in Inorganic Chemistry from the University of Innsbruck (2018). He has received notable awards, including the Lupe Award (2009) and Römer Award (2007). His work integrates experimental and theoretical methods to explore materials for optical and electronic applications. Education: PhD in Chemistry (2007), Habilitation in Inorganic Chemistry (2018) Affiliations: Heymann Lab, Institute of General, Inorganic and Theoretical Chemistry Key Research Areas: High-pressure synthesis, crystal engineering, borate chemistry, luminescent materials Recent studies include investigations into new borate polymorphs, red-emitting phosphors, and UV-transparent materials. His publications emphasize structural characterization and functional material design, often leveraging advanced techniques like single-crystal X-ray diffraction and computational modeling.

Official University Profile

Martín Hötzel EscardóView profile

Professor

Max Planck Institute for Software SystemsGermany

Martín Hötzel Escardó is a Professor of Theoretical Computer Science in the School of Computer Science at the University of Birmingham, UK. He has been a faculty member since 2000, following previous academic positions at Imperial College London, the University of Edinburgh, and the University of St Andrews. His research bridges theoretical computer science and pure mathematics, with a strong emphasis on foundational aspects of computation. His educational background includes a BSc and MSc from Universidade Federal do Rio Grande Sul (Brazil) and a PhD from Imperial College London (1997) under Michael B. Smyth. Escardó's research interests center on topology in computation , constructive mathematics , dependent and univalent type theory (including Homotopy Type Theory and Cubical Type Theory), domain theory , locale theory , and exact real-number computation . His work explores deep connections between logic, topology, and programming, often using functional languages like Haskell and Agda to formalize and experiment with theoretical ideas. He is particularly known for his discoveries on exhaustively searchable infinite sets and the topological nature of computability. The trend in his recent publications reflects a sustained focus on univalent foundations, constructive domain and order theory, game semantics with dependent types, and the logical structure of type universes. His work consistently advances the formalization and understanding of higher-type computation and constructive mathematics within modern type theories. He has no listed scientific awards in the provided text, but his influence is evident through his extensive publication record and software developments like TypeTopology. Escardó has advised several students and collaborators, though specific names are not listed. He has been involved in significant research projects, particularly in the formalization of mathematics in type theory and the semantics of programming languages. His work often involves developing Agda libraries to formalize new mathematical results constructively. He leads and contributes to a vibrant research group in theoretical computer science at Birmingham, with a focus on logic, semantics, and type theory. His public research blog, lecture notes, and open-source Agda code (e.g., TypeTopology, HoTT-UF-in-Agda) serve as important resources for the community.

Official University Profile