Find Academic Supervisors

• Database Systems
• Query Optimization
• NoSQL Databases
• +6 more

Michael Mior is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), where he leads the Data Unity Lab. He holds a PhD from the David R. Cheriton School of Computer Science at the University of Waterloo. His research focuses on database systems, query optimization, NoSQL databases, and performance improvements through code migration to server-side execution. He is particularly interested in automating the translation of application code to run directly on database servers, reducing latency and improving efficiency. His work on Locomotor, published at DBPL '17, explores transparent migration of Python code accessing Redis into Lua scripts for server-side execution. Additional projects include NoSE (automated schema design for NoSQL), NetStore (SDN for key-value stores), and FlurryDB (dynamically scalable relational database using VM cloning). He is also the PMC chair for Apache Calcite, a modular framework for query processing. His research trends emphasize automation, performance, and integration between application logic and database systems, particularly in distributed and heterogeneous environments. Affiliation: Rochester Institute of Technology, Golisano College of Computing and Information Sciences Research Lab: Data Unity Lab Open Source Leadership: Project Management Committee Chair, Apache Calcite

Massimo La MorgiaView profile

Assistant Professor

• Computer Systems Security
• Cybersecurity
• Blockchain Technology
• +5 more

Massimo La Morgia is an Assistant Professor at the Department of Computer Science, Sapienza University of Rome. He holds a Laurea Degree (summa cum laude) and a Ph.D. in Computer Science from Sapienza University. His research focuses on cybersecurity, blockchain ecosystems, social media analysis, and IoT systems. He has received awards including the 2017 Initio alla Ricerca and 2021 Invio alla Ricerca from Sapienza. His work bridges academia and industry through technology transfer projects in mobile technology, proximity payments, and machine learning applications. Key research areas include cryptocurrency market manipulation (e.g., pump-and-dump schemes), Telegram channel analysis (fake/clone detection), and defensive mechanisms against intellectual property theft. He has developed large-scale datasets like TGDataset for social network studies and pioneered studies on DeFi sniper bots and conspiracy channel economics. His publications span ACM Transactions, IEEE journals, and top conferences like USENIX Security and ACM SIGKDD. Beyond research, he advises on tunnel boring machine risk prediction tools and has pioneered web applications for structural engineering analysis.

• Abstract Interpretation
• Program Analysis
• Program Verification
• +5 more

Roberto Bagnara is a Full Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Parma, Italy. He has been a faculty member since 1997, progressing from Assistant Professor to Associate Professor and finally to Full Professor in November 2010. In addition to his academic position, he serves as Chief Scientist, CTO, and President of BUGSENG srl, a university spin-off focused on software verification and validation technologies. Professor Bagnara received his laurea degree (magna cum laude) in Computer Science from the University of Pisa in July 1992, followed by a Ph.D. in Computer Science from the same university in September 1997. Prior to his doctoral studies, he worked at CERN in Geneva with Tim Berners-Lee, the inventor of the World Wide Web, and at the University of Bologna's Physics Department developing software for data acquisition and analysis. His research spans abstract interpretation, program analysis and verification, and semantics-based program manipulation techniques . Professor Bagnara has made significant contributions to the fields of static program analysis, with particular focus on convex polyhedra manipulation, constraint logic programming, and formal verification of safety-critical software. His work bridges theoretical foundations with practical applications, resulting in several influential software projects including the Parma Polyhedra Library (PPL), CHINA, PURRS, and ECLAIR. The PPL is particularly notable as it's used in the GNU Compiler Collection (GCC), the most widely used compiler suite worldwide. Professor Bagnara's recent publications reveal a strong focus on safe and secure programming, particularly in C language ecosystems. His work on C-rusted, MISRA compliance, and floating-point verification demonstrates his commitment to practical solutions for real-world software verification challenges. His research increasingly integrates formal methods with industry needs, especially for safety-critical embedded systems. Professor Bagnara has supervised numerous thesis students and has been involved in multiple national and international research projects, including ESPRIT, COFIN, and PRIN projects. He has served on program committees for major conferences such as SAS, VMCAI, and ICLP, and has organized workshops and summer schools in his field. He leads the Applied Formal Methods Laboratory at the University of Parma, which focuses on developing theoretical foundations and practical tools for software analysis and verification. The laboratory's work has significant industrial impact, particularly through the ECLAIR project, which aims to create an industrial-strength platform for analysis, verification and transformation of imperative languages.

