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

Sturt Manningمشاهده پروفایل

استاد

• Classical Archaeology
• east Mediterranean archaeology
• climate and archaeology
• +۷ مورد دیگر

Sturt Manning is a Professor in the Department of Classics at Cornell University's College of Arts and Sciences, with additional affiliations in Anthropology, the Archaeology Program, and Medieval Studies Program. He directs the Cornell Tree-Ring Laboratory, specializing in dendrochronology and radiocarbon dating applications for Mediterranean and Near Eastern archaeology. His work bridges classical archaeology with scientific dating methodologies to establish precise chronological frameworks for ancient civilizations. Professor Manning's research focuses on Aegean, Cypriot, and Anatolian archaeology with particular emphasis on complex societies, state formation, and climate-archaeology interactions. His work integrates archaeological fieldwork with scientific dating methods to refine chronological understanding across the Mediterranean region. He has pioneered the application of dendrochronology to Mediterranean contexts where such methods were previously thought inapplicable, revolutionizing chronological debates in the field. His extensive publication record demonstrates a consistent focus on resolving chronological uncertainties through radiocarbon dating and dendrochronology, with applications spanning from the Mediterranean to North America. These works address significant historical questions including the dating of the Thera eruption, climate impacts on ancient civilizations like the Hittite Empire, and the chronology of early complex societies. His research has been published in high-impact journals including Nature, where his 2023 paper on the Hittite collapse identified a severe multi-year drought as a contributing factor. Professor Manning teaches courses including 'Climate, Archaeology and History' and 'Introduction to Dendrochronology,' reflecting his interdisciplinary approach that bridges archaeology, climate science, and dating methodologies. His research has important implications for understanding how environmental changes have shaped human history and how scientific methods can resolve longstanding archaeological debates.

Joseph E. Aldyمشاهده پروفایل

استاد

• Climate Change Policy
• Energy Policy
• Environmental Economics
• +۲ مورد دیگر

Joseph E. Aldy serves as the Teresa and John Heinz Professor of the Practice of Environmental Policy at Harvard University's John F. Kennedy School of Government. He maintains additional prestigious affiliations as a University Fellow at Resources for the Future, a Faculty Research Fellow at the National Bureau of Economic Research, and a Senior Adviser at the Center for Strategic and International Studies. Aldy also chairs the Regulatory Policy Program at the Mossavar-Rahmani Center for Business and Government and is associated with Harvard's Salata Institute for Climate and Sustainability. His research expertise spans climate change policy, energy policy, and regulatory economics, with a particular focus on carbon pricing mechanisms, climate policy design, and the economic evaluation of environmental regulations. Aldy's scholarly work demonstrates consistent engagement with both theoretical frameworks and practical policy applications, as evidenced by his numerous publications in top economics and policy journals. Aldy's publication record shows a clear trend toward addressing increasingly complex climate policy challenges, with recent work focusing on carbon pricing certainty, the social cost of carbon, clean energy legislation impacts, and greenhouse gas emission offsets. His research bridges academic rigor with practical policy relevance, often incorporating lessons from historical environmental regulations like the Clean Air Act while addressing contemporary climate challenges. His professional experience includes significant government service as Special Assistant to the President for Energy and Environment (2009-2010), Fellow at Resources for the Future (2005-2008), and staff economist at the President's Council of Economic Advisers (1997-2000). Aldy has also held leadership positions including Co-Director of the Harvard Project on International Climate Agreements and Co-Director of the International Energy Workshop. Aldy maintains active engagement with policy communities through consulting relationships with organizations including BP, Lazard Climate Center, and the Environmental Law Institute, while continuing his academic research and teaching responsibilities at Harvard.

Lei Buمشاهده پروفایل

استاد

• Model Checking
• Bounded Model Checking
• Formal Methods
• +۷ مورد دیگر

Lei Bu is a Professor and Vice Dean at the Software Institute , Nanjing University . He leads research in formal verification, cyber-physical systems, and software engineering, with a focus on bounded model checking and hybrid system analysis. B.Sc. and Ph.D. in Computer Science from Nanjing University (2004, 2010) Visiting student at Carnegie Mellon University and University of Texas at Dallas His research integrates formal methods and machine learning for verifying complex systems like IoT and software with real-time constraints. Key projects include BACH Toolset and BRICK for reachability analysis. Recent publications demonstrate expertise in hybrid system verification , cache side-channel detection , and parallel code analysis frameworks . His work bridges theoretical advancements with practical applications in safety-critical systems. Zhongchuang Software Talent Award (2023) CCF-IEEE CS Young Computer Scientist Award (2022) High-Tech Software Innovation Awards (2019-2023) As Principal Investigator, he leads major projects funded by National Science Foundation of China and Jiangsu Natural Science Foundation (2020-2027). Current tools include BACH for hybrid systems and MLB for Java symbolic execution.

