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

Sam Westrickمشاهده پروفایل

استادیار

• Parallel Programming
• Functional Programming
• Compiler Design
• +۴ مورد دیگر

Sam Westrick is an Assistant Professor in the Courant Institute of Mathematical Sciences at New York University . Previously, he was a postdoctoral researcher at Carnegie Mellon University , where he also earned his PhD in 2022 . Research Focus : Provably efficient implementations of high-level parallel programming languages, with key contributions in parallel garbage collection , automatic granularity control , and functional language design Teaching : Currently teaching CSCI-GA.3033-121: Programming Parallel Algorithms at NYU; was a TA for CMU courses 15-210 and 15-122 His work includes the development of MaPLe (MPL) , an open-source parallel functional language with performance comparable to C/C++. Notable awards include the SIGPLAN Reynolds Doctoral Dissertation Award (2023) and best/distinguished paper recognitions at QCE'24, POPL'24, and others. Selected Publications explore topics like quantum circuit simulation , cache coherence specialization , and separation logic for disentanglement . Active in conference service as ML Family Workshop chair and PLDI/SPAA committee member. Mentoring : Advises PhD students, master's and undergraduate researchers at NYU and CMU Collaborators : Umut Acar, Guy Blelloch, Stephanie Balzer, and 20+ others

Georg Kresseمشاهده پروفایل

استاد

• Theoretical Solid State Physics
• Surface Sciences
• Computational Materials Physics
• +۵ مورد دیگر

Georg Kresse is a full Professor of Computational Quantum Mechanics at the University of Vienna's Faculty of Physics, leading the Computational Materials Physics group. He developed the Vienna ab initio Simulation Package (VASP), a globally dominant tool for quantum mechanical materials simulations. His research spans theoretical solid-state physics, surface science, and computational materials physics, with recent emphasis on machine learning integration and advanced electronic structure methods. Born in Vienna (1967), habilitated in condensed matter theory Full member of Austrian Academy of Sciences and International Academy of Quantum Molecular Science Recipient of START Grant (2003), Kardinal-Innitzer-Preis (2016), honorary doctorate from Lund (2022) Research focuses include: Density Functional Theory : Development of advanced functionals (hybrid, GW, RPA) Machine Learning : Applications to materials properties and force fields Quantum Monte Carlo : AFQMC methods for solids Surface Physics : Oxidation reactions and catalytic processes His publications show strong representation in: Quantum mechanical simulations Electronic and optical properties Phase transitions and thermodynamics Energy materials and nanotechnology Major projects include: MECS : Materials for Energy Conversion and Storage (2023-2028) TACO : Taming Complexity in Materials Modeling (2021-2029) DCAFM : Doctoral College Advanced Functional Materials (2020-2025) His group maintains VASP, combining first-principles methods with machine learning to advance materials science understanding.

Wolf Müllerمشاهده پروفایل

پژوهشگر

• Cybersecurity
• Identity Management
• Cryptography
• +۵ مورد دیگر

Wolf Müller, Dr. rer. nat., is a Research Staff Member at the Humboldt University of Berlin's Institute of Computer Science, working within the Systems Architecture Group under Prof. Dr. Jens-Peter Redlich. His academic home is in the Faculty of Mathematics and Natural Sciences, where he contributes significantly to research and teaching activities in security and identity management. Dr. Müller's research spans electronic identity systems, security engineering, and cryptographic protocols. His work focuses on practical applications of identity management, security protocols, and anonymization techniques, with particular expertise in national identity card systems, mobile authentication, and reputation management. He has developed innovative approaches to secure identity verification that balance privacy concerns with authentication requirements. His publication record from 2005-2020 demonstrates consistent contributions to security research, with recent work addressing post-quantum cryptography applications and mobile identity verification systems. Dr. Müller has collaborated extensively with industry partners, particularly NEC, on projects related to secure identity management and reputation systems. Dr. Müller holds multiple patents in identity verification and security systems, demonstrating the practical impact of his research. His work bridges theoretical security concepts with real-world implementations, particularly in the domain of electronic identity systems and secure transactions. As an educator, Dr. Müller has taught courses on IT security fundamentals, electronic identity systems, and programming fundamentals since 2018. His teaching reflects his research expertise, providing students with both theoretical foundations and practical applications of security principles. His laboratory work centers around the BeID-lab and related projects, where he develops and tests secure identity management systems, mobile authentication solutions, and cryptographic protocols for real-world applications.