• Green Software Engineering
• AI Energy Efficiency
• Federated Learning
• +3 more

Dr. Ana Oprescu is a Visiting Professor at the Informatics Institute of the University of Amsterdam. Her research focuses on the intersection of software engineering, AI, energy efficiency, and data privacy, with particular emphasis on sustainable computing practices. University of Amsterdam, Faculty of Science Key Research Areas: Green software engineering for AI systems, energy-efficient code generation using Large Language Models, privacy-preserving machine learning techniques, and sustainable data processing methods. She actively explores trade-offs between energy consumption, data privacy, and algorithmic accuracy. Her recent publications demonstrate a strong focus on environmentally sustainable computing, with articles covering quantisation effects on AI energy consumption, k-anonymisation impacts on machine learning, and dynamic federated learning approaches. She has also contributed to educational initiatives in green software practices. Scientific Recognition: Recipient of VENI-2014 research grant Dr. Oprescu works at the intersection of software optimization, security, and sustainability, with a particular interest in microservice architectures, model-based testing, and energy-aware system design. She has published extensively on topics like energy-driven software engineering, code clone refactoring, and distributed tracing.

Iliya M LefterovView profile

Research Professor

• Molecular Biology
• Genetics
• Neuroscience
• +5 more

Iliya M Lefterov is a Research Professor in the Department of Environmental and Occupational Health at the University of Pittsburgh. He holds dual degrees: MD in General Medicine from the Medical Academy, Sofia, Bulgaria, and PhD in Molecular Biology & Genetics from the Medical Academy & Bulgarian Academy of Sciences. His research spans molecular techniques for prenatal diagnosis, positional cloning, and Medical Genetics education, with a primary focus on Alzheimer's disease mechanisms. Education : MD (Medical Academy, Sofia), PhD (Molecular Biology & Genetics, Sofia) His work investigates the interplay between APOE isoforms, TREM2, and microglial activation in Alzheimer's disease. Key areas include lipidomics, transcriptomics, and neuroinflammation. He has developed courses in Medical Genetics and contributed to understanding how nuclear receptors like LXR and RXR influence neurodegenerative processes. Recent publications highlight his expertise in gene-environment interactions, particularly analyzing how high-fat diets and traumatic brain injuries modulate Alzheimer's pathology in transgenic mouse models. His team employs advanced techniques such as RNA sequencing and gene co-expression networks to identify therapeutic targets. Scientific Awards : Fogarty International Foundation Research Grant He collaborates extensively with researchers like Radosveta Koldamova and Nicholas F. Fitz on grants related to neurodegeneration. His lab's findings on ABCA1 deficiency and RXR-controlled networks have advanced understanding of cognitive deficits and neuroprotective strategies.

Jan KofroňView profile

Associate Professor

• Program Verification
• Static Analysis
• Software Reliability
• +4 more

Jan Kofroň is an Associate Professor in the Department of Distributed and Dependable Systems at the Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. His research focuses on program verification, static analysis, and software reliability. His educational background includes a Ph.D., as indicated by his title. He maintains an active research profile with numerous recent publications in top venues. Professor Kofroň's research interests span several key areas in software engineering and formal methods. He specializes in interpolation-based code model checking, static analysis of programs, system behavior models and verification, and programming language semantics. His work bridges theoretical foundations with practical applications in software development. His recent publications demonstrate strong focus on verification techniques for complex software systems, particularly in the areas of Horn clause solving, program comprehension using computational notebooks, and uncertainty-aware self-adaptive cyber-physical systems. His research shows consistent contributions to both theoretical foundations and practical applications of program analysis. Professor Kofroň actively leads and participates in multiple research projects including the current AIDE project (Advanced Analysis and Verification for Advanced Software) and past projects such as SNAPPY, ROBUST, Weverca, Q-ImPrESS, SOFA 2, and ASCENS. He teaches courses related to Java programming, Python programming, program semantics, and mobile devices programming. He maintains an open-door policy for student consultations, requesting students email him to arrange meetings rather than maintaining fixed office hours. His department maintains active GitHub presence, contributing to open-source projects related to software verification and analysis tools.

