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

Alex Potaninمشاهده پروفایل

دانشیار

• Programming Languages Design
• Software Security
• Type Systems
• +۵ مورد دیگر

Roles & Affiliations: Associate Professor at the Australian National University (ANU), School of Computing. Previously held positions at Victoria University of Wellington (2006–2013), Carnegie Mellon University (visiting scholar), and Kyoto University (sabbatical). Served as editor for multiple journals and conference proceedings, including OOPSLA and APSEC. Education: PhD in Programming Languages (Victoria University of Wellington, 2006) BSc(Hons) in Mathematics (Victoria University of Wellington) Research Interests: Focuses on foundational aspects of programming languages, including ownership, immutability, and capabilities. Designs secure languages like Wyvern (collaboration with CMU) and contributes to Rust's lifetime parameters. Explores module systems, effects, and verified software. Recent work addresses reproducibility debt in scientific software and quantum computing models. Article Trends: Recent publications emphasize reproducibility challenges, reactive system verification, and deductive program synthesis. Highlights include systematic reviews on reproducibility debt and formal methods for secure reactive systems. Awards & Recognition: ECOOP 2024 Distinguished Artifact Award FORTE 2022 Best Paper Award ESEC/FSE 2007 Distinguished Paper Award Advising & Grants: Supervises 15+ current students across PhD, Masters, and Honours. Co-leads projects on secure module systems and verified traits. Collaborates with industry (e.g., Alibaba's CUE language) and academia (CMU, KIT). Labs & Teams: Active in the Wyvern project, secure language design initiatives, and international collaborations on formal verification and programming language semantics.

Martin Rinardمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Security & Cryptography
• +۷ مورد دیگر

Martin Rinard is a Professor at the Massachusetts Institute of Technology (MIT), affiliated with the Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Vertical AI Community of Research and the Systems Community of Research, focusing on advancing artificial intelligence, programming languages, security, and large-scale software systems. His work emphasizes approximate computing, program repair, and deployable machine learning through initiatives like the MIT Center for Deployable Machine Learning (CDML), which ensures robust AI systems for real-world applications. Rinard’s research spans programming languages, software engineering, and systems, with notable contributions to probabilistic programming, security protocols, and neural network verification. He has pioneered techniques for error detection, mitigation, and automated program synthesis. His recent award-winning work includes foundational advancements in program repair and approximate computing methodologies. Research Highlights: Program Repair, Approximate Computing, Probabilistic Programming, Cybersecurity, Machine Learning Safety, and AI-driven Systems. Leadership Roles: Director of MIT CDML, Leader of Vertical AI and Systems Communities at CSAIL. Rinard’s publications reflect a focus on bridging theory and practice, with contributions to compiler optimization, secure software design, and healthcare AI applications like cancer risk prediction models. His team actively develops tools for program analysis, including KumQuat for parallel Unix pipelines and AEDAM for adaptive error detection. Awards: 2025 SIGSOFT Outstanding Research Award for pioneering program repair and approximate computing. Labs/Teams: Core member of CSAIL, CDML, and the Computation Structures Group.

Michael Backesمشاهده پروفایل

دانشیار

• Gamma-ray Astronomy
• Active Galactic Nuclei
• Data Mining
• +۳ مورد دیگر

Prof. Michael Backes is an Associate Professor and Head of Astrophysics Research at the University of Namibia (UNAM), leading the Namibian H.E.S.S. group and founding director of the Virtual Institute for Scientific Computing and Artificial Intelligence. He holds concurrent roles as Extraordinary Associate Professor at North-West University (South Africa) and Academic Visitor at the University of Oxford (UK). His research focuses on gamma-ray astronomy of Active Galactic Nuclei (AGN), data analysis methodologies, and next-generation telescope projects like the Cherenkov Telescope Array (CTA) and Africa Millimetre Telescope (AMT). Education : MSc (Dipl.-Phys.) in Physics (2008, TU Dortmund University) PhD (Dr. rer. nat.) in Astroparticle Physics (2012, TU Dortmund University) Research Interests : Gamma-ray astronomy of AGN, multi-wavelength observations, advanced data mining techniques, and instrumentation development. He pioneered semiconductor-based camera technology for gamma-ray telescopes and contributed to major collaborations like FACT and MAGIC. Key Projects : Co-PI of AMT, Namibian-PI of H.E.S.S. observatory projects, and Co-Investigator on the ERC Synergy grant 'Blackholistic'. Active in steering committees for H.E.S.S. and IAU's Southern African Regional Office of Astronomy for Development. Recognition : Annie Maunder Medal 2024 (Royal Astronomical Society), UNAM Meritorious Award 2017, GYA membership (2018–2023), and plenary speaker at World Science Forum 2022. He also chairs the Namibia Scientific Society and drives astronomy outreach initiatives. Labs/Teams : Leads the Namibian H.E.S.S. group and collaborates internationally on major observatories. Founded the Virtual Institute for Scientific Computing and AI to integrate advanced analytics into astrophysical research.

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