Aleks Kissingerمشاهده پروفایل

دانشیار

• Quantum Computing
• Quantum Software
• Quantum Foundations
• +۴ مورد دیگر

Aleks Kissinger is an Associate Professor of Quantum Computing at the University of Oxford's Department of Computer Science and joint head of the Quantum Group. His research focuses on quantum software, quantum foundations, and diagrammatic reasoning, leveraging tools like the ZX-calculus for circuit optimization and causal inference. He co-authored Picturing Quantum Processes , a foundational text in quantum theory using diagrams. Key roles include organizing conferences like QPL 2022 and developing open-source tools such as PyZX and Chyp. He has advised numerous students, including John van de Wetering and Sander Uijlen, whose theses span quantum compilation and categorical approaches to quantum computing. Research interests emphasize classical and quantum causal models, quantum compilation strategies, and graphical methods for error correction. He contributes to quantum education initiatives, making complex concepts accessible through diagrammatic techniques. Notable projects include the QISS and DeQS initiatives, focusing on quantum software and verification. His work bridges theoretical foundations with practical software development, aiming to advance scalable quantum computing technologies.

Wang Xiaoمشاهده پروفایل

استادیار

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

Xiao Wang is an Assistant Professor of Computer Science at Northwestern University, specializing in applied cryptography with a focus on privacy-preserving systems, secure multi-party computation, and zero-knowledge proofs. He holds a PhD from the University of Maryland and completed postdoctoral fellowships at MIT and Boston University. His research bridges theoretical cryptography and practical applications in machine learning, databases, health informatics, and legal domains. Education: Postdoctoral Fellowship: MIT & Boston University (2018–2020) PhD in Computer Science: University of Maryland (2015–2019) B.E. in Computer Science: Hong Kong University of Science and Technology (2011–2015) Research Interests: Secure computation frameworks (MPC, ZK) Privacy-preserving machine learning Cryptographic protocol design Applications in healthcare and legal systems Publications Trends: Recent work emphasizes scalable MPC protocols (e.g., BitGC), privacy in machine learning (Confidential-DPproof), and cross-domain applications like secure reporting systems. Over 40 peer-reviewed papers in top venues (CCS, S&P, Eurocrypt, USENIX Security) reflect his focus on both theoretical rigor and practical usability. Awards: ACM CCS Best Paper (2017, 2021) CSLAW Best Paper (2025) ICLR Spotlight Award (2024) Multiple industry-recognized competitions (iDASH 2015) Advising & Grants: Supervises a dynamic PhD/postdoc team (10+ active researchers). Leads NSF CAREER project on MPC systematization. Collaborates with Chicago-area hospitals and VA on secure health data analytics. Co-develops tools like ObliVM and ZKSMT . Labs/Teams: Core member of Northwestern's Cryptography and Privacy Engineering Group . Co-leads the MPC Tall Order initiative for standardized MPC frameworks. Partner in NIST threshold cryptography projects.

Karim Thebaultمشاهده پروفایل

دانشیار

• Philosophy of Science
• Quantum Theory
• Cosmology
• +۴ مورد دیگر

Karim Thebault is an Associate Professor in the Department of Philosophy at the University of Bristol, specializing in Philosophy of Science with a focus on foundational issues in physics. His work addresses topics such as quantum theory, cosmology, and the philosophy of time, often engaging with questions of scientific methodology and epistemology. He holds a BA from the University of Oxford, an MSc from the University of London, and a PhD from the University of Sydney. His research explores conceptual challenges in modern physics, including quantum gravity, cosmological singularities, and the interpretation of quantum mechanics. He also investigates how scientific understanding is achieved through analogue simulations and complex systems analysis. Key research themes include the problem of time in quantum gravity theories, the role of idealization in scientific models, and the philosophical implications of quantum cosmology. His recent work examines Bayesian approaches to theory confirmation and the epistemological status of unobservable phenomena in fundamental physics. Despite an extensive publication record, no specific scientific awards are listed. His professional activities include supervising graduate students and collaborating on interdisciplinary projects at the intersection of physics and philosophy. His contact information and further details are available at Cotham House, Bristol.