Eugene Y. Vassermanمشاهده پروفایل

دانشیار

• Network and distributed system security
• Privacy and anonymity
• Censorship resistance
• +۴ مورد دیگر

Eugene Y. Vasserman is an Associate Professor in the Department of Computer Science at Kansas State University's College of Engineering, where he also serves as Director of the Center for Cybersecurity and Trustworthy Systems. His office is located in 2171 Engineering Hall, and he holds office hours on Tuesdays from 2:30 pm to 4:00 pm and Wednesdays from 11:30 am to 1:00 pm during the Fall 2025 semester. Dr. Vasserman's research spans multiple critical areas of cybersecurity including network and distributed system security, privacy and anonymity, censorship resistance, operating system security, medical and IoT security, usable security, and applied cryptography. His work bridges theoretical security concepts with practical implementations, addressing real-world challenges in diverse domains from medical systems to blockchain technologies. His recent publications reveal a research trajectory that has evolved from foundational network security work to increasingly interdisciplinary research intersecting with artificial intelligence, medical systems, and cybersecurity education. The 15 most recent publications demonstrate his ongoing commitment to both theoretical advances and practical security solutions across multiple domains. Outstanding short paper award for 'Hypersparse Traffic Matrix Construction using GraphBLAS on a DPU' at IEEE HPEC 2023 Best graduate student poster award for 'Empowering pre-service teachers to utilize programming in the classroom' at ASEE Midwest Conference 2013 Dr. Vasserman has mentored numerous graduate students through the Systems and Network Security (SyNeSec) Lab, with alumni now working at organizations including Paycom, Corelight, Sandia National Labs, Microsoft, and Cerner. He teaches multiple cybersecurity courses each semester including CIS 525: Introduction to Network Programming, CIS 755: Systems Security, and CIS 351: Cyber Defense Basics, demonstrating his long-term commitment to cybersecurity education since at least 2010. As Director of the Center for Cybersecurity and Trustworthy Systems, he leads initiatives that address critical security challenges across multiple domains, fostering collaboration between researchers, students, and industry partners to develop trustworthy systems for the future.

• Software Engineering
• Software Testing
• Program Analysis
• +۴ مورد دیگر

Alessandro (Alex) Orso is the Dean and Professor at the University of Georgia College of Engineering , starting in 2025. Previously, he spent 25 years at Georgia Institute of Technology , where he served as a Professor in the College of Computing , Director of the Scientific Software Engineering Center , and Associate Dean for Off-Campus and Special Initiatives . Education: Ph.D. in Computer Science – Politecnico di Milano, Italy M.S. in Electrical Engineering – Politecnico di Milano, Italy B.S. in Electrical Engineering – Politecnico di Milano, Italy Research Focus: Alex Orso is a leading expert in software engineering , with a focus on software testing , program analysis , and debugging . His work aims to improve software reliability, security, and trustworthiness , and has been validated on real-world systems. He has led initiatives to integrate AI and large language models into testing workflows, particularly for REST APIs and mobile applications . Scientific Recognition: Distinguished Member of the Association for Computing Machinery (ACM) Fellow of the Institute of Electrical and Electronics Engineers (IEEE) ISSTA Impact Paper Award (2021) Research Funding & Leadership: Orso has secured major funding from Google, IBM, Microsoft , and government agencies. In 2021, he led the acquisition of $11 million from Schmidt Futures to establish the Scientific Software Engineering Center at Georgia Tech, where he served as inaugural director. Teaching & Innovation: He was an early advocate of Georgia Tech’s Online Master of Science in Computer Science (OMSCS) and has taught a virtual software engineering course since its launch in 2014.

Alejandro Russoمشاهده پروفایل

استاد

• Computer Science
• Information Security
• Functional Programming
• +۳ مورد دیگر

Alejandro Russo is a Professor at Chalmers University of Technology , specializing in Information Flow Control (IFC) , Secure Programming Languages , and Functional Programming . His research bridges theoretical foundations and practical implementations, focusing on mitigating timing channels , covert channels , and data leakage in concurrent systems. Developed novel frameworks for Differential Privacy with provable accuracy bounds Pioneered COWL integration for browser security and instruction-based scheduling to prevent cache timing attacks Led major projects like HIPSTER (hybrid static/dynamic IFC) and AppFlow (practical IFC deployment) His publications reveal expertise in security libraries for Haskell and Python , with a focus on faceted execution , label manipulation , and mechanized security proofs . Students under his supervision have explored topics ranging from secure eDSLs to privacy-preserving compilation techniques . Scientific awards : Google Research Award (2011) for Python taint analysis Advising and grants : Principal Investigator for VR , STINT , and Google Research Award Supervised 12+ PhD and Master’s students in security and functional programming research