استادیار

• Computer Graphics
• GPU Architecture
• Computer Architecture
• +۳ مورد دیگر

Daniel Kopta is an Assistant Professor and Lecturer in the School of Computing at the University of Utah. His research focuses on computer graphics, GPU architecture, energy-efficient computing, and parallel processing, with a strong emphasis on hardware-accelerated ray tracing and memory subsystem optimization. Prior to his academic role, he worked as a Senior OptiX Engineer at NVIDIA, contributing to advanced graphics and computing technologies. He earned his PhD in Computer Science from the University of Utah under Dr. Erik Brunvand, specializing in ray-traced computer graphics and GPU architecture. His work bridges theoretical computer science with practical hardware design, addressing challenges in rendering performance, energy consumption, and scalable computing systems. Key research themes include optimizing memory hierarchies for graphics pipelines, analyzing DRAM behavior in rendering contexts, and developing energy-efficient architectures for real-time applications. His publications span topics like dual-split trees, motion blur algorithms, and multi-core systems simulation (SimTRaX). No scientific awards are explicitly mentioned in the provided information. His advising and grant activities remain unspecified, though his academic role suggests active mentorship in computer graphics and architecture research.

• Computer Engineering
• Computer Science
• Program Synthesis
• +۵ مورد دیگر

Xiaokang Qiu is an Associate Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University. His research focuses on program synthesis, formal verification, and hardware/software design with an emphasis on automated reasoning and system resilience. He holds a leadership role in advancing techniques for scalable verification of hardware systems and developing efficient program synthesis methods. His research interests include program synthesis, formal methods, hardware design, and algorithm optimization. He explores applications in concurrent systems, network protocols, and safety-critical systems, often integrating machine learning and automated reasoning approaches. Recent work trends show a focus on leveraging large language models for invariant generation, optimizing network and hardware systems through formal methods, and advancing recursive algorithm verification. His publications span topics from concurrent programming to runtime verification frameworks for autonomous systems. Xiaokang Qiu’s contributions include over 20 peer-reviewed articles since 2004, with recent highlights in 2025-2024 addressing cutting-edge challenges in program synthesis and hardware verification. He maintains an active research lab focusing on resilient autonomous systems and compiler optimizations. Office: BHEE 329 | Email: xkqiu@purdue.edu | Website: https://engineering.purdue.edu/~xqiu/

Eddie Kohlerمشاهده پروفایل

استاد

• Computer Science
• Systems
• Networks
• +۵ مورد دیگر

Eddie Kohler is the Microsoft Professor of Computer Science at Harvard University's Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS), where he also serves as Director of Undergraduate Studies in Computer Science. His research focuses on high-performance systems, networks, and databases with an emphasis on concurrency control, data privacy, and scalable software design for multicore processors. He has contributed to foundational work in transactional systems, web application backends (e.g., Noria), and privacy-preserving technologies (e.g., Edna). His research spans theoretical frameworks like the Scalable Commutativity Rule and practical implementations such as the Alto lightweight virtualization system. Kohler's work often bridges theory and practice, addressing challenges in distributed systems, sensor networks, and regulatory compliance (e.g., GDPR). Notable contributions include innovations in in-memory database concurrency, optimistic transaction processing, and network congestion control protocols (e.g., TFRC-SP). His projects frequently emphasize system correctness through formal verification and empirical evaluation. His articles reflect a trajectory from foundational concurrency research to applied systems engineering, with recent focus on privacy in web applications and optimizing modern multicore architectures. No specific grants or advisees are listed in the provided information. Kohler leads research initiatives in scalable systems and maintains active collaboration with industry through his academic leadership roles.

• Education Policy
• Higher Education Leadership
• Institutional Governance
• +۴ مورد دیگر