Stewart ShumanView profile

Professor

• Biochemistry
• Structural Biology
• Molecular Biology
• +5 more

Stewart Shuman, MD, PhD, is a Professor at Weill Cornell Medicine's Graduate School of Medical Sciences, affiliated with the Molecular Biology Program and Department of Medicine. His lab at Sloan Kettering Institute investigates nucleic acid transaction enzymes, integrating biochemistry, structural biology, and genetics to study RNA repair, DNA ligases, and the RNA polymerase II CTD code. BA in Biology (1976, Wesleyan University) PhD in Molecular Biology (1983, Albert Einstein College of Medicine) MD (1981, Albert Einstein College of Medicine) Residency in Internal Medicine (1986, Mass General Hospital) Research spans five areas: topoisomerase mechanisms (e.g., TOPO-cloning), mRNA capping enzymes (revealing antiviral targets), DNA ligase structure (NHEJ pathways in mycobacteria), RNA repair pathways (RtcB ligases), and CTD code decoding (phosphorylation-driven transcription regulation). His work has identified novel drug targets in fungal tRNA splicing systems. Key awards include the NIH MERIT Award (2007), American Cancer Society Research Professorship (2005–), and the Simon H. Rifkind Chair (1999–). The lab has mentored 38 graduate students since 1988, with alumni in academic and pharmaceutical leadership roles. 2015: American Academy of Arts and Sciences 2013: American Academy of Microbiology Fellow 2007: NIH MERIT Award His interdisciplinary approach bridges virology, enzymology, and microbial pathogenesis, with publications spanning RNA ligase mechanisms, DNA repair kinetics, and structural analyses of catalytic intermediates.

Yueh-Lung WuView profile

Professor

• Insect Pathology
• Insect Biotechnology
• RNA Interference (RNAi)
• +1 more

Professor Yueh-Lung Wu is a leading academic at the Department of Entomology, National Taiwan University. His research focuses on Insect Pathology, Insect Biotechnology, and RNA Interference (RNAi). He heads the Insect Pathology Laboratory, where his team investigates innovative pest control methods and bee health protection strategies. Ph.D. in Biotechnology, National Cheng Kung University (2008) M.S. in Life Science, National Central University (2001) B.S. in Forestry and Nature Conservation, Chinese Culture University (1999) His work explores miRNA applications in pest control, demonstrating how miRNAs can regulate viral infection cycles and enhance pest susceptibility to RNAi-based interventions. Additionally, his lab investigates histone deacetylase inhibitors (HDACi) to protect honeybees from pathogen-induced immune and neurological damage, showing that HDACi treatment increases gene expression related to immunity and memory, potentially benefiting the beekeeping industry. Recent publications highlight his expertise in RNAi efficiency for pest management, baculovirus engineering, and honeybee health. Collaborative studies with institutions like the University of Georgia and Academia Sinica underscore his interdisciplinary approach. Grants such as NSTC 111-2313-b-002-038-my3 and NSTC 110-2313-b-002-005 support his research. Professor Wu's lab, the Insect Pathology Laboratory, specializes in molecular mechanisms of host-parasite interactions, viral gene function, and epigenetic regulation in insect systems. His contributions extend to editorial roles in journals like Communications Biology and Scientific Reports .

John-Paul OreView profile

Assistant Professor

• Robot Software Reliability & Testing
• Program Analysis for Cyber-Physical Systems
• Flying Robots for Environmental Monitoring
• +6 more

