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

Ana Damjanovicمشاهده پروفایل

استاد پژوهشی

• Ion Channels
• Protein Electrostatics
• Membrane Electrostatics
• +۳ مورد دیگر

Ana Damjanovic is an Assistant Research Professor in the Thomas C. Jenkins Department of Biophysics at Johns Hopkins University (JHU), affiliated with the Zanvyl Krieger School of Arts & Sciences. Her research focuses on ion channels, protein and membrane electrostatics, and computational biophysics. She holds a Ph.D. in Physics from the University of Illinois at Urbana-Champaign, where she studied quantum physics of photosynthetic light harvesting under Prof. Klaus Schulten. Subsequent postdoctoral research included work on photosynthesis with Prof. Graham Fleming at UC Berkeley, and molecular dynamics studies of protein ionization at JHU. Her current lab investigates ion channel mechanisms, protonation dynamics, and electrostatic effects in biological systems using advanced computational tools. Group members include graduate student Nauman Sultan (co-supervised with NIH's Bernard Brooks) and undergraduates Marianne Ri and Vivek Booshan. Past advisees include Ada Chen (now a NIH postdoc) and Maggie Li. Key research contributions include developing pH replica exchange methods, protein pKa prediction using machine learning, and structural-functional studies of voltage-gated sodium channels. Her work has been published in high-impact journals like Proceedings of the National Academy of Sciences and Biophysical Journal . Lab affiliations include the Computational Biophysics Group at JHU, with access to cutting-edge simulation techniques and experimental validation platforms. Ongoing projects explore ion channel selectivity, membrane protein dynamics, and computational modeling of protonation-dependent phenomena.

Jan de Gierمشاهده پروفایل

استاد

• Mathematical Physics
• Statistical Mechanics
• Solvable Lattice Models
• +۳ مورد دیگر

Jan de Gier is a Professor at the School of Mathematics and Statistics, The University of Melbourne . He is also the Founding Director of MATRIX , Australia’s residential research institute in the mathematical sciences, and a former Deputy Director and Chief Investigator in the Australian Research Council Centre of Excellence for Mathematical and Statistical Frontiers (ACEMS) . Additionally, he co-founded the Australian and New Zealand Association for Mathematical Physics (ANZAMP) in 2011 and served as its inaugural Chair. His research focuses on solvable lattice models at the intersection of mathematical physics and statistical mechanics . Key areas include the application of quantum integrability , algebraic structures like the Yang-Baxter equation, Hecke algebras, and quantum groups, as well as analytical methods such as complex analysis and elliptic curves. His work bridges pure and applied mathematics through connections between enumerative combinatorics , representation theory , and real-world phenomena like traffic flow modeling via exclusion processes . The 15 most recent articles reflect his expertise in integrable systems , non-equilibrium statistical mechanics , and algebraic combinatorics . Topics span Macdonald polynomials , stochastic duality , quantum spin chains , and traffic modeling , with methodologies involving matrix product forms , exact solutions , and critical phenomena analysis. He has contributed to editorial efforts through the AustMS Gazette and MATRIX Annals, and has been involved in public science communication via opinion pieces on mathematics funding and applications. His work emphasizes the importance of fundamental research in driving technological innovation, as highlighted in media articles discussing pi calculation , zero-knowledge proofs , and mathematics education .

Stanislaw Jareckiمشاهده پروفایل

دانشیار

• Cryptography
• Cybersecurity
• Distributed Systems
• +۳ مورد دیگر

Stanislaw Jarecki is an Associate Professor of Computer Science at the Donald Bren School of Information and Computer Sciences (ICS) at the University of California, Irvine (UCI). He joined UCI in 2003 after earning his Ph.D. in Computer Science from MIT in 2001 under Prof. Shafi Goldwasser. His research focuses on applied and distributed cryptography, with significant contributions to threshold cryptography, secure computation, and password-authenticated key exchange (PAKE) protocols such as OPAQUE, which secures 2 billion WhatsApp users. He also worked at Intertrust’s StarLab and Stanford’s applied cryptography group under Prof. Dan Boneh. Education: Ph.D., Massachusetts Institute of Technology, 2001. Research Interests: Distributed cryptography, secure multi-party computation, privacy-preserving protocols, threshold security, blockchain applications, and efficient cryptographic primitives. His work emphasizes practical solutions for real-world systems, including protocols resilient to server compromises and scalable encryption methods. Awards: 2023 IACR Fellow for contributions to distributed cryptography and efficient secure computation. Advising and Grants: Jarecki’s research has been supported by grants including NSF SaTC programs. He advises students on cryptographic protocol design and security mechanisms. His work on OPAQUE and CHIC protocols exemplifies his focus on bridging theoretical cryptography with practical implementation. Labs/Teams: Leads a research group focused on applied cryptography and security within ICS at UCI, collaborating on projects like secure computation, privacy-preserving data processing, and cryptographic protocol development.

Vishal Sharmaمشاهده پروفایل

مدرس ارشد

• Cyber-Physical Systems (CPS)
• 5G and Beyond Security
• Internet of Things (IoT)
• +۴ مورد دیگر

Dr. Vishal Sharma is a Senior Lecturer in the School of Electronics, Electrical Engineering and Computer Science at Queen's University Belfast. His research focuses on Cyber-Physical Systems (CPS), 5G/6G Security, Unmanned Aerial Vehicles (UAVs), Blockchain, and Digital Twins. He has held roles at institutions like Singapore University of Technology and Design (SUTD) and Soonchunhyang University, South Korea. Notable achievements include Best Paper Awards at ICCMIT 2017, IEEE SITE 2024, and HUCAPP/VISIGRAPP 2025. He leads the Innovation-by-Design Lab and is a Fellow of the Higher Education Academy (FHEA). Research Interests: Cyber Defence, UAV Security, Secure Computing, Network Security, and Sustainable Edge Computing. He has collaborated on projects like RapidRANDefender (QRICSec) and Traceable Procurement for Net-Zero Processes. Awards include the Royal Society International Exchanges Committee appointment (2025) and QUB's Individual Performance Award (2024). Grants and Projects: Principal Investigator for projects such as Exploring Operational Capabilities of Arm Morello for UAV Security (2023) and TUDOR: Ubiquitous 3D Open Resilient Network (2023). Active in editorial roles for IEEE Communications Magazine and IET Networks. His work aligns with UN Sustainable Development Goals (SDGs) related to climate action and innovation. Publications span 150+ articles in top journals/conferences, with a focus on secure communication, edge computing, and UAV networks. Supervises PhD students in cyber defence, AI security, and distributed ledger technologies.

• Neuromorphic Computing
• Hardware Accelerators
• VLSI Circuits
• +۵ مورد دیگر

Prof. Dr. Tobias Gemmeke is a University Professor at RWTH Aachen University's Faculty of Electrical Engineering and Information Technology, leading the Chair of Integrated Digital Systems and Circuit Design. His work focuses on neuromorphic computing, hardware accelerators, and energy-efficient electronics. He has pioneered advancements in FPGA-based computational neuroscience simulators, neuromorphic processor architectures, and sensor integration for industrial and medical applications. Research interests include time-domain computing, ReRAM reliability, and co-optimization of neural networks with hardware. Notable contributions include the neuroAIx framework for accelerated neuroscience simulations and energy-efficient ASIC designs for post-quantum cryptography. He actively explores memristive devices and domain generalization techniques for edge computing. Recent publications highlight innovations in spiking neural networks, sensor systems for plain bearings, and time-domain compute-in-memory engines. His work bridges theoretical neuroscience with practical hardware implementations, emphasizing scalability and real-time performance.

• Dynamical systems
• Ergodic theory
• Homogeneous spaces
• +۴ مورد دیگر

Manfred Einsiedler is a Professor in the Department of Mathematics at ETH Zurich, Switzerland, with office HG G 64.2 at Rämistrasse 101, 8092 Zurich. He teaches undergraduate and graduate courses including Linear Algebra (HS 2019), Analysis I/II, and Functional Analysis I/II, using his co-authored textbook Functional Analysis, Spectral Theory, and Applications . His research centers on dynamical and equidistribution problems in homogeneous spaces, with focus on closed horocycle orbits, geodesic orbits on the modular surface, and measure rigidity. Key contributions include work on effective equidistribution, entropy methods, and connections between ergodic theory and number theory. He has co-authored foundational texts: Ergodic Theory with a view towards Number Theory and Functional Analysis, Spectral Theory, and Applications in Springer's Graduate Texts in Mathematics series, alongside multiple in-progress volumes on entropy, homogeneous dynamics, and unitary representations. Recent publications explore integer points on spheres, rigidity of invariant measures, and Diophantine approximation on fractals, emphasizing collaborations with Lindenstrauss, Ward, Margulis, and Venkatesh. His work demonstrates consistent focus on homogeneous dynamics with applications to arithmetic problems, particularly through effective methods and measure classification theorems. While no specific awards or student lists are documented in the source, his extensive publication record and textbook authorship establish significant scholarly impact.

John C. Doyleمشاهده پروفایل

استاد

• Control Theory
• Dynamical Systems
• Network Science
• +۴ مورد دیگر

John C. Doyle is the Jean-Lou Chameau Professor of Control and Dynamical Systems, Electrical Engineering, and BioEngineering at the California Institute of Technology (Caltech), where he holds appointments in the Division of Engineering and Applied Science with primary affiliation in the Control and Dynamical Systems Department. His research bridges theoretical foundations with applications across biological, technological, medical, and ecological networks. He earned a BS and MS in Electrical Engineering from MIT (1977) and a PhD in Mathematics from UC Berkeley (1984), followed by consultancy at Honeywell Systems and Research Center (1976-1990). MIT: BS & MS in Electrical Engineering (1977) UC Berkeley: PhD in Mathematics (1984) Doyle's research centers on universal laws and architectures in complex systems, emphasizing robustness-efficiency tradeoffs, speed-accuracy tradeoffs (SATs), diversity-enabled sweet spots (DeSS), bowtie/hourglass structures, and evolvability. His work pioneers System Level Synthesis (SLS) for control systems with sparse, local, saturating, delayed, noisy, quantized, and distributed (SLSDNQD) components, integrating control theory, computation, communication, and machine learning to address challenges from neural networks to infrastructure resilience. Key concepts include virtualization, horizontal transfer, and virality in multiscale systems. Analysis of his publication trends reveals consistent interdisciplinary impact across neuroscience (brain connectivity modeling), systems biology (metabolic oscillations), network science (internet topology), and physics (turbulence, earthquakes), with recurring themes of robust-efficiency limits and architectural principles governing complex networks. His work demonstrates exceptional translation from abstract theory to practical tools like the Matlab Robust Control Toolbox and Systems Biology Markup Language (SBML). His scientific recognition includes: 1990 IEEE Baker Prize (ranked among top 10 most important mathematics papers 1981-1993) Three IEEE Automatic Control Transactions Awards (1998, 1999, 2021) ACM Sigcomm Paper Prize (2004) and Test of Time Award (2016) IEEE Control Systems Field Award (2004) Multiple early-career honors including IEEE Centennial Outstanding Young Engineer (1984) Doyle has mentored generations of students whose contributions include foundational software tools adopted globally. His research has secured sustained funding from NSF, NIH, and other agencies supporting theoretical advances in control frameworks and their applications to biomedical systems, network infrastructure, and environmental modeling. The SBML initiative exemplifies his group's impact in standardizing computational biology research. He leads a highly collaborative research ecosystem at Caltech that integrates engineers, biologists, neuroscientists, and computer scientists to develop universal principles for complex networks. Current efforts focus on translating theoretical insights into health technologies, resilient infrastructure, and climate-responsive systems through the application of robust-efficiency frameworks to emerging challenges in cyber-physical and biological domains.

Mingsheng Yingمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Programming
• Model-checking Quantum Systems
• +۵ مورد دیگر

Mingsheng Ying is a Distinguished Professor and Research Director of the Centre for Quantum Computation and Intelligent Systems (QCIS) at the Faculty of Engineering and Information Technology, University of Technology Sydney, Australia. He also holds the position of Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. Professor Ying graduated from the Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. His primary research interests span quantum computation (particularly quantum programming and model-checking quantum systems), programming theory and formal methods, and the foundations of artificial intelligence (focusing on logic and uncertainty). As an author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001), he has published over 100 papers in top international journals and conferences. His recent research publications demonstrate a strong focus on quantum programming languages, verification techniques for quantum systems, and the theoretical foundations of quantum computation. The trend in his work shows increasing emphasis on formal verification methods for quantum systems, particularly model-checking techniques for quantum Markov chains and quantum processes. His research bridges theoretical computer science with quantum information theory, creating frameworks for reliable quantum software development. Editorial Board, Artificial Intelligence, Elsevier, Amsterdam Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam Vice President, International Fuzzy Systems Association (elected in 2005) Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association Chairman, Chinese Association of Fuzzy Systems and Mathematics Professor Ying has secured significant research funding including multiple Australian Research Council Discovery Projects such as "Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems" (2013-2015) and "Process algebra approach to distributed quantum computation and secure quantum communication" (2011-2013). His work has also received funding from the National Natural Science Foundation of China and Tsinghua University. At QCIS, he leads research in quantum software theory and methodology, with applications in quantum cryptography and secure communication.