Andrea Conklin Bueschel is an Instructor in Higher Education Administration and Policy at Northwestern University's School of Education and Social Policy (SESP). She concurrently runs Conklin Bueschel Consulting, offering expertise in coaching, advising, and assessment services. Her career includes senior administrative roles such as Senior Vice President for Administration at Rutgers University and Associate Provost at Northwestern University. Education: PhD in Educational Policy, Stanford University MA in Sociology, Stanford University MA in Higher Education Administration and Policy Analysis, Stanford University BA in Philosophy, Bates College Research Interests: Focuses on education policy, leadership governance, and organizational learning in higher education. Explores data use practices, resource allocation strategies, and institutional decision-making processes. Investigates the intersection of policy, governance structures, and institutional culture. Publications highlight her work in mixed-methods research design, special issues on data-driven practices, and policy frameworks for student success. Her consulting practice extends academic insights into real-world institutional challenges. Labs/Teams: Leads Conklin Bueschel Consulting, a firm specializing in strategic advising for higher education institutions and non-profits.

Nina Roussilleمشاهده پروفایل

استادیار

• Labor Economics
• Gender Economics
• Wage Inequality
• +۵ مورد دیگر

Nina Roussille is the Gordon K. Lister and Donald K. Lister Career Development Assistant Professor of Economics at MIT and concurrently serves as Executive Director of the Hub for Equal Representation at the London School of Economics. She joined MIT’s Economics Department in July 2023 after completing her PhD at UC Berkeley and a post-doctoral fellowship at LSE. Education PhD in Economics, University of California, Berkeley (2021) Research Interests Nina’s work sits at the intersection of labor economics and gender economics . She studies how information frictions, firm market power, and institutional constraints create and perpetuate wage inequality. Current themes include: Gender gaps in salary negotiations and the determinants of the "ask gap" Worker misperceptions about outside options and their implications for monopsony power How rising wage inequality erodes labor movements and collective bargaining Intersectional dynamics inside organizations, especially for Black women Policy evaluation of workweek reduction and offshore tax evasion Publications & Impact Across her recent articles in the Quarterly Journal of Economics , American Economic Review (R&R), and Management Science , Nina combines large-scale administrative or platform data with field experiments and structural modeling to illuminate how labor markets actually work. Her findings on the gender ask gap have been featured in Bloomberg , BBC , and Brookings , influencing both academic debates and policy discussions. Professional Service & Grants In addition to her faculty role, Nina actively mentors junior scholars through the LSE Applicant Mentoring Programme and regularly hires predoctoral RAs for multi-year projects on inequality and labor-market institutions. She maintains office hours for MIT PhD students and advertises research-assistant openings on her website and Twitter feed. Labs & Teams At MIT, Nina is affiliated with the Department of Economics and collaborates closely with the Hub for Equal Representation at LSE, an interdisciplinary initiative that brings together economists, psychologists, and organizational sociologists to promote workplace equity.

Seth Goldsteinمشاهده پروفایل

دانشیار

• Programming Languages
• Systems
• Computer Architecture
• +۹ مورد دیگر

Seth Goldstein is an Associate Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. His research focuses on ensembles (massively scalable systems), distributed systems, reconfigurable computing, and programmable matter (Claytronics). He leads projects like BoLT (a decentralized lending platform) and Phoenix (computing without traditional processors). He has advised numerous graduate students and teaches courses including Compiler Design, Computer Architecture, and Cloud Computing. Research Interests : Goldstein explores systems with massive interacting components, such as molecular-scale devices, modular robotics, and economic systems. His work spans compilers (e.g., register allocation optimizations), time synchronization protocols for embedded systems, and algorithms for self-reconfiguring robots. Recent projects include BlockGraph (a secure distributed ledger) and peer code review methodologies. Key Contributions : Goldstein's work on Claytronics pioneered programmable matter, enabling shape-shifting materials. His BoLT platform addresses lending market inefficiencies using blockchain principles. He has also developed algorithms for modular robot coordination and energy-efficient self-reconfiguration. Labs/Teams : Goldstein directs research in the CMU Robotics Institute and collaborates with interdisciplinary teams on projects like the PipeRench and Phoenix architectures. His lab explores intersections between nanotechnology, distributed systems, and societal applications like new monetary systems.

Tina Kahniashviliمشاهده پروفایل

استاد پژوهش

• Cosmology
• Gravitational Waves
• Cosmic Microwave Background
• +۵ مورد دیگر