John-Paul Ore is an Assistant Professor in the Department of Computer Science at North Carolina State University's College of Engineering. His research bridges software engineering and field robotics, with a focus on program analysis, system testing, and high-resolution physical simulators for robotics systems, particularly those built with the Robot Operating System (ROS). He develops software engineering methods that improve the dependability of robotics systems through techniques for dimensional analysis without developer annotations, open-source tools like PHYS, and public datasets documenting dimensional inconsistencies in real-world systems. His educational background includes a Ph.D. from the University of Nebraska-Lincoln (2019) and a B.A. in Philosophy from the University of Chicago. His interdisciplinary background informs his approach to combining software engineering with robotics to address challenges in reasoning about full-system behavior across multiple layers of abstraction. Ore's research interests center on applying program analysis techniques to software that controls robots and interacts with the physical world. His work includes abstract type inference of physical unit types (like 'meters-per-second'), probabilistic techniques for combining semantic information in identifiers with code flow inference, and empirical measurements of how developers make decisions about robotic software. He focuses on program analysis and software testing that enhances system safety and reliability while remaining practical and economically efficient. His research has significant applications in environmental monitoring, addressing climate challenges, food production, and liberating people from dangerous, dirty, and dull work. His publication record shows a clear trajectory from foundational work on dimensional analysis in robotics software to increasingly complex applications in environmental monitoring and autonomous systems. The most recent publications demonstrate expansion into Large Language Models for code analysis while maintaining focus on practical robotics applications. His research consistently addresses the critical gap between theoretical program analysis and practical robotics system development. Best Tool Demonstration Award, ISSTA'17 for Phriky-Units ACM SIGSOFT Travel Award ($300) Othmer Fellowship 2014-2018 ($8K/year) UNL CSE Outstanding Master's Thesis Award 2015 RSS 2013 Travel Grant ($500) Ore actively mentors students, having served as research mentor for undergraduates Becca Horzewski (2016-17) and Lambros Karkazis (2018). His research is supported by significant grants including FARM BILL: NRI: INT ($1,018,596 from NSF), SHF: SMALL ($499,994 from NSF), and North Carolina Space Grant ($5,000 from NASA). He is currently recruiting PhD students for his lab focused on robotics and software engineering. His laboratory work combines robotics, software engineering, and environmental monitoring, with projects including autonomous aerial water sampling systems, UAV-based environmental sensing, and tools for improving robotics software reliability. His team develops both theoretical approaches and practical implementations, often creating open-source tools that bridge the gap between academic research and industry applications.

• Developmental Biology
• Reproductive Medicine
• Stem Cell Research
• +3 more

Shichao Liu serves as an Adjunct Professor in the Surgery Department with Urology Division specialization, though his research focuses predominantly on fundamental developmental biology using porcine models. Holding both PhD and BS degrees from Northeast Agricultural University, his academic career bridges veterinary science and embryology despite the clinical departmental affiliation. PhD in Veterinary Science, Northeast Agricultural University BS in Veterinary Science, Northeast Agricultural University Dr. Liu's research centers on mammalian embryogenesis , particularly porcine early development and stem cell pluripotency . His work investigates transcription factor networks (CDX2/OCT4/SOX2), epigenetic regulation through non-coding RNAs, and species-specific trophectoderm lineage specification. Key methodologies include transcriptome analysis, gene manipulation in embryos, and cloning technologies, with significant contributions to understanding non-rodent embryonic models. Analysis of his 15 most recent publications (2014-2021) reveals three dominant research trajectories: (1) Transcriptional regulation of embryonic lineage commitment, (2) Epigenetic mechanisms in intergenerational inheritance via small RNAs, and (3) Technical optimization of porcine embryo culture and cloning. These studies consistently employ pig models to address fundamental questions in developmental biology that have implications for both agricultural biotechnology and comparative embryology.

Kelly SheppardView profile

Professor

• Biochemistry
• Molecular Biology
• Microbiology
• +5 more

Kelly Sheppard is a Professor in the Department of Chemistry at Skidmore College and an affiliated faculty member of the RNA Institute at SUNY-Albany . She has been at Skidmore since 2010. Education: A.B. in Biochemistry, Occidental College (1999) Ph.D. in Molecular Biophysics & Biochemistry, Yale University (2007) Postdoctoral Associate, Yale University (2007–2010) Her research focuses on understanding the biochemical pathways organisms use to translate the genetic code, particularly for asparagine (Asn) and glutamine (Gln) via tRNA-dependent amidotransferases like GatCAB and GatDE. This work intersects biochemistry , molecular genetics , and molecular evolution , with applications in antibiotic development and synthetic biology to expand the genetic code for disease studies. Recent publications highlight her research on dual biosynthetic pathways in bacteria such as Bacillus subtilis , Bacillus anthracis , and Staphylococcus aureus , exploring how these organisms maintain fidelity in protein synthesis under stress. Her group also investigates structure-function relationships in aminoacyl-tRNA synthetases and their role in genetic code evolution . Grants: National Science Foundation Research Corporation Sheppard’s lab provides students with hands-on training in molecular cloning , protein purification , enzyme kinetics , and more. Her lab has moved to the Billie Tisch Center for Integrated Sciences , continuing collaborations with the RNA Institute.

