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

Anna-Maria Meisterمشاهده پروفایل

استاد

• History of Modern Architecture
• History of Science and Technology
• Material Histories
• +۵ مورد دیگر

Anna-Maria Meister is a Professor at the Karlsruhe Institute of Technology (KIT) and Lise Meitner Group Leader at the Kunsthistorisches Institut in Florenz (KHI), a Max Planck Institute. Her work bridges histories of architecture and technology, focusing on the political, social, and aesthetic consequences of design processes and standardized systems. Born from PhD at Princeton, Master's at Columbia, and Diploma at TUM Co-director of saai Archive for Architecture and Engineering Executive Board Member of 'Das große kleine Haus' housing cooperative Research Focus: Investigates 'coded objects' as intersections of design, bureaucracy, and technology, including: Proto-algorithmic thinking in pre-digital architecture Metadata's role in archival knowledge systems Material consequences of standardization regimes Entangled temporalities in design processes Her article trends (2020–2025) reveal cross-disciplinary analysis of: Material epistemologies in 20th-century Germany Algorithmic traces in modernist pedagogies Archival fragility as design method Postwar normative design systems Scientific Awards & Roles: Lise Meitner Fellowship (2022–present) Max Planck Institute for the History of Science Fellow (2020s) Co-curator of 'Radical Pedagogies' research project Advising & Collaborations: Co-director of saai Archive (KIT) with international impact DFG-funded Impact Research Network Collaboration with Center for Critical Studies in Architecture (CCSA)

• Communication Theory
• Channel Coding
• Low-Density Parity-Check (LDPC) Codes
• +۳ مورد دیگر

Richard D. Wesel is an Associate Dean for Academic and Student Affairs at a College of Engineering, where he has held leadership roles such as Vice-Chair of the Electrical Engineering Department. With Ph.D. and M.S. degrees in Electrical Engineering from Stanford University and MIT respectively, his research focuses on communication theory and channel coding, particularly low-density parity-check (LDPC) codes and turbo codes for efficient data transmission over noisy channels. Education: MIT (B.S., M.S.), Stanford (Ph.D.) Leadership: Associate Dean, Former Vice-Chair of Electrical Engineering Wesel's research explores advanced techniques for broadcast and multiple-access communication systems, emphasizing applications in wireless LANs, satellite communications, and optical networks. His work integrates machine learning with traditional decoding algorithms, as seen in recent publications on neural-network-optimized LDPC decoding and parallel trellis-stage-combining methods for high-throughput systems. His articles demonstrate a focus on finite-blocklength coding, including CRC-aided list decoding for convolutional and polar codes, and voltage optimization strategies for flash memory reliability. Wesel has authored over 100 publications and led a research group that won the 2006 Design Automation Conference's top award for optical multiple access design. Scientific Awards: National Science Foundation CAREER Award Okawa Foundation Award As an educator, Wesel received the TRW Excellence in Teaching Award in 2000 and has contributed to academic governance through roles on the Faculty Executive Committee and Undergraduate Council. His work bridges theoretical communication systems with practical implementations, including FPGA-based decoders and adaptive coding for fading channels.

DU Mingمشاهده پروفایل

استاد مهمان

• Global Economic Governance
• International Law
• Rule of Law in China
• +۳ مورد دیگر

Professor DU Ming is a Visiting Professor in Chinese Law and Co-Director of the Global Policy Institute at Durham University. He holds an LLM from Harvard Law School and a DPhil from the University of Oxford. His research focuses on global economic governance, China's approach to international law, and the development of legal frameworks in contemporary China. He advises on complex international disputes and sits on editorial boards of leading law journals. **Education:** Tsinghua University School of Law (China) LLM, Harvard Law School (Victor and William Fung Fellow) DPhil, University of Oxford (Clarendon Scholar) **Research Interests:** His work bridges legal theory and practice, particularly in cross-border trade/investment law, corporate governance, and the ethical implications of emerging technologies. Recent publications explore federated learning governance, model licensing, and AI ethics within legal systems. **Awards:** Victor and William Fung Fellowship (Harvard) Clarendon Scholarship (Oxford) His advisory roles and legal practice in New York and Beijing inform his research on transnational legal challenges. Collaborations span technical and legal domains, addressing issues like data privacy in federated learning systems.

Paschalis Antonisمشاهده پروفایل

استاد

• Computer Engineering
• Digital Signal Processing
• Space Systems
• +۵ مورد دیگر

