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

Sanjit A. Seshiaمشاهده پروفایل

استاد

• Formal Methods
• Cyber-Physical Systems
• Computer Security
• +۱۰ مورد دیگر

Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.

Micah Haleمشاهده پروفایل

استاد

• Civil Engineering
• Structural Engineering
• Concrete Materials
• +۵ مورد دیگر

Micah Hale is a Professor and Department Head of Civil Engineering at the University of Arkansas, Fayetteville, and holds the Twenty First Century Endowed Leadership Chair in Civil Engineering. His work focuses on concrete materials, structural performance, and sustainable construction practices. Education: Ph.D., M.S., and B.S. in Civil Engineering from the University of Oklahoma. Dr. Hale’s research explores High-Performance Concrete , Bond Behavior of Prestressing Strands , and Mitigation of Alkali-Silica Reaction (ASR) . He also investigates Thermal Energy Storage applications for solar power systems and sustainable ultra-high-performance concrete (UHPC) development. His publications highlight advancements in concrete durability, prestressed girder analysis, and environmentally conscious material design. Recent studies emphasize calcium oxychloride formation , prestress transfer modeling , and self-consolidating concrete optimization. His scholarly output spans structural mechanics, chemical durability, and material sustainability. Awards: Twenty First Century Endowed Leadership Chair in Civil Engineering As an educator, Dr. Hale teaches Reinforced Concrete Design , Prestressed Concrete Design , and Concrete Materials and Mixture Proportioning . His contributions to engineering ethics education and student engagement further underscore his academic leadership.

Kyle Jamiesonمشاهده پروفایل

استاد

• Wireless Networks
• 5G Technology
• Quantum Computing in Communications
• +۳ مورد دیگر

Dr. Kyle Jamieson is a Professor of Computer Science at Princeton University, leading the Princeton Advanced Wireless Systems (PAWS) lab within the Department of Computer Science. He is also Affiliated Faculty in the Department of Electrical and Computer Engineering. His research focuses on wireless networking systems, 5G architecture, IoT networks, and quantum computing applications in wireless communication. He has pioneered work in reconfigurable intelligent surfaces, MIMO detection algorithms, and metamaterials for millimeter-wave networks. Dr. Jamieson has developed courses such as COS 597S: Recent Advances in Wireless Networks (graduate seminar), COS 463: Wireless Networks , and COS 418: Distributed Systems . His teaching emphasizes interdisciplinary approaches to networking challenges, including physical-layer design, computational structures for wireless processing, and cross-layer optimization. His lab’s research spans smart surfaces for 5G networks, quantum annealing for MIMO processing, and edge computing for live video analytics. Recent work includes deploying reconfigurable metamaterials for enhanced mmWave networks and developing tools like NR-Scope for 5G telemetry. While no awards are listed in the provided text, his contributions to wireless systems have advanced both academic and industrial applications in areas such as network resilience, IoT scalability, and quantum-enabled wireless processing. Dr. Jamieson’s advising focuses on graduate and undergraduate students working in wireless systems, though specific advisee names are not provided. His lab collaborates on projects like Wall-Street for roadside networking and Spider for multi-hop mmWave video analytics. External collaborations include work with Microsoft Research and guest lecturing roles at Berkeley. His research bridges theoretical foundations with practical implementations, often addressing real-world challenges in wireless infrastructure and next-generation communication systems.

Sebastian Steinhorstمشاهده پروفایل

دانشیار

• Embedded Systems
• Internet of Things (IoT)
• Cyber-Physical Systems
• +۵ مورد دیگر