• Prostate Cancer
• Bladder Cancer
• Renal Cell Carcinoma
• +7 more

Dr. Shu-Yuan Yeh is a Professor in the Department of Urology at the University of Rochester School of Medicine and Dentistry. With over 78 peer-reviewed publications and 17 review articles, her research has significantly advanced our understanding of hormone receptor signaling in urological diseases. Her laboratory has pioneered innovative approaches using genetically engineered mouse models to study androgen and estrogen receptor functions. Dr. Yeh's educational background includes a PhD in Endocrinology/Molecular Oncology from the University of Wisconsin-Madison (1996), an MS in Biochemical Science from National Taiwan University (1991), and a BS in Medical Biotechnology/Immunology from National Taiwan University (1988). Her research program has been consistently funded by prestigious organizations including the National Cancer Institute and the Department of Defense. Her primary research focuses on the roles of estrogen receptor (ER) and androgen receptor (AR) in urological diseases, particularly prostate cancer, bladder cancer, benign prostatic hyperplasia (BPH), and male fertility. Dr. Yeh was the first scientist to clone AR-associated protein in 1996 and to create AR knockout (ARKO) mice using the cre-loxP strategy in 2002. Her lab has established genetically engineered ERalpha knockout (ERaKO) mice and identified new ER binding proteins and target genes involved in disease progression. Analysis of her recent publications reveals a strong emphasis on cancer stem cells, non-coding RNA regulation, and the tumor microenvironment's role in urological cancers. Her work demonstrates how hormone receptors interact with various signaling pathways to influence cancer progression, treatment resistance, and metastasis. She has made significant contributions to understanding how AR and ER signaling differs across tissue types and how this knowledge can be leveraged for therapeutic development. Dr. Yeh's scientific achievements have been recognized with numerous awards including multiple AUA Best Poster awards (2019, 2007), SBUR Best Poster award (2012), Outstanding Young Investigator Award (2001), NIH Postdoctoral Fellowship (1999), and multiple CaPCURE Research Awards (1995-1996). Her research has led to important patents, including the creation of female mice without androgen receptor, and has resulted in multiple book chapters on androgen and estrogen receptor functions in prostate development and cancer. Dr. Yeh continues to advance the field with innovative approaches to targeting hormone receptor signaling pathways for improved cancer treatment.

William Edward HahnView profile

Associate Professor

• Compressed Sensing
• Sparse Modeling
• Deep Learning
• +3 more

William Edward Hahn is an Associate Professor in the Department of Mathematics and Statistics at Florida Atlantic University (FAU), where he co-directs the Machine Perception and Cognitive Robotics Laboratory (MPCR) and the FAU AI Sandbox. His research bridges mathematical theory with practical AI applications across diverse domains including finance, healthcare, and robotics. Dr. Hahn's academic foundation: Ph.D. in Complex Systems, Florida Atlantic University (2016) B.S. in Physics and Mathematics, Guilford College (2008) His core research integrates: Compressed Sensing & Sparse Modeling : Developing efficient signal reconstruction algorithms with applications in medical imaging and data analysis. Deep Learning & Machine Learning : Creating neural network architectures for financial forecasting, drug discovery, and autonomous systems. Computer Vision & Computational Neuroscience : Modeling human perception through gait analysis and biomimetic systems. Analysis of his 2018-2022 publications reveals a strategic evolution from theoretical sparse coding to applied deep learning. Key trends include bio-inspired modular architectures for general learning, transformer networks for molecular binding prediction, and GANs for robotic telesurgery. His work consistently addresses real-world challenges in substance abuse monitoring, financial markets, and medical robotics through interdisciplinary approaches. As co-director of the MPCR Lab and FAU AI Sandbox, Dr. Hahn leads initiatives that merge cognitive science with machine perception, providing critical infrastructure for AI experimentation and education while advancing the frontiers of human-robot interaction and computational neuroscience.