Paschalis Antonis is a Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. His research focuses on hardware architectures for space systems, embedded systems, and image compression standards such as CCSDS. He specializes in FPGA implementations, radiation-hardened electronics, and biomarker development for immunogenic responses to cancer therapies. Research Interests: High-performance FPGA-based hardware accelerators Space-grade embedded systems and data compression CCSDS standard implementations for aerospace applications Molecular biomarkers for immunotherapy response prediction Recent Trends: His work emphasizes resilient systems against radiation effects (e.g., SEUs in FPGAs), high-throughput image compression cores for space missions, and interdisciplinary research linking computational hardware with medical diagnostics via prothymosin α analysis. Grants & Labs: Leads the ASPIICS coronagraph project for ESA's Proba-3 mission, involving advanced optical instrumentation and formation flying systems. Collaborates on COTS FPGA utilization in extreme environments.

• American Poetry
• Transnational/Asian American Studies
• Empire Studies
• +۶ مورد دیگر

Dr. Mahshid Mayar is a DFG-funded Post-Doctoral Researcher at the North American Studies Program within the Department of English, American, and Celtic Studies at the University of Bonn. Her research focuses on intersections of literature and history, empire studies, childhood studies, and archives. She holds an academic blog at http://mahshid-mayar.me/blog/ and can be reached at mahshid.mayar@uibk.ac.at. Her research expertise spans American Poetry and Documental Protest Poetry Transnational/Asian American Studies (race & racialization) Empire Studies, including cartographies and age/race dynamics Childhood Studies and the history of education She also explores sound studies and archival politics, examining silences in cultural narratives. Her articles (2019–2025) critically analyze imperial pedagogies, cartographic scripts, and silences across disciplines. Notable works include studies on video games as cultural-political tools and the role of archives in shaping historical narratives. Dr. Mayar has organized conferences, workshops, and panels, reflecting her commitment to academic outreach. Her work bridges literary analysis with historical and geographical contexts, offering interdisciplinary insights into empire, childhood, and cultural memory.

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

استاد

• Programming languages
• Object-oriented programming
• Functional programming
• +۶ مورد دیگر

Martin Odersky is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences, where he heads the Programming Methods Laboratory (LAMP1). He maintains dual teaching appointments in the Systems and Software Engineering (SIN) and Software and Systems Engineering (SSC) sections. Education: Doctorate from ETH Zurich (1989) Odersky's research fundamentally explores the unification of object-oriented and functional programming paradigms. His work spans language design, type theory, compiler construction, and semantic foundations, driven by the thesis that these paradigms are complementary facets of a single computational model. This vision materialized in the Scala programming language, engineered for seamless Java/.NET interoperability while advancing type-safe abstractions for modern software development. His publication trajectory (1997-2005) reveals consistent innovation in bridging theoretical rigor with industrial applicability. Key themes include component-based modularity (Scalable Component Abstractions), dependent type systems for objects, and practical implementations of generics and functional constructs, all converging toward expressive yet safe programming models. Advising and Funding: Odersky has mentored 29 PhD students across his career, including 5 current candidates. His research sustains major funding from the Swiss National Science Foundation, European Commission, and Hasler Foundation, enabling foundational work in language design and implementation. Laboratory: He directs EPFL's Programming Methods Laboratory (LAMP), which drives Scala's evolution and investigates next-generation programming abstractions for concurrency, modularity, and type-driven development.

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

Lipeng Wanمشاهده پروفایل

استادیار

• Big Data Management
• High-Performance Computing
• Data-Intensive Computing
• +۳ مورد دیگر

Dr. Lipeng Wan is a tenure-track Assistant Professor of Computer Science at Georgia State University (GSU), located at 25 Park Place, room 733. He holds a B.Eng. in Communication Engineering from Nanjing University of Science and Technology (2008), an M.Eng. in Information and Communication Engineering from Southeast University (2011), and a Ph.D. in Computer Science from the University of Tennessee, Knoxville (2016). Prior to joining GSU, he served as a Computer Scientist at Oak Ridge National Laboratory (ORNL), first as a postdoctoral researcher (2016–2018) and later as a full-time research staff member (2018–202?). His research focuses on big data management and analytics , high-performance and data-intensive computing , and resilience and performance optimization for distributed systems . Key interests include scientific data workflows, I/O innovations for exascale systems, and error-controlled data compression frameworks like MGARD and HPDR. Dr. Wan’s recent work emphasizes adaptive data transmission (e.g., JANUS), load balancing in cloud environments (SciLance), and optimizing file access patterns on HPC systems. His publications address challenges in exascale computing, including I/O performance, geographically distributed data management, and feature-preserving compression for climate simulations. He leads research at GSU in collaboration with national labs like ORNL, focusing on advancing scalable data management techniques for high-performance computing applications.

Stephen Chongمشاهده پروفایل

استاد

• Programming Languages
• Information Security
• Language-based Security
• +۳ مورد دیگر

