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

Andrew Headمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Programming
• Reading
• +۱۳ مورد دیگر

Andrew Head is an Assistant Professor at the University of Pennsylvania in the Computer and Information Science department. His research focuses on human-computer interaction, programming, and reading, particularly in developing technology for interactive reading and reasoning. He advises PhD students Alyssa Hwang, Hita Kambhamettu, Litao Yan, Jeffrey Tao, and Jessica Shi, and co-leads the Penn Human-Computer Interaction (Penn HCI) group with Danaé Metaxa. His work is published in top venues like ACM CHI, UIST, and ICSE. Research Interests: Andrew's work bridges interactive systems with programming environments, aiming to enhance how scientists and programmers interact with their tools. Key areas include AI-assisted code understanding, math notation accessibility, and medical note interpretation through interactivity. He employs user studies to identify needs and builds interactive systems to address them. Recent Article Trends: His publications emphasize systems-centric HCI approaches, integrating AI into code and document interfaces. Topics span code explanation (e.g., Ivie), property-based testing (e.g., Tyche), math notation augmentation (e.g., FreeForm), and medical informatics (e.g., Explainable Notes). Recent work also explores notebook environments (e.g., Bolt-on, Tyche) and literate programming (e.g., Colaroid). Scientific Awards: Distinguished Paper Award, ICSE 2024 Best Paper Awards at CHI (2024, 2023, 2022, 2019), UIST (2023, 2018), and others. Nominated for Best Paper at CHI 2023 and VL/HCC 2015. Advising & Grants: Andrew advises multiple PhD students and has secured significant grants, including a $1M NSF award for 'Property-based Testing for the People' (2024). His group collaborates with Penn’s MindCORE center and teams like PLClub and PennNLP. Labs & Teams: He co-leads the Penn HCI group, which works closely with other Penn research teams and labs. The group focuses on creating interactive tools that enhance scientific and programming workflows, supported by grants and cross-institutional partnerships.

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

استاد

• Software-AI synergy
• Software dependability
• Software engineering
• +۷ مورد دیگر

Lin Tan is a Professor of Computer Science at Purdue University , holding the Mary J. Elmore New Frontiers Professorship . She joined Purdue in 2019 after serving as a Canada Research Chair and associate professor at the University of Waterloo. She is an ACM Distinguished Member and IEEE Senior Member . Education: PhD in Computer Science, University of Illinois Urbana-Champaign BS in Computer Science and Technology, Zhejiang University Research Interests: Professor Tan’s research lies at the intersection of software engineering , artificial intelligence , and security . Her work focuses on software-AI synergy , software dependability , defect detection & repair , and software text analytics . She leverages machine learning and natural language processing to enhance software reliability, and conversely uses software techniques to improve the dependability of AI systems. Her recent projects include building binary foundation models (Nova), evaluating large language models for code generation and repair, and developing interactive debugging tools that reduce debugging time by one-third. She also explores robot task planning with LLMs and automated front-end development . Awards & Honors: Best Paper Award Finalist, ICRA 2025 ELATES Fellow, 2024-2025 ACM SIGSAC Distinguished Paper Award, CCS 2024 J.P.Morgan AI Faculty Research Awards (2020, 2021, 2022) ACM SIGSOFT Distinguished Paper Awards (ASE 2020, MSR 2018, FSE 2016) Canada Research Chair (2017) Ontario Early Researcher Award (2015) NSERC Discovery Accelerator Supplements Award (2015) Google Faculty Research Awards (2010, 2014) IEEE Micro Top Picks (2006) Advising & Funding: Professor Tan currently advises eight PhD students and has graduated 20+ PhD and Master’s students now thriving in academia (York University, Concordia University, University of Alberta) and industry (Microsoft, Meta, Amazon, Google). Her group is generously supported by NSF , Meta/Facebook Research Awards , J.P.Morgan AI Faculty Awards , and NSF REU programs. Labs & Teams: She leads the Software Reliability & AI Lab at Purdue, recruiting postdocs, PhD, MS, and undergraduate researchers year-round. Lab interests span binary recovery , LLM-based program repair , testing deep-learning libraries , and data-free model extraction .