Siegfried S. Heckerمشاهده پروفایل

استاد

• Nuclear security and strategic stability
• Nuclear nonproliferation and arms control
• Plutonium science
• +۲ مورد دیگر

Siegfried S. Hecker serves as Professor of Practice in the Department of Nuclear Engineering at Texas A&M University and Distinguished Faculty Fellow at the Center for Nuclear Security Science and Policy Initiatives, with membership in the National Academy of Engineering. His academic foundation includes: Ph.D. in Metallurgy from Case Western Reserve University (1968) M.S. in Metallurgy from Case Western Reserve University (1967) B.S. in Metallurgy from Case Western Reserve University (1965) Dr. Hecker's research critically addresses nuclear security and strategic stability, nuclear nonproliferation and arms control, plutonium science, nuclear energy, and counter-terrorism frameworks. His work provides essential analysis for global nuclear threat mitigation, particularly regarding North Korea's program and post-Soviet nuclear security transitions. His 2017-2022 publications reveal consistent focus on North Korean denuclearization challenges, Russia-Ukraine nuclear implications, and global nuclear power dynamics, emphasizing diplomatic pathways amid geopolitical tensions. Major scientific honors include: Member, National Academy of Engineering Fellow, American Physical Society Fellow, Minerals Metalurgy and Materials Society Fellow, American Society for Metals Honorary Member, American Ceramics Society Fellow, American Academy of Arts and Sciences Fellow, American Association for the Advancement of Science Foreign Member, Indian Institute of Metals Presidential Enrico Fermi Award (2009) American Association of Engineering Societies National Engineering Award (2018) American Nuclear Society Dwight D. Eisenhower Medal (2017) TMS-AIME Honorary Membership Award (2016) Citizens for Nuclear Technology Awareness Annual Edward Teller Lecture (2016) ASM International Honorary Membership Award (2015) Secretary of Defense Medal for Exceptional Public Service (2014) No information on graduate student advising or research grants appears in source materials. He actively contributes to nuclear security policy through the Center for Nuclear Security Science and Policy Initiatives at Texas A&M University, driving research on global nonproliferation frameworks and strategic stability mechanisms.

• Polar Science
• Arctic Marine Ecology
• Fisheries Management
• +۳ مورد دیگر

Ole Arve Misund serves as a Professor at the Norwegian Fisheries College within UiT The Arctic University of Norway, Tromsø. His research spans polar science, Arctic marine ecology, fisheries management, and international relations in polar regions, with particular focus on Norway-Russia scientific cooperation dynamics following geopolitical shifts in 2022. His research interests center on climate change impacts on Arctic marine ecosystems, acoustic monitoring of marine organisms, and the geopolitical dimensions of polar research. Recent work examines boreal species migration into the Central Arctic Ocean, machine learning applications for backscatter analysis, and management frameworks for the Central Arctic Ocean. Analysis of his recent publications reveals strong interdisciplinary trends, integrating marine ecology with political science through studies of Russian-Norwegian scientific collaboration under sanctions, illegal fishing enforcement, and policy-relevant polar research. His work consistently bridges academic research with practical fisheries management and geopolitical considerations. Misund actively engages in science communication through Norwegian media outlets like Nordlys and Fiskeribladet, addressing topics from climate policy contradictions to Antarctic hydrological changes. His expeditionary work includes North Pole 2022 aboard the "Kronprins Haakon" research vessel. Professional activities demonstrate significant leadership in polar research infrastructure development and international scientific collaboration, particularly through the Norwegian Polar Institute where he contributes to strategic planning and policy advice. His work emphasizes evidence-based approaches to Arctic governance amid evolving geopolitical landscapes.

Scarlett Lin Gomezمشاهده پروفایل

استاد

• Cancer Disparities
• Social Determinants of Health
• Epidemiology
• +۵ مورد دیگر