Prof. Dr. Sebastian Steinhorst is an Associate Professor (W3-level with tenure) at the Technical University of Munich (TUM) within the Embedded Systems and Internet of Things group at the TUM School of Computation, Information and Technology . His research focuses on advancing the security, predictability, reliability, and interoperability of smart connected and autonomous systems, particularly for applications in Internet of Things (IoT) , Industry 4.0 , and automotive systems . PhD in Computer Science (2011) from Goethe University Frankfurt Postdoctoral roles at TUMCREATE Singapore (2011-2016) and Aarhus University (2016) Joined TUM in 2016 as Rudolf Moessbauer Tenure Track Professor His research areas include decentralized embedded systems, hardware/software co-design, modeling and verification of cyber-physical systems, security protocols for automotive networks, and time-sensitive networking (TSN) for industrial applications. Recent work explores blockchain-based data sovereignty, zero-knowledge proofs for vehicle authentication, and resilient architectures for autonomous systems. Key scientific contributions include the 2019 ACM TODAES Best Paper Award and pioneering work on CyberSecDome , LeapChain , and Simutack frameworks. He serves on editorial boards and conference committees, including co-organizing the Autonomous Systems Design initiative at DATE. His teaching portfolio spans lectures on System Design for IoT , Software Architecture for Distributed Systems , and IoT Security across multiple semesters. He also leads advanced seminars on embedded systems and IoT.

Daniel Balasubramanianمشاهده پروفایل

دانشیار مدعو

• Cyber-physical Systems
• Cybersecurity
• Software Verification
• +۳ مورد دیگر

Daniel Balasubramanian is an Adjunct Associate Professor of Computer Science and Research Scientist at Vanderbilt University's School of Engineering. His research focuses on cybersecurity, software verification, and cyber-physical systems, with expertise in symbolic execution, code analysis, and formal methods. He contributes to advancing secure systems through frameworks like RAMPART for adversarial defense and Syntheto for formal verification. His work intersects edge computing, hardware security, and autonomous systems resilience. Research Interests: Cybersecurity (including ethical hacking, network defense), formal methods (verification, theorem proving), edge computing (tinyML, cloud integration), and cyber-physical systems (emulation, testbeds). His recent work emphasizes assurance provenance in software documentation and adversarially robust autonomous systems. Publications since 2019 highlight contributions to cybersecurity testbeds, reinforcement learning for penetration resistance, and hardware security against rowhammer attacks. He has explored domain-specific languages (Syntheto), incremental modeling techniques (differential-formula), and cloud-edge service resilience against adversarial perturbations. Labs/Teams: Affiliated with the Institute for Software-Integrated Systems (ISIS), focusing on integrating software with physical systems through model-driven approaches and cybersecurity innovations.

• Machine Learning
• Natural Language Processing
• Artificial Intelligence
• +۴ مورد دیگر

Danqi Chen is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. Their research focuses on advancing large language models (LLMs), with emphasis on model alignment, safety, and long-context reasoning capabilities. Key research areas: LLMs, AI safety, retrieval systems, and model optimization Recent work explores theorem proving, context encoding, and ethical content generation Their 2025 publications highlight innovations in formal verification scaffolding, attention mechanism efficiency, and copyright-aware generation. 2024 studies investigate continual memorization, rule-based chatbot representations, and scientific literature retrieval benchmarks. Current projects demonstrate commitment to improving model robustness, interpretability, and security compliance in multimodal systems.

• Biomaterials
• Tissue Engineering
• Regenerative Medicine
• +۱۲ مورد دیگر

Professor Hala Zreiqat AM is a leading biomedical engineer at The University of Sydney , serving as the Director of the ARC Training Centre for Innovative BioEngineering . A Fellow of all major Australian academies (AAS, ATSE, FAHMS, FRSN), she develops 3D printed bioceramics for bone regeneration while championing diversity through initiatives like the IDEAL Society and BIOTech Futures mentorship program. Her work bridges academia, clinical practice, and industry in musculoskeletal research . Research Focus: Her lab creates synthetic bone scaffolds that mimic natural bone architecture, strength, and porosity, enabling non-rejected bone regeneration via patient-matched implants. Key applications include orthopaedic, dental, and maxillofacial repair , with over $18M in competitive funding and multiple patents. Current projects explore AI-driven scaffold performance prediction and anti-senescence strategies for aging-related bone loss. Scientific Trends: Recent publications highlight 3D printed nanovoxelated ceramics , antisenescence biomaterials , and multifunctional theranostic platforms . Her team integrates machine learning for scaffold design, atom probe tomography for interface analysis, and two-photon imaging for cellular monitoring in 3D environments. 2021-2022 Fulbright Senior Scholar 2018 NSW Premier's Woman of the Year 2019 Eureka Prize for Innovative Use of Technology Fellow of Australian Academy of Science (2021) Over $18M in research funding Teaching & Leadership: She designed core courses like Tissue Engineering and Nanomaterials in Medicine , mentoring 158 students in 2020 alone. As Chair of CAAR (2020-2023), she strengthens Australia-Arab collaborations. Her lab trains early-career researchers , with alumni now in academia and industry.