• Statistical Machine Learning
• Bayesian Experimental Design
• Probabilistic Programming
• +۳ مورد دیگر

Tom Rainforth is an Associate Professor of Statistical Machine Learning at the University of Oxford's Department of Statistics, leading the RainML Research Lab (rainml.uk). He holds a Tutorial Fellowship at Mansfield College and is Principal Investigator of the ERC Starting Grant 'Data-Driven Algorithms for Data Acquisition' (2024–2029). Previously, he held roles including a postdoc under Yee Whye Teh (2017–2019), Junior Research Fellow at Christ Church College (2019–2019), and Florence Nightingale Bicentennial Fellow (2020–2024). He earned his MEng in Mechanical Engineering from the University of Cambridge and his D.Phil from Oxford under Frank Wood and Michael Osborne, focusing on probabilistic programming and Monte Carlo methods. He briefly worked in Ferrari's Formula 1 team. Research Interests : Bayesian experimental design, probabilistic and data-efficient machine learning, active learning, deep learning (with a focus on probabilistic approaches), probabilistic programming, and Monte Carlo methods. His work emphasizes statistical efficiency and adaptive algorithms. Publications : Recent contributions span modern Bayesian experimental design, adaptive importance sampling (Daisee), and applications of probabilistic methods in LLMs and generative models. His research bridges theory and practice, addressing challenges in scalability and robustness. Awards : ERC Starting Grant (2024–2029), highlighting his leadership in foundational AI research. Advising & Grants : Supervises 15 graduate students, including work on Bayesian neural networks, generative flows, and experimental design. His ERC grant supports cutting-edge data-driven algorithm development. Labs & Teams : Directs the RainML Lab, which develops scalable Bayesian methods and probabilistic AI systems.

Aditya Parameswaranمشاهده پروفایل

دانشیار

• Database Systems
• Human-Computer Interaction
• Data Analytics
• +۳ مورد دیگر

Aditya Parameswaran is an Associate Professor in the Electrical Engineering and Computer Sciences (EECS) department at the University of California, Berkeley. He co-directs the EPIC Data Lab and the Police Records Access project, focusing on simplifying data science at scale through human-in-the-loop systems, LLM-powered tools, and scalable data systems. His research spans database systems, human-computer interaction, and machine learning, with notable contributions in tools like Lux, Modin, and DataSpread. Education : PhD in Computer Science from Stanford University (2013) BTech in Computer Science and Engineering from IIT Bombay (2007) Research Interests : Parameswaran's work centers on empowering end-users with intuitive data tools. Recent projects include LLM-powered systems for document processing (DocETL, TWIX), proactive data systems, and benchmarking frameworks. He emphasizes democratizing data science through low/no-code solutions and improving production ML workflows. Articles Trends : His recent work (2023–2025) prioritizes LLM integration into data systems, focusing on robust pipelines, assertion generation (SPADE), and debugging tools (RAGGY). Earlier contributions include visualization recommendation (Lux), scalable dataframes (Modin), and spreadsheet optimization (DataSpread). Awards : Recipient of the VLDB Early Career Award (2019), Sloan Research Fellowship (2020), NSF CAREER Award (2017), and multiple best paper/demonstration awards at top venues like SIGMOD and VLDB. Advising & Grants : Guides over 20 PhD/postdoc alumni, many now in academia (e.g., Madelon Hulsebos at CWI) and industry leadership roles. Active in securing grants (e.g., NSF, Army Research Office) and industry partnerships (e.g., Snowflake, LangChain). Labs/Teams : Leads the EPIC Data Lab, focusing on agentic data systems, and co-founded Ponder (acquired by Snowflake). Collaborates on the Police Records Access initiative, building transparency tools for public records.

• Intertwined history of Eastern Europe and the Middle East
• Memorial discourses
• Communication history of cities, regions, and states
• +۳ مورد دیگر