Scarlett Lin Gomez is Professor and Vice Chair of Faculty Development in the Department of Epidemiology and Biostatistics at the University of California San Francisco (UCSF) School of Medicine. She serves as Co-Leader of the Cancer Control Program for the UCSF Helen Diller Family Comprehensive Cancer Center and Director of the Greater Bay Area Cancer Registry, part of the NCI SEER Program. Her research centers on structural and social drivers of health disparities, with pioneering work on Asian American, Native Hawaiian, and Pacific Islander cancer patterns. She developed the California Neighborhoods Data System to evaluate neighborhood environment impacts on disease outcomes and leads the Female Asian Never Smokers (FANS) Study investigating lung cancer etiology. Key funding includes multiple NIH R01 grants focused on ovarian cancer disparities, breast cancer prognosis in Asian populations, and lung cancer in never-smokers. Racial/Ethnic Disparities in Ovarian Cancer Treatment (R01CA243188) Insights from Asian Populations into Breast Cancer Prognosis (R01CA241125) Lung Cancer Etiology Among Asian American Female Never Smokers (R01MD014859) Cancer Registry for Understanding Survivorship Experiences (R01CA241128) Dr. Gomez has received numerous honors including the 2024 AACR Distinguished Lectureship on Cancer Health Disparities and the 2022 ASPO Joseph F. Fraumeni, Jr. Award. Her recent publications analyze neighborhood redlining effects, immigrant health patterns, and cancer disparities across diverse populations using innovative registry linkages and multiethnic cohort studies. As an active AACR leader, she co-chaired the 2024 Cancer Disparities Progress Report and serves on editorial boards for Cancer Epidemiology, Biomarkers & Prevention . Her work fundamentally advances understanding of how structural racism, immigration status, and neighborhood environments shape cancer outcomes across underrepresented populations.

• Logistics
• Supply Chain Management
• System Dynamics
• +۵ مورد دیگر

Giovanni Zenezini is a Fixed-term tenure-track Assistant Professor at Politecnico di Torino's Department of Management and Production Engineering (DIGEP), affiliated with both the College of Management and Production Engineering and the College of Mechanical, Aerospace and Automotive Engineering. His academic activities include teaching courses such as 'Modeling Complex Systems in Engineering and Management' and 'Supply Chain Management' across multiple degree programs. His research focuses on logistics optimization and systems engineering, with primary expertise in: Agent-based modeling and system dynamics for complex systems Urban logistics and sustainable city freight solutions Warehouse automation and Industry 4.0 implementations Supply chain digitalization and Physical Internet concepts Sustainability assessments in logistics networks Analysis of recent publications (2019-2025) reveals consistent focus on logistics innovation, with 73% addressing optimization methodologies, 60% featuring simulation modeling approaches, and 47% examining urban freight solutions. The works demonstrate growing integration of digital technologies like IoT and digital twins in logistics systems. Dr. Zenezini currently supervises three PhD candidates: Francesca Saba (Management and Production Engineering) Massimo Rebuglio (Management, Production and Design) Anna Treves (Urban and Regional Development) His research group actively investigates logistics digitalization, warehouse automation, and urban freight impact assessment through projects with industry partners.

Yoonsik Cheonمشاهده پروفایل

دانشیار

• Formal Methods
• Software Testing
• Programming Languages
• +۳ مورد دیگر

Yoonsik Cheon is an Associate Professor in the Department of Computer Science at the University of Texas at El Paso (UTEP), part of the College of Engineering. His research focuses on formal methods, software engineering, and mobile applications. He holds a Ph.D. from Iowa State University and has prior industry experience at the Electronics and Telecommunications Research Institute (ETRI) in South Korea. His work emphasizes operational formal methods, integrating specifications like JML and CleanJava into practical development processes. Research Interests: Formal methods (specification languages, verification techniques), programming languages, mobile application development, and software testing. His Software Specification and Verification Lab explores automated testing, functional program verification, and applying formal methods to mobile apps. Key Achievements: Recipient of the 2022 AITO Test of Time Award for his foundational work on JML and JUnit integration. He has contributed to tools like the JML runtime assertion checker and CleanJava for functional verification. His publications frequently address design constraints, assertion-based testing, and cross-platform development strategies. Teaching: Courses include Programming Languages, Mobile Application Development, and formal methods in software engineering.

• Cybersecurity
• Information Security
• Privacy
• +۳ مورد دیگر