• Cryptography
• Information Security
• Cryptographic Automation
• +۳ مورد دیگر

Christina L. Garman is an Assistant Professor in the Department of Computer Science at Purdue University, where she joined in Spring 2018. Her research focuses on practical cryptography and cryptographic automation to make secure system development accessible to non-experts through error-resistant design methodologies. Her educational background includes: Bachelor of Science in Computer Science and Engineering from Bucknell University (2011) Bachelor of Arts in Mathematics from Bucknell University (2011) Master of Science in Engineering in Computer Science from Johns Hopkins University (2013) Doctor of Philosophy in Computer Science from Johns Hopkins University (2017) Professor Garman's work centers on real-world cryptographic system security, spanning protocol analysis (e.g., RC4 in TLS, Apple iMessage flaws), decentralized anonymous systems (Zerocash/ZCash), and cryptographic automation. She pioneered techniques for removing human error in cryptographic deployments through automated tools and frameworks. Her research bridges theoretical cryptography with practical implementation challenges in privacy-preserving technologies and secure infrastructure. Analysis of her 2021-2025 publications reveals expanding research horizons: hardware security vulnerabilities (Rowhammer, SGX), privacy network enhancements (Tor onion services), software supply chain security (SBOM tools), and advanced cryptographic protocols (zkSNARKs, MPC). This evolution demonstrates consistent focus on real-world security impact while diversifying into hardware-software cross-layer threats and formal verification methods for cryptographic implementations. Her major scientific recognitions include: NSF CAREER Award (2021) for cryptographic automation research ACM CCS Best Paper Award (2016) for iMessage security analysis IEEE Test of Time Award (2024) for foundational Zerocash work Professor Garman co-founded ZCash, a privacy-focused cryptocurrency based on her Zerocash protocol, and her NSF CAREER grant supports cryptographic automation development. Her research has received significant media coverage in The Washington Post, Wired, and The New York Times, highlighting real-world relevance. While specific student advising details aren't public, her active publication record indicates ongoing mentorship of graduate researchers in security and cryptography. Her work maintains strong industry connections through ZCash development and Tor network contributions, with recent projects like keyless CDNs demonstrating practical applications of cryptographic automation. She remains a leading voice in cryptographic research communities through conference participation and collaborative projects addressing evolving security challenges.

• Interactive Media
• Urban Design
• Digital Placemaking
• +۸ مورد دیگر

Dr Luke Hespanhol is a Senior Lecturer in Design and Computation at the University of Sydney's School of Architecture, Design and Planning. He is affiliated with the Sydney Southeast Asia Centre and Sydney Nano Institute, and previously served as a guest researcher at Aarhus University's Department of Aesthetics and Communication. His work focuses on interactive media installations that foster reflection on human-environment relationships, blending urban design, technology, and social engagement. He holds a PhD in interactive media architecture from the University of Sydney's Design Lab, with research exploring user-centred hybrid urban environments. His doctoral work laid the foundation for his current interests in digital placemaking, urban informatics, and smart cities. Research Interests: - Designing technology-infused public spaces - Media architecture as a tool for inclusive urban development - Ethical implications of AI and blockchain in cultural contexts - Temporal and spatial dimensions of urban interaction design - HCI methodologies for multiperspectival cultural heritage interpretation - Antifragile city frameworks integrating citizen participation His recent publications highlight trends in reimagining urban futures through speculative design, ethical AI systems, and autonomous vehicle interaction paradigms. While no specific scientific awards are listed, his work often addresses critical societal issues like decolonization in technology and climate-resilient infrastructure. Grants and Collaborations: - 2025: 'Waste to Resilience: Sanitation Against Stunting and Climate Vulnerability in Informal Coastal Areas' (Sydney Southeast Asia Centre) - 2022: 'The Metaverse as Vehicle for Aboriginal Digital Inclusion, Wellness and Self-Determination' (Facebook Research) Dr Hespanhol is actively involved in the Media Architecture Institute and contributes to cross-disciplinary initiatives uniting technology, art, and urban planning. His research emphasizes co-creation processes with communities to ensure equitable technological integration in urban systems.