Elette Boyleمشاهده پروفایل

دانشیار

• Cryptography
• Computer Security
• Coding Theory
• +۷ مورد دیگر

Elette Boyle is an Associate Professor at Reichman University (IDC Herzliya) and a Senior Scientist at NTT Research . She holds a Ph.D. in Mathematics from MIT (advised by Shafi Goldwasser and Yael Tauman Kalai) and an undergraduate degree from Caltech . Education Ph.D. in Mathematics, MIT B.S. in Mathematics, Caltech Her research focuses on cryptographic solutions for secure data processing , particularly in secure multi-party computation , function/homomorphic secret sharing , and distributed point functions . Recent work explores topology-hiding communication , memory checking complexity , and sublinear-communication MPC . Key trends in her publications include: Advancements in Function Secret Sharing for branching programs and sparse vectors. Efficient Secure Multi-Party Computation protocols with preprocessing. Information-theoretic and computational Topology-Hiding Broadcast schemes. Optimized Oblivious Transfer with constant computational overhead. Scientific Awards European Research Council (ERC) Award Israeli Science Foundation (ISF) Grant United States Air Force Office of Scientific Research (AFOSR) Grant Google Research Scholar Award International Association for Cryptologic Research (IACR) Recognition As Director of the Foundations & Applications of Cryptography (FACT) Research Center , she leads collaborative work with institutions like Technion Israel , Cornell University , and NTT Research . Her students include Pierre Meyer (Ph.D.) , Matan Hamilis (Ph.D.) , and D'or Banon (MSc.) .