Mark Heckman, PhD is a Professor of Practice in the CyberSecurity Engineering and Technology program at the University of San Diego. He holds MS and PhD degrees in Computer Science from the University of California, Davis, and is a Certified Information Systems Security Professional (CISSP). With over 30 years of experience spanning government/military systems, commercial IT security, and academic research, his work focuses on cybersecurity compliance, intrusion detection systems, and holistic security frameworks. He teaches at USD's Bridges Academy and actively publishes in cybersecurity education and maritime security domains. Education: PhD & MS in Computer Science (UC Davis) Research interests include cybersecurity best practices for home/commercial environments, privacy frameworks, and mitigation of systemic cybersecurity risks in critical infrastructure. His recent work critiques current educational approaches and explores maritime cyber compliance regimes. Articles emphasize practical applications of big data analytics in threat detection and systemic security policy design. While no formal advisees are listed, his teaching and publications reflect strong engagement with applied cybersecurity training and industry standards development.

• Distributed Systems
• Fault-Tolerant Computing
• Asynchronous Algorithms
• +۳ مورد دیگر

Prof. Ulrich Schmid is a full professor at TU Wien, affiliated with the Forschungsbereich Embedded Computing Systems. His research focuses on distributed systems, fault-tolerant computing, and asynchronous algorithms. He leads projects like 'Asynchronous Distributed Algorithms in the Theta-Model' and 'Gracefully Degrading Agreement in Directed Dynamic Networks.' Prof. Schmid has received honors at TU Wien and actively supervises numerous students in PhD and Master's programs. His academic work spans theoretical foundations (e.g., epistemic logic in Byzantine systems) and practical applications (e.g., digital circuit delay modeling). Key contributions include hybrid delay models for integrated circuits and formal verification frameworks for timed circuits. Collaborations involve institutions like the Institut für Technische Informatik and the E191-02 research group. Notable research areas: Byzantine fault tolerance, consensus protocols, and embedded systems Leadership in 4 major projects addressing distributed computing challenges Recipient of TU Wien honors (2021) Prof. Schmid's lab emphasizes bridging theoretical computer science with hardware-software co-design, producing over 220 publications and 10+ supervised theses since 2000.

Susan Alexanderمشاهده پروفایل

استاد

• Nursing Informatics
• Health Informatics
• Environmental Health
• +۲ مورد دیگر

Dr. Susan Alexander is a Professor at Vanderbilt University School of Nursing, where she serves as Director of the Nursing Informatics Specialty Program. She teaches informatics at both master's and doctoral levels and holds leadership roles in national nursing organizations. Previously, she served as President of the Nurse Practitioner Alliance of Alabama. Education: DNP, University of Alabama in Huntsville Post-Master's Certificate, Adult Health Nurse Practitioner, University of Alabama at Birmingham MSN, University of Alabama in Huntsville BSN, University of Alabama in Huntsville Her research integrates nursing science with informatics methodologies, focusing on three primary domains: (1) Implementation of unique nurse identifiers in academic systems, (2) Utilization of social-behavioral health data from EHRs for environmental health insights, and (3) Standardized clinical language frameworks for improved health documentation. Her work bridges clinical practice, data science, and health policy. Publications demonstrate strong thematic focus on health informatics applications across diverse contexts. Recent works explore pain management technology, environmental health monitoring, planetary health advocacy, health equity frameworks, and nursing credentialing systems, consistently emphasizing data-driven approaches to healthcare improvement. Honors: 2022 Emerging Leader Award from Alliance for Nursing Informatics Professional activities include editorial responsibilities for CIN Plus and CNS: The Journal for Advanced Nursing Practice , plus leadership roles in: American Nurses Informatics Association (Member) Nursing Knowledge Big Data Science Initiative (Policy & Advocacy Co-Chair) Alliance of Nursing Informatics (Policy Committee)

• Formal Methods
• Software Engineering
• Model-Based Testing
• +۳ مورد دیگر

Petra van den Bos is an Assistant Professor at the University of Twente, affiliated with both the Digital Society Institute and the Formal Methods and Tools department. Her research focuses on advancing software engineering through formal methods, model-based testing, and automated testing techniques. She has contributed to integrating Behavior-Driven Development (BDD) with model-based approaches, as well as developing tools like VeyMont for choreography-based concurrent programming. Her work emphasizes practical applications in video game development, web testing, and user story-driven methodologies. Notably, she received the FORTE 2023 Best artefact award for outstanding contributions to formal techniques. Petra collaborates on datasets archived on Zenodo, showcasing reproducible research in testing frameworks and formal verification. Research Interests: Formal Methods, Model-Based Testing, Automated Testing, Concurrent Programming, and Software Verification. Awards: FORTE 2023 Best artefact (2022). Advising & Grants: No formal advisees listed; contributions focus on collaborative research projects and open-source tool development. Labs/Teams: Active in the Formal Methods and Tools research group, advancing software reliability through interdisciplinary approaches.