• Cardiovascular Disease
• Coronary Microvascular Dysfunction
• Invasive Coronary Function Testing
• +۳ مورد دیگر

Nida Latif is a Research Fellow in the Department of Internal Medicine at Yale School of Medicine. Her work focuses on understanding coronary microvascular dysfunction and ischemic heart disease in patients with nonobstructive coronary arteries, particularly in women. She is a key contributor to the DISCOVER INOCA multicenter registry, evaluating invasive coronary function testing protocols and diagnostic strategies. Her research integrates clinical, anatomical, and physiological data to improve diagnostic accuracy and patient outcomes. Key areas of investigation include coronary vasoreactivity testing, risk factor analysis in ischemic syndromes, and the impact of diabetes on angina pathophysiology. Latif's publications highlight advancements in coronary flow reserve measurement, comparison of diagnostic modalities (e.g., PET vs thermodilution), and the clinical utility of vessel-specific analysis. Her work emphasizes translational outcomes, bridging basic science insights with clinical practice improvements. While no specific awards are listed, her contributions to high-impact clinical registries and peer-reviewed publications reflect her active role in advancing cardiovascular medicine.

John A. Copland, IIIمشاهده پروفایل

استاد

• Cancer Biology
• Molecular Carcinogenesis
• Translational Research
• +۳ مورد دیگر

Dr. John A. Copland III is a Professor of Cancer Biology and Biochemistry & Molecular Biology at Mayo Clinic in Jacksonville, Florida. He leads the Cancer Biology and Translational Research Laboratory, focusing on molecular mechanisms of carcinogenesis, tumor progression, and development of targeted cancer therapies. Education: PhD in Physiology & Endocrinology (Medical College of Georgia), MS in Endocrinology (Medical College of Georgia), BS in Chemistry (Columbus College), with postdoctoral training at University of Texas Medical Branch. Research interests center on: Identifying tumor suppressor genes (e.g., RhoB, TBR3, GATA3) and oncogenes (e.g., FOXO3a, SCD1, NPTX2). Developing patient-derived xenografts and live cell models for personalized medicine. Designing SCD1 inhibitors via in silico modeling for clinical trials. Recent publications highlight his work on SCD1 inhibition in leukemia and thyroid cancer ImmunoPET imaging of thyroid tumors CRISPR-identified drug synergies in cholangiocarcinoma Patient-specific combination therapies using xenograft models

• Electrical and Electronic Engineering
• Computer Hardware
• Computer Software
• +۷ مورد دیگر

Professor Peter Y. K. Cheung is a Professor of Digital Systems at Imperial College London, holding dual affiliations within the Department of Electrical and Electronic Engineering and the Dyson School of Design Engineering. His work focuses on reconfigurable systems, FPGA architectures, and high-level synthesis tools. He co-founded one of the UK's leading FPGA research groups with Professor Wayne Luk, addressing challenges in variability mitigation, reliability, and application-specific FPGA deployments. His research spans Field-Programmable Gate Arrays (FPGAs) Reconfigurable computing Neural network acceleration Cryptographic protocols Embedded systems He has pioneered techniques such as logic shrinkage for FPGA-based neural networks and developed frameworks like LUTNet for efficient inference. His contributions also include fault-tolerant FPGA designs and methodologies for distributed computation protocols. Key collaborations include work with the Department of Computing on FPGA-based AI acceleration and cybersecurity applications. His recent work explores edge computing, secure decentralized systems, and pandemic modeling using adaptive control strategies. Notable projects include the DSCS protocol for secure distributed computation, acceleration of gravitational wave detection algorithms, and energy-efficient CNN implementations. His research bridges hardware-software co-design with real-world applications in healthcare, finance, and aerospace.

• Statistical Methods in Biomedical Research
• Biomarker Analysis
• Clinical Trial Design
• +۷ مورد دیگر