Prakash Muraliمشاهده پروفایل

دانشیار

• Quantum Computing
• Quantum Architecture
• Resource Estimation
• +۳ مورد دیگر

Prakash Murali is an Associate Professor in the Department of Computer Science at Cambridge University, specializing in quantum computing, quantum architecture, and resource estimation. He previously worked as a quantum architect at Microsoft, where he contributed to the Azure Quantum Resource Estimator. He earned his Ph.D. in Computer Science from Princeton University in 2021, with a dissertation recognized by the ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award. His research focuses on bridging the gap between quantum algorithms and hardware through compiler and architecture innovations. His awards include the ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award (2022), Communications of ACM Research Highlights (2022), and the IBM PhD Fellowship (2021). He leads a research group comprising PhD students (e.g., Sanaa Sharma and Dmitry Filippov), MPhil candidates, and undergraduate researchers. Key contributions include the TriQ compiler framework for quantum systems and the TimeStitch technique for decoherence mitigation. His work has been adopted in industry compilers and has influenced quantum benchmarking practices.

Henry Corrigan-Gibbsمشاهده پروفایل

استادیار

• Computer Security
• Cryptography
• Privacy-Preserving Systems
• +۳ مورد دیگر

Henry Corrigan-Gibbs is an Assistant Professor in MIT's Department of Electrical Engineering and Computer Science (EECS) and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads research in computer security, cryptography, and privacy-preserving systems. His work focuses on practical cryptographic systems that empower users while maintaining strong security guarantees. Notable contributions include the Tiptoe private search engine, Prio for privacy-preserving data aggregation, and Larch for secure authentication. His research has influenced industry standards at Apple, Google, and Mozilla, and has been recognized with awards such as the Best Young Researcher Paper at Eurocrypt and the Caspar Bowden Award. Education: PhD in Computer Science (Stanford University, advised by Dan Boneh), Postdoc at EPFL (hosted by Bryan Ford). B.S. in Computer Science from Yale University. Research Interests: Private Information Retrieval, Secure Authentication, Cryptographic Systems, Privacy-Preserving Analytics, and Hardware Security. His lab collaborates with PDOS and CSS research groups at MIT and co-hosts the MIT Security Seminar series. Grants and Funding: Supported by industry and government agencies (details in paper acknowledgments). Teaching roles include co-instructor for Applied Cryptography (6.5610) and Foundations of Computer Security (6.1600). Key Projects: Prio (used in iOS/Android), Tiptoe (private web search), Larch (backdoor-resistant authentication), and Whisper/Poplar systems for private data aggregation. His team includes postdocs, PhD students, and undergrad researchers working on cutting-edge cryptographic protocols.