Prof. Stefan Rohdewald is a Professor of East and South-Eastern European History at the University of Leipzig since 2020. Previously, he held positions at Justus Liebig University Giessen (2013-2020), University of Passau (2003-2012), and University of Zurich (1998-2001). His research focuses on transregional histories, religious memory, and intercultural communication in Eastern Europe and the Ottoman sphere. Key roles include coordinating DFG’s Transottomanica program and leading the GiZo partnership with University of Zagreb. Education: PhD (2004, University of Zurich), Habilitation (2012, University of Passau). Research interests span memorial discourses, Ottoman-Europe relations, and sport history. Major projects include studies on Serbo-Bulgarian religious figures and transottoman mobility dynamics. He chairs conferences on minority politics and Ottoman Europe, contributing to over 70 peer-reviewed publications. Award-winning publications include Götter der Nationen (2014) and Vlad der Pfähler (2017). His work bridges Eastern European, Ottoman, and transnational histories through innovative methodological frameworks.

Peter Selingerمشاهده پروفایل

استاد

• Quantum Computing
• Category Theory
• Mathematical Logic
• +۴ مورد دیگر

Peter Selinger is a Professor in the Department of Mathematics and Statistics at Dalhousie University , with a cross-appointment in Computer Science. He specializes in mathematical methods in computer science, particularly quantum computing and combinatorial game theory . His work on quantum programming languages like Quipper and foundational research in category theory has garnered international recognition. Education : Ph.D. in Mathematics (University of Pennsylvania, 1997), undergraduate studies in Mathematics (Technische Universität Darmstadt). Research Interests span quantum computing, category theory, and combinatorial game theory. He has pioneered formalisms for quantum programming languages, developed categorical models for quantum mechanics, and analyzed game-theoretic structures in games like Hex. His recent work includes linear dependent type theory , quantum circuit synthesis , and combinatorial game classification . Publications demonstrate expertise in quantum programming languages, categorical semantics, and game theory. Key trends include Hamiltonian simulation , Clifford+T circuits , and monotone game realization . Scientific Honors include the Killam Professorship (2017–2022), Faculty of Science Award for Excellence in Teaching (2023), and fellowships from the Alfred P. Sloan Foundation and German National Scholarship Foundation . Students he has supervised include PhD graduates Xiaoning Bian , Francisco Rios , and Neil J. Ross , along with MSc students like Fahimeh Bayeh and Seth Greylyn . He has advised 16 postdoctoral researchers.

Xiaoxiao Liمشاهده پروفایل

استادیار

• Federated Learning
• Medical Imaging Analysis
• AI Fairness and Trustworthiness
• +۷ مورد دیگر

Dr. Xiaoxiao Li is an Assistant Professor in the Electrical and Computer Engineering Department at the University of British Columbia (UBC), with joint appointments in Computer Science (Associate Member) and the School of Medicine at Yale University (Adjunct Assistant Professor). She is also a Canada CIFAR AI Chair and Canada Research Chair (Tier II) in Responsible AI. Her research focuses on enhancing trustworthiness, fairness, and efficiency in AI algorithms and foundation models, particularly in healthcare applications. Education: B.S. (Honors) in Zhejiang University (2015), Ph.D. in Biomedical Engineering from Yale University (2020), Postdoc at Princeton University (2020-2021). She leads the Trusted and Efficient AI (TEA) Lab at UBC, which develops algorithms for federated learning, medical imaging analysis, and interpretable AI systems. Research interests include federated learning, generative models, medical image analysis, AI fairness, and graph-based methods for neuroimaging. Recent projects include GMValuator (data valuation for generative models), FairMedFM (fairness benchmarking in medical AI), and FedTextGrad (textual gradient-based FL optimization). Grants: Canada Foundation for Innovation Grant (2023), UBC Green Lab Fund (2023), Vector Institute funding Teaching: Courses on machine learning, federated learning, and AI ethics at UBC Awards & Recognition: Best Paper Award at FL@FM WWW 2024, Editorial Board Member of Medical Image Analysis , multiple top-tier conference acceptances (NeurIPS, ICLR, CVPR, MICCAI). Lab & Teams: TEA Lab collaborates with industry and hospitals to translate AI research into clinical tools. Current projects address AI fairness in healthcare, federated learning for medical data, and multimodal medical analytics.

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.

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.

Gregory Craneمشاهده پروفایل

استاد

• Greek & Latin Language
• Digital Humanities
• Classical Philology
• +۳ مورد دیگر