Tina Kahniashvili is a Research Professor in the Department of Physics at Carnegie Mellon University's Mellon College of Science, with concurrent positions as Main Scientist at Abastumani Astrophysical Observatory in Georgia and Professor of Physics and Astronomy at Ilia State University. Her academic career spans multiple prestigious institutions including Carnegie Mellon University (where she has been affiliated since 2009), Kansas State University, New York University, and Laurentian University in Canada. Dr. Kahniashvili earned her Doctor of Sciences in Physical and Mathematical Sciences from The Lebedev Physical Institute, Russian Academy of Sciences in 2000, and her Ph.D. in Physics from the Space Research Institute, Russian Academy of Sciences in 1988. She has maintained a strong research presence since beginning her career as a Researcher at Abastumani Astrophysical Observatory in 1988. Her research focuses on the frontier of cosmology and astrophysics, particularly investigations of physical processes in the Universe at both very early and late epochs. She specializes in fundamental symmetry tests at very high energies using astrophysical, cosmological, and particle physics data; gravitational wave signals from the early universe (particularly from inflation and phase transitions); CMB fluctuations beyond standard cosmological models; alternative scenarios for the universe's accelerated expansion (including modifications of general relativity, especially massive gravity models); and cosmological magnetic fields with emphasis on the origins, evolution, and observable signatures of primordial turbulence. Her work bridges high-energy particle physics with cosmological observations. Analysis of her recent publications reveals a strong focus on gravitational waves from early universe phenomena, primordial magnetic fields, and magnetohydrodynamic turbulence. Her collaborative work with researchers like Brandenburg, Roper Pol, and others demonstrates expertise in both theoretical modeling and numerical simulations of cosmic phenomena. The consistent appearance of keywords like 'primordial,' 'gravitational waves,' 'magnetic fields,' and 'early universe' across her publications indicates a cohesive research program centered on understanding the fundamental physics of the cosmos's earliest moments. Dr. Kahniashvili is an active member of the American Physical Society, American Astronomical Society, and the International Astronomical Union, reflecting her standing in the international astrophysics community. Her extensive publication record demonstrates significant contributions to our understanding of cosmic phenomena through both theoretical work and analysis of observational data.

Yonghwi Kwonمشاهده پروفایل

استادیار

• Cybersecurity
• Software Security
• Cyber Forensics
• +۳ مورد دیگر

Yonghwi Kwon is an Assistant Professor at the University of Maryland, affiliated with the Department of Electrical and Computer Engineering, Department of Computer Science, Maryland Cybersecurity Center (MC2), and UMIACS. His research focuses on software security, reverse engineering, and cyber forensics. He holds a PhD in Computer Science from Purdue University (2018). Kwon directs the SEED Research Group, which develops techniques to secure real-world systems such as autonomous vehicles and cyber-physical systems. Education: PhD in Computer Science, Purdue University, 2018 Research Interests: Kwon's work spans cybersecurity, software security, reverse engineering, and cyber forensics. His team investigates vulnerabilities in critical systems, develops fuzzing frameworks for autonomous systems, and designs defenses against sophisticated cyberattacks. Notable areas include phishing analysis, memory corruption exploits, and secure software hardening. Recent Trends in Articles: Recent work emphasizes phishing lifecycle analysis, kernel vulnerability discovery (e.g., Scavy), and defense mechanisms like FreePart for data processing software. The group also pioneers Python binary decompilation (PyFET) and anti-forensic attack mitigation. Awards: NSF CAREER Award (2022) NSF CISE CRII Award (2019) ACM SIGPLAN Distinguished Paper Award (2019) Advising & Grants: Advises PhD students in software security, CPS security, and LLM security. Leads NSF-funded projects on forensic infrastructure and cyber defense. Collaborates with institutions like Columbia, Georgia Tech, and KAIST. Labs/Teams: SEED Research Group focuses on securing critical systems via program analysis and automated defense. Kwon co-leads the UVA CCDC team, winning national championships in 2019, 2020, and 2023.

Herman Geuversمشاهده پروفایل

استاد

• Theoretical Computer Science
• Type Theory
• Lambda Calculus
• +۴ مورد دیگر

Herman Geuvers is a Professor of Computer Science (Theoretical Computer Science) at Radboud University Nijmegen, where he leads the Foundations group within the Institute for Computing and Information Science (ICIS), part of the Faculty of Science. He also holds a part-time professorship at the Technical University of Eindhoven's Faculty of Mathematics and Computer Science. His roles include chairing the Examination Board for Computing Science at Radboud and the board of the Institute for Programming Research and Algorithmics (IPA). He chairs the Steering Committee of the FSCD conference and is a member of the COST Action CA20111 on Formal Proofs. Geuvers holds a Master's and PhD in Mathematics from Radboud University (1988 and 1993, respectively). He has led significant projects like the ARPA initiative to advance Proof Assistant usage and contributed to the EUTypes network. His teaching includes advanced courses on Type Theory, Semantics, Complexity, and Proving with Computer Assistance. His research focuses on logic in computer science, type theory, lambda calculus, and formal methods. He emphasizes integrating proof assistants like Coq into mathematics and software verification. He has supervised numerous PhD students and remains active in organizing international conferences and workshops.