Stephen Chong is a Gordon McKay Professor in the Harvard John A. Paulson School of Engineering and Applied Sciences , where he co-directs the Undergraduate Studies in Computer Science program. His research intersects programming languages and information security , focusing on language-based security frameworks. Education : PhD in Computer Science from Cornell University (2008), B.Sc.(Hons) and B.A. from Victoria University of Wellington (New Zealand). Research : Develops tools like Formulog (Datalog + SMT for static analysis) and Accrue (Java interprocedural analysis), emphasizing security guarantees proportional to programmer effort. Grants : Funded by NSF , DARPA , AFOSR , and Google Faculty Research Award . Recent publications focus on neurosymbolic approaches (e.g., Guess & Sketch ), Datalog synthesis (e.g., Making Formulog Fast ), and quantitative robustness in cyber-physical systems. His group has pioneered formal methods for secure assembly transpilation and sensor attack modeling. Awards : NSF CAREER Award AFOSR Young Investigator Award Sloan Research Fellowship Advising : Supervised numerous PhD and senior thesis students, including Aaron Bembenek , Anitha Gollamudi , and Lucas Waye . Mentored projects like AbcDatalog (multi-threaded Datalog engine) and Shill (secure shell scripting). Labs/Teams : Leads the Programming Languages at Harvard group, collaborating with institutions globally. Organized workshops (e.g., NSF Workshop on Formal Methods for Security ) and chaired committees at conferences like CSF , POPL , and PLDI .

Anna-Lena Horlemannمشاهده پروفایل

دانشیار

• Algebraic Coding Theory
• Post-Quantum Cryptography
• Network Coding Theory
• +۳ مورد دیگر

Anna-Lena Horlemann is an Associate Professor for Foundations of Computation at the School of Computer Science, University of St. Gallen. Her research focuses on algebraic coding theory, post-quantum cryptography, and network coding. She leads the Coding Theory and Cryptography research group, actively contributing to NIST's post-quantum standardization efforts. Her work addresses quantum computing threats to current cryptosystems and develops error-correcting codes for reliable data transmission and storage. Education: PhD in Mathematics from the University of Zurich (2013), supervised by Prof. Joachim Rosenthal. Diploma in Mathematics from Ruhr-Universität Bochum. Research interests span coding theory (e.g., rank-metric codes, subspace codes), cryptography (code-based systems, privacy protocols), and neuroinformatics (connectome analysis). Recent publications emphasize Lee metric applications, MDS code classification, and cryptanalysis of Gabidulin-based systems. She mentors doctoral researchers such as Nadja Willenborg and Violetta Weger, focusing on topics like code densities and quantum-resistant algorithms. Her team's work bridges theoretical foundations and practical implementations, with contributions to error-correction resilience and cryptographic security in post-quantum scenarios. No formal awards listed, but actively participates in international conferences (IEEE, CBCrypto) and journal reviews.

Jonathan A. Kelnerمشاهده پروفایل

استاد

• Algorithms
• Complexity Theory
• Spectral Graph Theory
• +۴ مورد دیگر

Jonathan A. Kelner is a Professor of Applied Mathematics at the Massachusetts Institute of Technology (MIT) and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL) . His research bridges pure mathematics and algorithms, focusing on spectral graph theory, combinatorial optimization, and distributed computing.

• Cybersecurity
• Machine Learning
• Network Security
• +۶ مورد دیگر

Dr. Zhiyuan Tan is an Associate Professor in the School of Computing at Edinburgh Napier University (ENU), specializing in cybersecurity research. He holds a PhD in Computer Systems from the University of Technology Sydney (UTS), Australia (2014), an MEng from Beijing University of Technology, China (2008), and a BEng with high distinction from North-eastern University, China (2005). Before joining ENU in 2016, Dr. Tan held research positions at the University of Twente (Netherlands), University of Technology Sydney (Australia), and La Trobe University (Australia). Dr. Tan's research focuses on cybersecurity, machine learning, data analytics, virtualisation, and cyber-physical systems. His work has resulted in over 44 scholarly publications with an H-Index of 13 and more than 830 citations according to Google Scholar. His recent publications demonstrate a continued focus on network security, intrusion detection systems, and the application of machine learning techniques to cybersecurity challenges, with publications spanning from 2022-2025 in top venues including IEEE Transactions and international conferences. Dr. Tan has received significant research funding, including AUD 27,800 from CSIRO and UTS for autonomous network intrusion detection research and £6,987 from ENU for securing future 5G health care systems. His research has been recognized with awards including the National Research Award 2017 from the Research Council of the Sultanate of Oman, a Best Paper Award, and the Kaspersky Lab's Annual Student Cyber Security Conference Finalist Award. National Research Award 2017 from the Research Council of the Sultanate of Oman Best Paper Award Kaspersky Lab's Annual Student Cyber Security Conference Finalist Award Dr. Tan has mentored 9 PhD students over the past 5 years, with 6 successfully completing their studies. His students have produced 12 journal and 10 conference publications. He has also served as an editorial board member for international journals, organized special issues, and participated as a technical program committee member for major international conferences. Dr. Tan is currently recruiting PhD students for research projects on network security, adversarial machine learning for anomaly/malware detection, virtualization security, and IoT security.