• Artificial Intelligence for Software Engineering
• Software Engineering Analytics
• Process Analytics
• +۳ مورد دیگر

Hoa Khanh Dam is a Professor in the School of Computing and Information Technology at the University of Wollongong, Australia. He serves as Director of the Decision System Lab and holds leadership roles including Deputy Head of School (Research) and Head of Postgraduate Studies. His research focuses on integrating Artificial Intelligence with Software Engineering to enhance software quality, cybersecurity, and productivity. Key areas include AI-driven solutions for project management, autonomous systems resilience, and privacy engineering. He actively supervises PhD and MPhil students exploring AI applications in software development and quantum computing. Recent funding includes a project on 'Monitoring and Safeguarding Deep Reinforcement Learning Systems.' Research interests span AI for software engineering, process analytics, service-oriented architectures, and cybersecurity resilience. His work addresses challenges such as adversarial machine learning, explainable vulnerability prediction, and GDPR-compliant privacy policies. The Decision System Lab under his direction develops AI tools for decision-making in complex environments, including adversarial search strategies and normative multi-agent systems. Teaching and supervision include advanced topics like AI-driven chatbots for university systems, quantum code generation, and CRM application development. His publications emphasize practical AI applications in software lifecycle management, including defect prediction, agile iteration planning, and robotic process automation optimization.

• Code-Based Cryptography
• Lattice-Based Cryptography
• Secret Sharing Schemes

Partha Sarathi Roy is a Senior Lecturer in Cyber Security at the University of Wollongong's School of Computing and Information Technology. His research expertise spans code-based cryptography, lattice-based cryptographic schemes, and secure secret sharing mechanisms. Previously, he held positions at Kyushu University and KDDI Research, following his PhD in Cryptography from the University of Calcutta. Dr. Roy's work focuses on developing advanced cryptographic protocols including puncturable encryption, proxy re-encryption, and password-protected security systems. His contributions emphasize lattice-based solutions for post-quantum cryptography and secure data sharing frameworks. He coordinates courses in system analysis and project management and has secured funding for quantum-safe storage research. Dr. Roy actively contributes to academic peer review for major cryptography conferences and journals.

Jonathan Katzمشاهده پروفایل

استاد

• Cryptography
• Computer and Network Security
• Theoretical Computer Science
• +۳ مورد دیگر

Jonathan Katz is a Professor in the Department of Computer Science at the University of Maryland, affiliated with the College of Computer, Mathematical, and Natural Sciences. He holds appointments in both Computer Science (CS) and Electrical and Computer Engineering (ECE). His research focuses on cryptography, cybersecurity, and theoretical computer science, with contributions to cryptographic protocol design, post-quantum cryptography, and secure multiparty computation. He has led the Maryland Cybersecurity Center (2013–2019) and served as an Eminent Scholar in Cybersecurity at George Mason University (2019–2020). Education: Ph.D. in Computer Science from Columbia University (2002), B.S. in Mathematics and Chemistry from MIT (1996). Awards: ACM Fellow (2021), IACR Fellow (2019), ACM SIGSAC Outstanding Contribution Award (2019), UMD Distinguished Scholar-Teacher (2017), Humboldt Research Award (2015), NSF CAREER Award (2004). Research Interests: Cryptographic protocols, post-quantum security, privacy-preserving computation, and blockchain technologies. Notable contributions include foundational work on password-based authenticated key exchange and co-authoring the textbook Introduction to Modern Cryptography . Students Advised: Includes PhD candidates such as Kasra Abbaszadeh, Noemi Glaeser, and Benjamin Sela. His work has been supported by grants from NSF, DARPA, and industry partnerships. Labs/Teams: Active in the Joint Center for Quantum Information and Computer Science (QuICS) and the Maryland Cybersecurity Center, focusing on post-quantum cryptography and secure distributed systems.

Andreas Schnyderمشاهده پروفایل

استاد پژوهشی

• Topological phenomena
• Non-equilibrium phenomena
• Unconventional superconductivity
• +۳ مورد دیگر