Tom Leinsterمشاهده پروفایل

استاد

• Category Theory
• Metric Geometry
• Algebra
• +۳ مورد دیگر

Tom Leinster is a mathematician at the University of Edinburgh, specializing in category theory, metric geometry, and their applications to areas such as algebra, topology, and mathematical biology. His research focuses on the concept of magnitude, a measure for metric spaces and enriched categories, as well as entropy and diversity. He has authored influential books including *Basic Category Theory* and *Entropy and Diversity: The Axiomatic Approach*. Leinster's work bridges foundational mathematics with interdisciplinary applications, emphasizing the interplay between abstract structures and concrete problems. His research interests span category theory, metric geometry, algebraic topology, and mathematical biology. Key contributions include foundational work on magnitude and its connections to geometric measure theory, entropy characterization, and categorical frameworks for diversity measurement. Leinster also engages in mathematical education and ethics, advocating for responsible research practices. Notable publications include recent advancements in magnitude homology of Euclidean sets, extremal magnitude in metric spaces, and entropy modulo primes. His work often highlights interdisciplinary applications, such as biodiversity quantification and information-theoretic foundations.

Michela Becchiمشاهده پروفایل

دانشیار

• Computer Architecture
• Systems Software
• Heterogeneous Computing
• +۵ مورد دیگر