• Industrial Engineering
• Sustainability in Engineering
• Supply Chain Management
• +۴ مورد دیگر

Dr. Jamie James Rogers is a Professor and Associate Chair in the Department of Industrial, Manufacturing, and Systems Engineering at the University of Texas at Arlington (UTA). She has been on the faculty since 1994 and holds the George & Elizabeth Pickett Endowed Professorship (2021–2026). Her roles include leadership in ABET as a Fellow and former President, and she has served as IISE President. She has extensive industry experience at Texas Instruments before academia. Education: B.S. (Industrial Engineering, University of Missouri, 1979), M.S. (UT Arlington, 1981), Ph.D. (UT Arlington, 1985). Professional certifications include P.E. (Texas) and Professional Certification in Logistics (Georgia Tech). Research focuses on sustainability integration in engineering curricula, supply chain optimization, healthcare systems, and accreditation standards. She has secured over $3.6M in research funding and authored/co-authored over 140 peer-reviewed publications. Her teaching excellence is recognized through awards like the UTA Academy of Distinguished Teachers (2011) and UT System Regents’ Outstanding Teacher (2012). Key contributions include leading the 'Engineering Sustainable Engineers' NSF-funded project (2009–2012) and advancing ABET’s global accreditation efforts. She advises over 40 Ph.D. students and has been a mentor in systemic change initiatives for engineering education. Her service spans roles in the UT System Healthcare Steering Committee, Texas Higher Education Coordinating Board, and editorial boards for journals like Engineering Education Letters.

• Software Engineering
• Agile Methods
• Software Testing
• +۵ مورد دیگر

Dr. David C Kung is a Professor of Computer Science and Engineering at The University of Texas at Arlington (UTA), where he has served since 1997. He directs the Software Engineering Research Center and has over 30 years of combined academic and industry experience in software engineering. His research focuses on agile methodologies, software testing, security, and object-oriented systems. Education: PhD in Computer Science, Norwegian Institute of Technology, 1984 MS in Computer Science, Norwegian Institute of Technology, 1980 BS in Mathematics, Beijing University of Science, 1977 Research Interests: Software engineering, agile development, design patterns, testing methodologies, and security. His work includes tools like OOTWorks for OO testing and prototyping, licensed to telecom and IT companies. Recent Research Trends: Recent publications emphasize Android security (StateDroid), concurrent system testing, and formal verification techniques. He has contributed to combinatorial testing frameworks and stress-testing methodologies for data structures. Grants & Collaborations: Principal investigator on NSF-funded projects like the I/UCRC for Assistive Technologies and grants from Lockheed Martin and Ayoka Systems. He has led industry collaborations in training and software development. Labs/Teams: Director of the Software Engineering Research Center, overseeing projects in testing tools, agile environments, and security frameworks. Active in UTA’s software engineering cohort programs and industry partnerships.

• Theoretical Computer Science
• Programming Languages
• Formal Methods
• +۵ مورد دیگر

Nikos Tzevelekos is a Senior Lecturer at Queen Mary University of London's School of Electronic Engineering and Computer Science, affiliated with the Theory Group and the Centre for Fundamental Computer Science. He holds a PhD from the University of Oxford's Department of Computer Science and previously worked as a postdoctoral researcher there. His primary research interests include theoretical computer science, mathematical models of computation, programming languages, and formal methods. He explores game semantics and category theory to develop tools for program analysis and verification. Education: PhD in Computer Science, University of Oxford Research Interests: Dr. Tzevelekos focuses on foundational aspects of computation, including program semantics, automata over infinite alphabets, and the application of formal methods to software verification. His work bridges abstract theoretical models (e.g., game semantics) with practical tools for analyzing and verifying software systems. Awards: 2023: Distinguished Paper Award at LICS Grants & Advising: Lead researcher on the Innovate UK-funded grant Mokapot/Millr: Next Generation Cloud Computing Infrastructure (2019–2020). Labs/Teams: Member of the Theory Group at Queen Mary, contributing to the Centre for Fundamental Computer Science. Collaborates on projects involving automata theory, program equivalence, and formal verification techniques.