Andreas Schnyder is a Research Professor and Group Leader at the Max Planck Institute for Solid State Research in Stuttgart, Germany, where he leads the Quantum Many-Body Theory department. His research focuses on topological phenomena in condensed matter systems, non-equilibrium physics, and unconventional superconductivity. He holds a PhD in Theoretical Physics from ETH Zürich and was previously a postdoctoral fellow at the Kavli Institute for Theoretical Physics. Research Interests: Dr. Schnyder's work spans topological insulators, non-Hermitian quantum systems, and synthetic quantum materials. His group develops theoretical frameworks to understand exotic quantum states and their potential applications in quantum computation. Key areas include: Topological classification of quantum matter Non-equilibrium dynamics in superconductors Quantum magnet phenomena and frustration effects His publications demonstrate a strong focus on topological materials characterization, with recent work exploring kagome superconductors and higher-order topological states. Research trends show increased emphasis on experimental validation of theoretical models and material-specific predictions. Awards: Walter Schottky Prize (2015) Polya Prize (2003) Dr. Schnyder leads an active research group including postdoctoral researchers and graduate students. He has supervised numerous PhD candidates who now hold positions at international institutions. His team collaborates extensively within the Max Planck-UBC-UTokyo Center for Quantum Materials.

• Network & Information Security
• Internet of Things (IoT) Security
• Attack Detection & Prevention
• +۴ مورد دیگر

Dr. Anca Delia Jurcut is an Assistant Professor in the School of Computer Science at University College Dublin (UCD), leading the DNS Research Lab. She holds a PhD in Security Engineering from the University of Limerick and a BSc in Computer Science and Mathematics from West University of Timisoara. With over 16 years of academic and industry experience, her research focuses on cybersecurity, including formal verification of security protocols, IoT security, and machine learning applications for threat detection. She has secured €1.5M+ in EU and national grants and authored over 120 peer-reviewed publications. Notable awards include the 2023 Best Paper Award from JNCA and inclusion in the World’s Top 2% Scientists (2024). Education: PhD (University of Limerick), BSc (West University of Timisoara) Research Interests: Cybersecurity, Attack Detection, Formal Verification, Blockchain, Quantum-Resistant Protocols Awards: World’s Top 2% Scientist, IEEE Senior Member, UCD Women in Science Award Research Highlights : Pioneered SDN attack datasets (InSDN), developed formal verification tools (CDVT/AD), and advanced ransomware classification frameworks. Current projects address quantum-resistant protocols, MEC security, and resilient IoT systems. Grants & Funding : Lead researcher on EU H2020 projects (e.g., AIDA), SFI grants (Machine Learning Labs), and NATO-funded studies on insider threats. Collaborates internationally on cybersecurity frameworks and edge computing security. Labs & Teams : DNS Research Lab (UCD), co-founder of the InSDN Dataset initiative, and contributor to the CDVT/AD formal verification tool.

Manfred Kudlekمشاهده پروفایل

استاد

• Theoretical Computer Science
• Formal Languages
• Petri Nets
• +۸ مورد دیگر

Prof. Manfred Kudlek was a Professor of Theoretical Computer Science at the University of Hamburg (Department of Computer Science) from 1977 until his retirement in 2005. He held an honorary professorship at the University of Iași, Romania since 2002. His academic career began with studies in physics (Diploma: 1966; PhD: 1970), followed by research and teaching in computer science. He was deeply involved in the European Association for Theoretical Computer Science (EATCS), attending all ICALP conferences and contributing reports to the EATCS Bulletin. A special issue of Fundamenta Informaticae (2014) was dedicated to his memory, highlighting his research legacy in formal languages and concurrency theory. His research focused on foundational topics such as minimal Turing machines, Lindenmayer systems, Petri nets, and multiset automata. He also explored cross-disciplinary areas including numerical systems in indigenous languages and LaTeX encoding for non-Latin scripts. Manfred’s work emphasized international collaboration, particularly with Eastern European researchers, and he actively participated in global academic events until his death in 2012 during the Turing Centenary Conference in Cambridge, England. Survived by his wife and daughter, condolences were accepted via dedicated email and postal addresses managed by the university. Manfred held leadership roles including membership in the Departmental Council, Curriculum Planning Committees, and the Library Committee. His post-retirement activities remained prolific, maintaining teaching and research engagement until his sudden passing. Notable for his passion for travel and conferences, he left a legacy of over 211 scientific publications and 152 conference reports.