Michela Becchi is an Associate Professor in the Department of Electrical and Computer Engineering at North Carolina State University. She specializes in computer architecture, systems software, and applications, with a focus on heterogeneous systems, parallel algorithms, and acceleration techniques for bioinformatics, pattern recognition, and quantum computing. Her work spans multi-core CPUs, GPUs, FPGAs, and distributed clusters, emphasizing the boundary between hardware and software design. Dr. Becchi holds a Ph.D. and Master’s degree in Computer Engineering from Washington University in St. Louis (2009) and a Bachelor’s degree in Computer Engineering from Politecnico di Milano, Italy (2000). Her research has been recognized with prestigious awards, including the NSF CAREER Award (2015) and the University of Missouri System President Award for Early Career Excellence (2016). Her research interests include compiler and runtime techniques for heterogeneous systems, acceleration of bioinformatics algorithms, and high-speed networking applications. She has pioneered frameworks for efficient data transformation, GPU-accelerated compression, and memory-efficient graph algorithms for quantum computing. Her work also explores thread coarsening, mixed-precision auto-tuning, and secure multi-core processor design. Key contributions include the PILOT runtime system for GPU memory management, the GPU-FPtuner auto-tuner for floating-point applications, and innovative approaches to automata processors for genomic analysis. Her publications emphasize reproducible accuracy in scientific simulations and the optimization of irregular applications on many-core platforms.