Ivan H. Deutschمشاهده پروفایل

استاد

• Quantum Information Science
• Atomic, Molecular, and Optical Physics
• Quantum Optics
• +۴ مورد دیگر

Ivan H. Deutsch is a Distinguished Professor and Director of the Center for Quantum Information and Control (CQuIC) at the University of New Mexico (UNM), affiliated with the Department of Physics and Astronomy. He holds a PhD from UC Berkeley (1992) and an S.B. from MIT (1987). His research focuses on quantum information science, quantum control, and atomic-molecular-optical physics, with emphasis on quantum computing, quantum simulation, and quantum measurement protocols. He collaborates extensively with experimental groups to bridge theoretical and applied quantum technologies. Deutsch leads the Deutsch Research Group, which explores quantum tomography, entanglement generation in neutral atoms, and fault-tolerant quantum computation using Rydberg-dressed systems. Notable achievements include developing protocols for robust entangling gates in Sr and Cs atoms, and pioneering work on spin squeezing and collective spin control. He received the APS Five Sigma Physicist Award in 2019 for outstanding contributions to quantum science. Key Collaborations: Profs. P.S. Jessen (UC Irvine), T. Albash (USC), A. Miyake (UNM), and experimentalists at Sandia/Los Alamos National Labs. Current Projects: Quantum control of qudits, leakage error mitigation, and analog quantum simulation of chaotic systems. Teaching: Graduate courses in quantum mechanics, quantum optics, and modern atomic physics. His work bridges foundational theory with experimental implementations, emphasizing scalable quantum technologies and the computational complexity of quantum systems. The Deutsch Group actively engages in NSF-funded projects advancing quantum sensing, error correction, and NISQ-era applications.

Sophia Terazawaمشاهده پروفایل

استادیار مهمان

• Poetry
• Hybrid Forms
• Performance Art
• +۴ مورد دیگر

Sophia Terazawa is a Visiting Assistant Professor at Virginia Tech's Department of English. A Vietnamese-Japanese poet and performer, she has authored the novel Tetra Nova (2025) and poetry collections Winter Phoenix (2021), Anon (2023), with Oracular Maladies forthcoming (2026). Her work explores ghosts, cultural hybridity, and linguistic experimentation. MFA, University of Arizona BA, Ithaca College Her research focuses on multilingual poetry , hybrid forms , and performance art , blending Vietnamese-Japanese heritage with contemporary poetics. Creative works include cross-disciplinary collaborations like the poetry-ballet crossover Deixis (2025) and editorship of the Wilding Our Damage project. Recent publications span poetry journals ( Mantis , DREGINALD ), critical essays on mistranslation, and her novel Tetra Nova which interrogates border ethics through operatic structure. Themes of trauma, identity, and cultural synthesis recur across her work. Eric Hoffer Book Award Finalist (2024) Sturm Award for Creative Arts (2023) Tomaž Šalamun Prize (2018) She teaches courses in poetry , hybrid forms , and creative writing , and has led community workshops on tarot-poetry and Halloween-themed writing. Professional activities include co-organizing the Mahmoud Darwish marathon reading and judging the MAYDAY Micro-Chapbook Prize.

Jesper Cockxمشاهده پروفایل

استادیار

• Type Theory
• Dependently Typed Programming
• Pattern Matching
• +۶ مورد دیگر

Jesper Cockx is an Assistant Professor in the Programming Languages group at Delft University of Technology . His research focuses on the theory and implementation of dependently typed languages , particularly Agda , and he is a core contributor to Agda's development. His work bridges Type Theory , Pattern Matching , and practical Compiler Design through tools like agda2hs . Research Interests : Type Theory and Dependently Typed Programming Pattern Matching and Unification Agda and Compiler Implementation Erasure Annotations for Verified Compilation Generic Programming and Language Design Formal Verification of Functional Code Scientific Awards : NWO Veni Grant (2020) for a Trustworthy and Extensible Core Language for Agda Conference Contributions : He serves on program committees for CPP , WITS , POPL , and ICFP . Recent publications analyze erasure annotations , correct-by-construction compilers , and dependent (co)pattern matching in Agda. His work often intersects with Haskell and functional programming education in the Netherlands.