• Cybersecurity
• AI/Machine Learning
• Wireless Networking
• +۹ مورد دیگر

Dr. Danda B. Rawat is an Associate Dean for Research & Graduate Studies and Full Professor in the Department of Electrical Engineering & Computer Science at Howard University's College of Engineering and Architecture (CEA). He leads several initiatives, including the Howard University Data Science & Cybersecurity Center and the DoD Center of Excellence in AI/ML. His research focuses on cybersecurity, machine learning, and wireless networking for emerging systems like IoT, smart cities, and tactical autonomy. Dr. Rawat has secured over $110M in research funding and graduated 39 PhD students, many from underrepresented groups. He holds numerous awards, including the NSF CAREER Award and DHS Scientific Leadership Award. Education : PhD in Computer Science from Old Dominion University. Research Interests : Cybersecurity, AI/ML, wireless networking, tactical autonomy, federated learning, and quantum computing. His work addresses challenges in secure autonomous systems, edge intelligence, and ethical AI. Awards : Includes NSF CAREER, DHS Leadership Award, Presidents’ Medal (Howard University), and IEEE recognitions. He is a Fellow of the IET and ACM/IEEE Distinguished Lecturer. Labs & Teams : Directs the CWiNs Lab, DoD CoE-AIML, and RITA (UARC). Active in federal consortia linking HBCUs to defense innovation. Grants : Over $110M as PI, including a historic $90M USAF contract for RITA, the first HBCU-led UARC.

Chang Liuمشاهده پروفایل

استاد

• Software Engineering
• Mobile Health
• 3D Immersive Learning Applications
• +۳ مورد دیگر

Chang Liu is a Professor in the Department of Electrical Engineering and Computer Science at Ohio University's Russ College of Engineering and Technology. He is affiliated with the Center for Scientific Computing and Immersive Technologies. His research focuses on applying software engineering big data to developer knowledge and integrating software principles into healthcare and educational technologies. He earned his Ph.D. in Information and Computer Science from the University of California, Irvine in 2002. Research interests include software engineering, mobile health applications, and 3D immersive learning tools. Notable projects include the VIADS visual analytic tool for clinical hypothesis generation and a VR app for Mal de Debarquement syndrome treatment. His work spans wearable health devices, quantum algorithm verification, and pediatric risk stratification using deep learning. Recent articles emphasize clinical research tools, healthcare data analytics, and immersive educational technologies. Over 60+ conference presentations and 28+ journal articles highlight contributions to medical informatics, software engineering, and edutainment systems. His patents cover authentication methods, gesture-based CAPTCHA, and health-related VR applications. Chang has led interdisciplinary STEM education initiatives, including summer camps and virtual learning environments. Collaborative projects involve medical researchers, educators, and industry partners. Current work explores neuromorphic AI agents and scalable software development methodologies.

Phil Yeohمشاهده پروفایل

مدرس ارشد

• Wireless Communications
• Digital Signal Processing
• UAV Communication Systems
• +۳ مورد دیگر

Dr. Phil Yeoh is a Senior Lecturer in Electrical and Electronic Engineering at the University of the Sunshine Coast's School of Science, Technology and Engineering. His research focuses on developing secure wireless communication systems for low-latency applications in transport, mining, agriculture, and healthcare. He holds a PhD and BEng from the University of Sydney and has previously worked at the University of Melbourne and University of Erlangen-Nuremberg. His research interests span: Physical-layer security in wireless networks UAV/drone communication optimization Federated learning for IoT security Quantum key distribution systems Recent publications demonstrate strong focus on machine learning applications in wireless security, with trends showing innovative approaches to edge computing authentication and energy-efficient distributed systems. Award highlights include IEEE best paper awards and prestigious fellowships supporting his work in communication protocols. Dr. Yeoh leads projects on secure resource allocation for UAV networks and advises students in wireless communication applications. His work has been supported by ARC Discovery grants and Humboldt Foundation funding.