Gregory Crane is Professor of Classical Studies and Computer Science at Tufts University, where he holds the Winnick Family Chair in Technology and Entrepreneurship and serves as Chair of the Classical Studies Department. He also maintains a professorship in the School of Engineering's Computer Science department. Previously, he was Alexander von Humboldt Professor of Digital Humanities at Leipzig University in Germany from 2013-2019. PhD in Classical Philology, Harvard University (1985) BA in Classics, Harvard University (1979) Crane's research bridges traditional classical scholarship with digital technology. His work in classical studies focuses on ancient Greek authors, particularly Thucydides, with two major books published on the subject. Simultaneously, he has been a pioneer in digital humanities, beginning work on digital tools for classics as a graduate student in 1982. He is the Editor-in-Chief of the Perseus Project, which he has directed since 1985, developing morphological analysis systems and overseeing the project's evolution through multiple generations of digital library technology. His recent publications demonstrate a strong trend toward integrating artificial intelligence with classical language studies, developing next-generation digital libraries, and exploring new methods for engaging with classical texts in the digital age. Crane's work increasingly focuses on making ancient languages more accessible through technology, with research spanning digital philology, language learning tools, and corpus-based approaches to historical languages. Winnick Family Chair in Technology and Entrepreneurship Alexander von Humboldt Professor of Digital Humanities Crane has secured substantial research funding from major organizations including the National Endowment for the Humanities, the Andrew W. Mellon Foundation, the National Science Foundation, and Google. His current and recent projects include "Reinventing the study of ancient languages" and "Beyond Translation -- new possibilities for reading in a digital age." He has advised numerous students through senior honors theses and directed dissertation research in Classical Studies at Tufts University. Crane leads the Perseus Digital Library research program, which has evolved through multiple generations of technology to become a leading resource for classical studies. His work has established critical infrastructure for digital classics, including named entity identification systems and morphological analysis tools that have shaped the field of digital humanities.

• Artificial Intelligence
• Computational Social Choice
• Computational Complexity
• +۵ مورد دیگر

Edith Hemaspaandra is a Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), located in the Golisano College of Computing and Information Sciences. She holds a BS, MS, and Ph.D. in Computer Science from the University of Amsterdam (the Netherlands). Her research focuses on computational social choice, computational complexity theory, logic complexity, and formal methods. She teaches courses such as CSCI-262/263 (Introduction to Computer Science Theory) and CSCI-664 (Computational Complexity). Her work explores the algorithmic aspects of voting systems, including election manipulation, control, and bribery, with a focus on their computational complexity. She has also contributed to formal methods for automata theory, educational tools like JFLAP extensions, and the study of complexity classes such as LWPP and WPP. Her research bridges theoretical computer science with practical applications in social choice theory and algorithm design. Her grants include an NSF-funded project on computationally protecting elections from manipulation (2011). She actively publishes in top venues like STACS and ISAAC, addressing topics ranging from graph reconstruction to hybrid election models. Though no awards are explicitly listed, her extensive publication record highlights her contributions to theoretical computer science. Her advising and grant activities include collaborative research projects and educational tool development. She is affiliated with RIT’s Department of Computer Science and maintains a personal website and ORCID profile.

Benjamin Steinbergمشاهده پروفایل

استاد

• Finite Semigroup Theory
• Geometric Group Theory
• Algebraic Combinatorics
• +۵ مورد دیگر

Benjamin Steinberg is a Professor in the Mathematics Department at the City College of New York (CCNY) and the CUNY Graduate Center. He holds a Ph.D. from the University of California, Berkeley (1998) under John Rhodes and has held positions at the University of Porto (Portugal) and Carleton University (Canada). His research focuses on algebra, including semigroups, geometric group theory, algebraic combinatorics, representation theory, and automata theory, with notable work on etale groupoids, inverse semigroups, and ring theory. He is the author of several books, including *The q-theory of Finite Semigroups* and *Representation Theory of Finite Monoids*. Steinberg serves as Managing Editor of the *International Journal of Algebra and Computation* and has organized conferences such as the International Conference on Semigroups and Groups in Honor of John Rhodes. Research interests include the interplay between algebraic structures and their applications, such as in automata theory and Markov chains. His work bridges pure mathematics with combinatorial and geometric approaches, often involving categorical and topological methods. Recent articles explore topics like Nekrashevych algebras, twisted Steinberg algebras, and Lyndon's identity theorem for monoids. He has contributed to the study of profinite groups and their connections to symbolic dynamics. Steinberg’s editorial roles and conference organization reflect his leadership in the mathematical community. Despite his defunct blog, his academic contributions remain prolific, with ongoing editorial work and research in algebraic combinatorics and representation theory.