Todd A. Alonzo is a Professor of Research in the Department of Preventive Medicine at the University of Southern California . As Group Statistician for the Children's Oncology Group , he focuses on statistical methods for biomarker analysis, medical diagnostic testing, and clinical trial design in pediatric acute myeloid leukemia (AML). Education: B.S. in Statistics, California State Polytechnic University (1994) MS and PhD in Biostatistics, University of Washington (1997, 2000) Research Interests include: Development of statistical frameworks for diagnostic accuracy Genomic and proteomic profiling in AML Pharmacogenomic score systems for chemotherapy response Non-inferiority trial design in low-event-rate settings Health disparities in pediatric oncology Scientific Awards : Fellow, American Statistical Association (2018) Outstanding Teacher Award, International Society for Magnetic Resonance in Medicine (2017) NIH Predoctoral Cardiovascular Biostatistics Training Grant (1995) ENAR Biometrics Society Distinguished Student Paper Award (1999) WNAR Biometrics Society Best Student Oral Presentation (1999) Leadership & Service includes editorial board memberships (Biometrics, Pediatric Blood & Cancer, Biometrical Journal), reviewer for 30+ scientific journals, and roles on multiple Data Safety and Monitoring Boards. He served as President of the International Biometric Society Western Northern America Region (WNAR) in 2009.

• Ophthalmology
• Corneal Endothelial Health
• Cataract Surgery Outcomes
• +۳ مورد دیگر

Clinical Associate Professor Keith Ong is affiliated with the University of Sydney’s Northern Clinical School, specifically within the Department of Clinical Ophthalmology & Eye Health. His clinical specialty is Ophthalmology, with a focus on corneal endothelial health, glaucoma surgery outcomes, and cataract surgical techniques. His research addresses critical areas such as postoperative ocular toxicity, intraocular lens calculations, and infection control in eye surgeries. Dr. Ong’s publications (2011–2023) consistently explore topics like corneal endothelial changes post-trabeculectomy, refractive error management post-cataract surgery, and antibiotic prophylaxis strategies. Recent work emphasizes optimizing surgical techniques to reduce complications, such as BAK-induced corneal toxicity and IOL power calculation accuracy in LASIK patients. His work demonstrates a focus on improving surgical safety and precision, with studies evaluating alternative antibiotic delivery methods and laser therapy impacts. No awards or grants are explicitly noted in the provided text, but his contributions to clinical practice and surgical protocols are evident through his publication record.

Kris Beattieمشاهده پروفایل

مدرس

• Exercise Physiology
• Strength Training
• Endurance Athletes
• +۳ مورد دیگر

Dr. Kris Beattie is a Lecturer in the Department of Sport and Health Science at Technological University Dublin (TU Dublin). He specializes in sports science education, coordinating modules such as Human Physiology 2, Sport & Exercise Physiology, and Applied Coaching Science. His research focuses on the physiological adaptations of strength, speed, and endurance training in athletes, particularly in endurance athletes and combat sports like boxing. Beattie holds a PhD from the University of Limerick (2012–2016), an MSc in Sports Physiology from Liverpool John Moores University (2008–2009), and a BSc (Hons) in Sport and Exercise Sciences from Ulster University (2005–2008). He is a UKSCA-accredited Strength & Conditioning coach. Beattie’s research interests include strength training modalities for sprint performance, physiological adaptations in Gaelic football and boxing, and the biomechanics of athletic movements. His work bridges theoretical and applied aspects of sports science, emphasizing practical applications in coaching and athlete development. Recent studies explore sprint testing methods in Gaelic games, strength characteristics of female athletes, and the role of maximal strength in punch impact force in boxing. His publications span peer-reviewed journals like the International Journal of Performance Analysis in Sport and Journal of Strength and Conditioning Research , with a focus on systematic reviews and empirical studies. Though no specific awards are listed, his h-index of 7 reflects growing recognition in sports physiology. Beattie actively collaborates with sports organizations and coaches to inform evidence-based training practices. He currently contributes to TU Dublin’s BSc (Hons) Sports Science with Exercise Physiology program, integrating his research into teaching. Future work likely continues exploring interdisciplinary approaches to athlete development and performance optimization.