Ju Sunمشاهده پروفایل

استادیار

• Machine Learning
• Numerical Optimization
• Computer Vision
• +۵ مورد دیگر

Ju Sun is an Assistant Professor at the University of Minnesota, Twin Cities, in the Computer Science & Engineering department. He leads the Group of Learning, Optimization, Vision, Healthcare, and X (GLOVEX) and plays key roles in the UMN Data Science Initiative (DSI), Program for Clinical AI, and AI-CLIMATE institute. Research Focus : Theoretical foundations of machine learning, computer vision, and numerical optimization with applications in healthcare, inverse problems, and medical imaging. Grants : $4.5M+ in funding including NSF ACED Program and NIH R01 grants for constrained deep learning and imbalanced classification. Teaching & Leadership : Featured in UMN seminars and AI institutes, with affiliations across Electrical and Computer Engineering, Health Informatics, and Medical School. Recent Publications address inverse problems, federated learning, imbalanced classification, and phase retrieval using deep generative priors and diffusion models. His group website details these innovations. Scientific Awards : McKnight Land-Grant Professorship (2025–2027) 2021 AAAI New Faculty Highlights Advising : Mentored three PhD graduates now at Meta, Amazon, and UCLA. Collaborations span medicine, materials science, and biomedical engineering, integrating physics-informed constraints into AI.

Jeroen Anton van Bokhovenمشاهده پروفایل

استاد

• Heterogeneous Catalysis
• X-ray Spectroscopy
• Sustainable Chemistry
• +۵ مورد دیگر

Prof. Jeroen Anton van Bokhoven is a Full Professor at ETH Zurich's Department of Chemistry and Applied Biosciences and Head of the Laboratory for Catalysis and Sustainable Chemistry at Paul Scherrer Institute. His research focuses on establishing structure-performance relationships in heterogeneous catalysts to enable sustainable chemical processes through advanced catalyst design. Education: B.Sc. in Chemistry, Utrecht University (1995) Ph.D. in Inorganic Chemistry and Catalysis (with honours), Utrecht University (2000) Research Focus: Van Bokhoven's group pioneers operando characterization techniques, particularly X-ray absorption spectroscopy and scattering methods, to study catalysts under realistic reaction conditions. Key research thrusts include methane conversion to value-added products (methanol, methyl esters), zeolite catalysis for olefin production, and design of stable catalysts for high-temperature oxidation processes. His work bridges fundamental surface science with industrial applications in sustainable energy and chemical manufacturing. Scientific Recognition: Swiss Chemical Society Werner Prize (2008) Academic Leadership: Van Bokhoven leads a multidisciplinary research group spanning ETH Zurich and Paul Scherrer Institute, supervising doctoral candidates and postdoctoral researchers. His group maintains strategic partnerships with industrial catalyst manufacturers and operates specialized facilities for in situ spectroscopy at the Swiss Light Source synchrotron. Current projects address carbon dioxide utilization, biomass conversion, and fundamental mechanisms of catalyst deactivation. Research Infrastructure: The group leverages state-of-the-art capabilities at the Laboratory for Catalysis and Sustainable Chemistry (PSI), including custom operando cells for XAS, XPS, and electron microscopy under reactive gas environments, enabling atomic-scale observation of catalytic transformations.