• Web Security
• Software Security
• Secure Programming
• +۳ مورد دیگر

Prof. Dr. Martin Johns serves as Chair of Application Security at the Institute for Application Security within the Carl Friedrich Gauss Faculty at Technical University Braunschweig. He joined TU Braunschweig after working as Research Expert at SAP Security Research, where he shaped security strategy and led software security teams. Prior to SAP, he worked as software engineer in Germany at companies like TC Trustcenter and Infoseek Germany. Academic qualifications include a PhD in Computer Science (University of Passau, 2009) and a Diploma in Computer Science (University of Hamburg, 2003). His research focuses on web security and software security , particularly secure programming , vulnerability detection , and attack mitigation strategies. Recent publications cover topics like GDPR compliance frameworks , WebAssembly security , federated learning privacy , and server-side request forgery (SSRF) defenses. His work appears in top conferences including IEEE S&P, CCS, WWW, and ACM CODASPY.

Andrew Headمشاهده پروفایل

استادیار

• Human-computer interaction
• Programming
• Reading
• +۵ مورد دیگر

Andrew Head is an Assistant Professor at the University of Pennsylvania's Department of Computer Science, specializing in Human-Computer Interaction (HCI) and Programming. His work bridges interactive reading , math notation accessibility , and AI-assisted code comprehension . Affiliated with Penn HCI, PLClub, and MindCORE, he co-leads research with Danaé Metaxa and Benjamin Pierce. University of Pennsylvania Assistant Professor, Computer Science Affiliations: Penn HCI, PLClub, MindCORE His research focuses on interactive reading interfaces , AI-powered programming tools , and math notation analysis . Recent projects include: FreeForm : Interactive math notation editor Tyche : Property-based testing tools Explainable Notes : Medical note interpretation systems Publications in CHI , UIST , and ICSE demonstrate his systems-centric approach combining user studies with working prototypes. Notable awards include Best Paper at UIST 2024 and CHI 2022. Advising: Ph.D. Students: Alyssa Hwang, Litao Yan, Hita Kambhamettu, Jeff Tao, Jessica Shi Grants: $1M NSF grant for Property-based Testing Tools (2024) Teaching: Spring 2025: CIS 4120/5120 - Human-Computer Interaction Fall 2024: CIS 7000 - Interactive Reading

Ola Wikanderمشاهده پروفایل

دانشیار

• Ancient Near Eastern Languages
• Hebrew Bible Studies
• Ugaritic Philology
• +۱۰ مورد دیگر

Ola Wikander is Senior Lecturer and Associate Professor in Old Testament Exegesis at Lund University 's Centre for Theology and Religious Studies, with affiliations to the Joint Faculties of Humanities and Theology. His work bridges Ancient Near Eastern languages with Indo-European studies through etymological poetics . Pro Futura Scientia Fellow (2017-2023) Visiting Scholar at Wolfson College, Cambridge (2021-2022) Member of Royal Physiographic Society in Lund Wikander's research focuses on: Philological analysis of Hebrew, Ugaritic, Hittite, and Luwian texts Interactions between Indo-European and Semitic linguistic cultures Historical phonology of Northwest Semitic languages Preservation of knowledge for nuclear waste communication Mythological motif transmission across cultures His scholarly output (69 items) covers: Ugaritic epic analysis Hebrew tense system typology Indo-European loanwords in Semitic Theurgical motifs in religious texts Hydro-philology intersections Comparative mythological studies Notable Awards Pro Futura Scientia Fellowship Eva och Lars Gårding Linguistics Prize August Prize Shortlist (2006) Carlo Landberg Foundation Award Academic Contributions include: Editorial board, Coniectanea Biblica Co-editor, Ugarit-Forschungen (2022-2024) Research projects on Semitic-Indo-European interactions Multi-year nuclear waste communication studies