Phillip Penix-TadsenView profile

Associate Professor

• Latin American Cultural Studies
• Game Studies
• Digital Media
• +3 more

Phillip Penix-Tadsen is an Associate Professor of Spanish and Latin American Studies at the University of Delaware's College of Arts & Sciences, Department of Languages, Literatures and Cultures. He co-founded the university's Game Studies and eSports program, blending his expertise in Latin American cultural studies with digital media analysis. Penix-Tadsen holds a Ph.D. from Columbia University, an M.A. from the University of Pennsylvania, and a B.A. from Ohio Wesleyan University. His research explores intersections between politics, economics, digital media, and visual culture in Latin America and the Global South. He authored Cultural Code: Video Games and Latin America (MIT Press, 2016) and edited Video Games and the Global South (ETC Press, 2019), pioneering cultural ludology to analyze video games as both cultural artifacts and mediums of expression. He regularly teaches courses on Latin American cultural studies and game studies, including 'Video Games and Latin American Culture.' His work has been featured in journals like Latin American Research Review and Feminist Media Histories , and he co-organizes academic panels on game studies at venues such as the Digital Games Research Association and Latin American Studies Association. Penix-Tadsen also translates scholarly works on Latin American art and culture for institutions like BOMB Magazine and the Americas Society. His recent publications (2020–2024) focus on video game piracy's historical impact, regional console development, and Latin American gaming demographics, reflecting his commitment to expanding interdisciplinary research at the intersection of culture and digital media. Education: Ph.D., Spanish, Columbia University M.A., Hispanic Studies, University of Pennsylvania B.A., Spanish and Women’s Studies, Ohio Wesleyan University Research Interests: His work combines Latin American cultural studies with game studies to examine how digital media shapes and reflects cultural narratives. Key themes include: Cultural Ludology: Analyzing games as cultural artifacts Regional Game Development: Latin America's contributions to global gaming Video Game Piracy: Historical and economic impacts Global South Perspectives: Recontextualizing media studies Gender and Gaming: Exploring representation and participation Academic Contributions: Penix-Tadsen's articles (2013–2024) consistently bridge cultural analysis with digital media, emphasizing Latin America's unique role in global gaming discourse. His work on clone consoles and piracy highlights overlooked technological histories, while recent studies on player demographics reveal regional gaming trends. He collaborates internationally, lecturing at institutions in Peru, Mexico, and across the U.S. His co-founded Game Studies program reflects his vision of integrating gaming into academic curricula.

• Cancer Cell Biology
• Neurodegeneration
• Zebrafish Models
• +6 more

Dr. Brett Stringer is a Research Fellow at the School of Environment and Science - Bioscience, Griffith University, affiliated with the Institute for Biomedicine and Glycomics. His research focuses on cancer cell biology, neurodegeneration, and glioblastoma treatment, leveraging zebrafish models and advanced imaging techniques like MRI. He explores RNA biology, particularly circular RNAs, and their roles in oncogenesis and neurological disorders. Recent work includes developing nanoparticle-based glioblastoma diagnostics, optimizing drug combinations for cancer therapy, and characterizing novel therapeutic targets. Dr. Stringer collaborates on interdisciplinary projects addressing glioblastoma plasticity, drug resistance mechanisms, and childhood cancer cell line atlases. He currently supervises five doctoral students investigating neurodegenerative models, neurexin biology, and zebrafish-based ALS/MND research. His work aligns with the UN Sustainable Development Goal 3 (Good Health and Well-Being), emphasizing translational applications for clinical impact. Key research themes include tumor heterogeneity, cell signaling pathways (e.g., STAT3, ATR), and the interplay between the tumor microenvironment and treatment efficacy. His publications span high-impact journals in oncology, neuroscience, and molecular biology, reflecting contributions to both fundamental and applied biomedical research.