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

Xinjie Lanمشاهده پروفایل

عضو هیئت علمی

• Machine Learning Theory
• eXplainable Artificial Intelligence (XAI)
• Computer Vision
• +۳ مورد دیگر

Xinjie Lan is an Assistant Teaching Professor at Rice University's Data to Knowledge (D2K) Lab. He joined in May 2022 and previously held an instructor position at the University of Delaware, where he earned his Ph.D. in Electrical and Computer Engineering. His research focuses on machine learning theory, eXplainable AI (XAI), computer vision, and data science applications. Lan teaches capstone courses and specialized data science techniques in Rice's Master’s of Data Science program, including statistical machine learning, computer vision, natural language processing, and deep learning. Dr. Lan has collaborated with industry, government agencies, and research institutes on over 20 projects addressing topics in social science, manufacturing, and biomedical engineering. His teaching philosophy emphasizes conceptual understanding of data science principles over mere technical proficiency, preparing students for the demands of the big data era. His research contributions span theoretical advancements in deep learning generalization, adversarial defense mechanisms, and probabilistic modeling of neural networks. He actively bridges theoretical insights with practical applications, particularly in interpretable AI and algorithmic robustness. Lab affiliations include the Rice Data to Knowledge Lab, where he leads applied data science initiatives. While no formal awards are listed, his extensive collaborative projects and pedagogical innovations reflect his commitment to interdisciplinary impact.

Darren Cookمشاهده پروفایل

پژوهشگر ارشد

• Natural Language Processing
• Socially-Responsible AI
• Human-AI Collaboration
• +۷ مورد دیگر

Dr Darren Cook is a Research Fellow at The Violence and Society Centre, City St George's, University of London, where he applies Natural Language Processing (NLP) and data science to societal challenges such as domestic violence, law enforcement communication, and healthcare. He holds a PhD in Electrical Engineering from the University of Liverpool and has held research roles at Imperial College London and the Leverhulme Centre for the Future of Intelligence. His educational background includes: PhD in Electrical Engineering, Electronics, and Computer Science (EEECS), University of Liverpool (2017–2023) MRes in Decision-Making Under Risk and Uncertainty, University of Liverpool (2016–2017) MSc in Investigative and Forensic Psychology, University of Liverpool (2015–2016) BSc (Hons) in Psychology, The Open University (2010–2015) Dr Cook’s research focuses on Socially-Responsible AI and Human-AI Collaboration . He develops transparent, fair, and accountable AI systems, particularly focusing on mitigating biases in language models. His work aims to enhance human decision-making through AI augmentation, especially in high-stakes environments such as healthcare and emergency response. He has contributed to AI chatbots for chronic disease management and dementia care. The available publications indicate a strong trend in applying computational methods to social and psychological domains. His work spans protecting children online, supporting asthma patients via conversational agents, and analyzing political discourse through psychological and computational lenses. He has collaborated extensively with public sector organizations including: Metropolitan Police Merseyside Police London Fire Brigade NHS Heathrow Airport National Counter Terrorism Security Office (NaCTSO) As a Research Fellow, Dr Cook has been involved in advising and research projects rather than formal student supervision. His work has been supported by institutions such as the Turing Internship Network and the Leverhulme Centre for the Future of Intelligence. He has contributed to large-scale emergency exercise evaluations, including at Heathrow Airport and in London’s ‘Unified Response’ disaster simulation. He is an active researcher in the fields of NLP and computational social science, with a commitment to ethical AI implementation and societal impact.

• Formal Methods
• Concurrency
• Cybersecurity
• +۷ مورد دیگر

Carroll March is a professor in the School of Computer Science and Engineering at the University of New South Wales, where he teaches and conducts research in formal methods, concurrency, cybersecurity, and differential privacy. He is recognized for his innovative pedagogical approaches, particularly in embedding formal reasoning into programming education. His research interests center on formal methods in software development, with a strong emphasis on teaching students to use assertions, invariants, and logical reasoning to build correct and reliable programs. He has redesigned his course to address challenges in student engagement, especially during the pandemic, using structured weekly quizzes and multi-stage programming assignments to promote deep understanding. The course, though not made mandatory, has seen increasing enrollment due to its effectiveness and student satisfaction. It targets the 'middle third' of learners—those who benefit most from guided, incremental exposure to formal techniques. Carroll emphasizes emotional connection and pacing in teaching, fostering student confidence through carefully scaffolded learning experiences. He advocates for a shift from exam-based assessment to continuous, reasoning-focused evaluation. He has also contributed to curriculum development discussions, aiming to integrate formal methods earlier in computer science education, and has presented his teaching methods at academic workshops, including one in 2019.

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

پژوهشگر

• Formal Verification
• Programming Languages
• Mechanized Reasoning
• +۷ مورد دیگر

Shengyi Wang is an Associate Research Scholar in the Department of Computer Science at Princeton University, School of Engineering and Applied Science. He is actively engaged in research on formal verification, programming languages, and mechanized reasoning, with a focus on verifying concurrent systems, C programs, and network packet processing. Research Interests: His work centers on foundational and compositional verification of low-level systems using interactive theorem proving. Key areas include separation logic, concurrency, data structure invariants, and certified systems programming. He applies these to real-world challenges in systems security and network correctness. Recent Research Trends: His recent publications (2020–2024) show a strong trajectory in verifying complex systems such as concurrent C programs, P4-based packet processors, and enclave filesystems. The work consistently uses Coq and mechanized proofs to ensure correctness, emphasizing scalability and compositional techniques. Scientific Awards: No awards or fellowships are mentioned in the provided text. Advising and Grants: No formal students or advisees are listed. No grants or funding sources are explicitly mentioned. Labs and Teams: While not explicitly stated, his collaborations with researchers like Andrew W. Appel, Lennart Beringer, and William Mansky suggest involvement in Princeton’s formal methods and systems verification research group, likely associated with the Department of Computer Science.

• Information Security
• Privacy
• Trustworthy Machine Learning
• +۱۱ مورد دیگر

Michael Backes is the founding director and CEO of the CISPA Helmholtz Center for Information Security, a leading institution in cybersecurity and privacy. He is also a professor at Saarland University and director of the CISPA-Stanford Center. His research spans trustworthy machine learning, secure software systems, and privacy-preserving technologies, with over 300 publications in top venues. Backes holds a professorship at Saarland University since 2005 and was a Max Planck Fellow at the Max Planck Institute for Software Systems (2007–2017). He earned his doctorate and has been recognized with numerous honors, including an honorary doctorate from Université de Lorraine. His research focuses on trustworthy information processing, particularly in machine learning and AI security. He investigates privacy-preserving methods, secure model training, adversarial robustness, and ethical AI. His work combines theoretical foundations with practical applications in medical data privacy, mobile security, and large language models. The recent publications highlight a strong trend in securing AI systems—especially large language models—against data leakage, prompt theft, misuse, and bias. His group develops benchmarks (e.g., HateBench, MGTBench), analyzes model memorization, and designs privacy-preserving techniques, reflecting a deep engagement with emerging AI security challenges. ACM Fellow (2023) IEEE Fellow (2018) ERC Synergy Grant (2014) ERC Starting Grant (2009) Karl-Heinz Beckurts Prize (2019) MIT TR35 Award (2009) NSA Cybersecurity Research Award (2017) IBM and Microsoft Research Awards Backes has mentored over 30 PhD students and postdocs, many of whom now hold faculty or leadership positions globally. He leads a large research group at CISPA and runs a competitive postdoc fellowship program. His team receives substantial funding from EU and German agencies. He actively promotes technology transfer and public engagement in cybersecurity. He leads the AI Security and Privacy research group at CISPA, which includes current members such as Xinyue Shen, Yang Zhang, and Wenhao Wang. The group collaborates internationally, notably with Stanford University, and operates at the intersection of systems, AI, and security research.

Anders Blomdellمشاهده پروفایل

استاد

• Control Systems
• Real-Time Systems
• Embedded Systems
• +۷ مورد دیگر

Anders Blomdell is a Professor in the Department of Control Engineering at the Faculty of Engineering, Lund University. His work bridges theoretical control systems with practical applications in real-time, embedded, and cloud-based environments. He is actively involved in research projects focusing on autonomous systems, industrial automation, and networked control. His research interests include Control Systems , Real-Time and Embedded Systems , Networked Control , Industrial Automation , Robotics , and Cloud-Controlled Systems . These areas reflect his focus on scalable, adaptive, and secure control solutions for complex, interconnected systems. The recent publications highlight a strong trend toward event-based control , large-scale optimization , autonomous adaptation , and secure cloud integration . His work often combines control theory with computer science, particularly in distributed and real-time settings, showing a consistent effort to address challenges in latency, scalability, and robustness. Scientific Awards: Advising and Grants: While specific students are not listed, Anders Blomdell leads and participates in major research initiatives such as WASP, ELLIIT, and the Nordic University Hub on Industrial Internet of Things (HI2OT). These projects involve significant funding and collaboration with industry and academia, indicating active mentorship and leadership in training next-generation researchers. Labs and Teams: He is associated with RobotLab LTH and contributes to the development of tools like TrueTime and LabComm , which are widely used in real-time and networked control research. His work supports both academic and industrial innovation in automation and intelligent systems.

Catalin Hritcuمشاهده پروفایل

دانشیار

• Formal Methods for Security
• Secure Compilation
• Compartmentalization
• +۱۳ مورد دیگر

Catalin Hritcu is a Tenured Faculty member at the Max-Planck-Institut für Sicherheit und Privatsphäre (MPI-SP), where he leads the Formal Security Verification group. He is also an APL Professor at the Faculty of Computer Science and a member of the Horst Görtz Institute for IT Security. His research lies at the intersection of programming languages, formal methods, and cybersecurity, with a strong emphasis on building verifiably secure systems. His research focuses on formal methods for security , including secure compilation, compartmentalization, memory safety, and information flow control. He also works extensively on programming languages , particularly program verification, proof assistants, dependent types, formal semantics, and property-based testing. His applied work involves the design and verification of security-critical systems , such as compilation chains, reference monitors, tagged architectures, and high-assurance cryptography. The 15 most recent articles reflect a consistent trajectory toward machine-checked secure compilation, with a focus on mitigating undefined behavior in C through compartmentalization. His work bridges theory and practice, using formal semantics and proof assistants like F* to verify real-world systems. Key themes include software fault isolation, tagged architectures, capability machines, and scalable verification techniques for realistic languages. Scientific awards include: ERC Starting Grant for formally secure compilation Distinguished Paper Award at CSF 2019 Distinguished Paper Award at CSF 2021 Catalin Hritcu has held leadership roles in major academic venues: he is Chair of the Steering Committee of the Certified Programs and Proofs (CPP) conference, founder of the Principles of Secure Compilation (PriSC) workshop, and has served as Track PC Chair for CCS 2024, PC and Conference Chair for CPP 2020–2021, and General Chair of EuroS&P 2017. He has received competitive research grants such as the ERC Starting Grant, which supports high-risk, high-reward research in secure compilation. He leads the Formal Security Verification group at MPI-SP, which conducts cutting-edge research in secure compilation and formal verification. The group actively contributes to the development of verification tools like F* and SECOMP, and collaborates with leading institutions including Inria, Microsoft Research, and academic partners in Europe and the US.

Andreas Hülsingمشاهده پروفایل

دانشیار

• Post-Quantum Cryptography
• Cryptography
• Quantum Computing Security
• +۳ مورد دیگر

Andreas Hülsing is an Associate Professor leading the Applied and Provable Security (APS) group at Eindhoven University of Technology (TU/e). His research focuses on post-quantum cryptography, encompassing theoretical models of quantum attacks, formal security arguments, and applied areas like side-channel attacks and hash-based signature schemes. He holds a PhD from TU Darmstadt and has held roles as assistant professor, postdoctoral researcher, and research fellow at institutions including TU Darmstadt, TU/e, and Fraunhofer SIT. Education: PhD in Cryptography and Computer Algebra (TU Darmstadt, 2013), Diploma in Computer Science (TU Darmstadt, 2008). Research Interests: Post-quantum cryptographic protocols, hash-based signatures (e.g., SPHINCS+, XMSS), security proofs, quantum-resistant algorithms, and cryptographic standardization. Current projects include the NWO Vidi grant for post-quantum theory and collaboration with SandboxAQ on high-assurance cryptographic software. Grants & Awards: NWO Vidi Grant (2019) supporting his research on post-quantum cryptography fundamentals. Advising: Mentors PhD students including Silvia Ritsch and Fiona Weber, with past advisees like Leon Groot Bruinderink (PhD 2019). Supervises postdocs such as Kathrin Hövelmanns, now an APS group assistant professor. Professional Service: Co-Editor-in-Chief of IACR Communications, program committee roles for major conferences (e.g., SAC, PQCrypto), and organizer of events like the PQC Spring School and QUIQUES workshop. Teams & Labs: Leads TU/e's APS group and collaborates with Coding Theory and Cryptology groups, contributing to initiatives like the Formosa project for cryptographic software validation.

Wenke Leeمشاهده پروفایل

استاد

• Network Security
• Botnet Detection
• Malware Analysis
• +۷ مورد دیگر

Wenke Lee is the USG Regents Professor and John P. Imlay Jr. Chair in Software at Georgia Tech's College of Computing, where he has been a professor since 2001. He currently serves as Executive Director of the Institute for Information Security & Privacy (IISP), leading Georgia Tech's global cybersecurity initiatives. His academic roles also include leadership in the Georgia Tech Information Security Center (GTISC) from 2012 to 2015. Dr. Lee holds a Ph.D. in Computer Science from Columbia University (1999). His research focuses on systems and network security, including botnet detection, malware analysis, and secure software development. Notable contributions include co-founding Damballa, Inc. (2006), a cybersecurity firm targeting botnet mitigation. His research interests span anomaly detection, adversarial machine learning, and privacy-preserving technologies. Recent work emphasizes AI-driven security solutions, IoT protection, and cyber-physical system resilience. Lee’s projects are funded by NSF, DHS, DoD, and industry partners. Key awards include the USG Regents Professorship and the John P. Imlay Jr. Chair. He has authored over 100 publications, with many highly cited in cybersecurity domains. His affiliations include the School of Cybersecurity and Privacy, CERCS, and the Online Master of Science in Computer Science (OMSCS) program.

• Electromagnetic Field Design
• Antenna Engineering
• Computational Intelligence
• +۳ مورد دیگر

Rocío Sánchez Montero is an Associate Professor in the Department of Signal Theory and Communications at the University of Alcalá. She holds a PhD from the same institution (2011), focusing on computational intelligence techniques for robust design of radiant devices. Her work is centered in the Radiation and Sensing Group (RSG), addressing challenges in antenna engineering, electromagnetic field optimization, and biomedical applications. Her research interests include antenna design, wireless systems, and bioengineering applications of electromagnetic fields. Notably, she has pioneered methods for exposure mapping using evolutionary algorithms and developed miniaturized antennas for medical and industrial use. Her work integrates computational intelligence with hardware design, emphasizing practical applications in telecommunications and healthcare. Recent publications highlight advancements in wearable antennas, cryogenic radio telescope front-ends, and wireless power transfer for implantable devices. She also contributes to data protection policies, particularly pseudonymization techniques for public administration. Though no formal awards are listed, her prolific output (over 50 publications since 2003) reflects sustained contributions to electromagnetic engineering and interdisciplinary research. She advises through her teaching roles and collaborates on innovative projects at the Yebes Observatory and biomedical engineering interfaces.

Hao Chenمشاهده پروفایل

مدرس

• Machine Learning
• Cybersecurity
• Artificial Intelligence
• +۳ مورد دیگر

Hao Chen is a Lecturer and PhD candidate in Geospatial Information Sciences at the University of Texas at Dallas (UT Dallas), affiliated with the School of Economic, Political and Policy Sciences (EPPS). He teaches undergraduate courses on 'Drone and Remote Sensing' and is expected to graduate in Fall 2026. His research focuses on applying machine learning, cybersecurity, and deep learning to address challenges in software testing, AI security, and psychiatric treatment alternatives. Education: Pursuing a PhD in Geospatial Information Sciences at UT Dallas (expected 2026). Research Interests : - Machine Learning applications in cybersecurity and healthcare - Development and evaluation of large language models and mutation testing tools - Non-invasive psychiatric treatments using neural network simulations - Deception detection through visual feature analysis Recent Research Trends : Recent publications emphasize AI security (e.g., GAN-based voice threats), software fault localization, and interdisciplinary applications of deep learning in medicine and cybersecurity. Awards : Pioneer Student Research Grant (2023) Pioneer Student Research Grant (2024) Teaching & Advising : Instructs 'Drone and Remote Sensing' and actively contributes to student research grants. No formal advisees listed in current records.

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

استاد

• Verification
• Synthesis
• Probabilistic Model Checking
• +۷ مورد دیگر

Jan Kretinsky is a full professor at the Faculty of Informatics, Masaryk University, Brno, Czech Republic, and holds an affiliated professorship at the Chair for Foundations of Software Reliability and Theoretical Computer Science at Technical University of Munich (TUM), Germany. He specializes in formal methods, focusing on verification and synthesis of probabilistic systems, applications of machine learning in verification, and explainable AI. His research bridges theoretical foundations with practical tools, including the Automata Tutor teaching platform and the Rabinizer tool for LTL-to-automata translation. Education: PhD from TU Munich (advisor: Javier Esparza) and Masaryk University (advisor: Antonín Kučera), both with distinction. Previously an IST Fellow at IST Austria and a tenure-track assistant professor at TUM. Research interests span verification of neural networks, probabilistic model checking, temporal logics, and automata theory. He leads the LiVe Lab and collaborates on EU projects like the ERC grant InOVationCS. Active in organizing workshops (LiVe series, Dagstuhl seminars) and serves on program committees for conferences like CONCUR, LICS, and TACAS. Teaching includes courses on complexity, automata theory, and quantitative verification at both institutions. Supervised numerous PhD and master's students, with notable projects in decision tree controllers, runtime monitoring, and attack-defense analysis. Key grants include DFG projects (e.g., GOPro, ConVeY) and EU initiatives. Tools developed: Automata Tutor, Rabinizer series, dtControl, SeQuaiA, and QUADTool. Research highlights include PAC guarantees for MDPs, semantic abstraction for motion planning, and formal methods for cybersecurity.

Megha Quamaraمشاهده پروفایل

پژوهشگر

• Dependable systems engineering
• Safe AI
• Cybersecurity
• +۴ مورد دیگر

Dr. Megha Quamara is a Research Associate in the Department of Informatics at King's College London within the Faculty of Natural, Mathematical & Engineering Sciences. She actively contributes to the Horizon EU-funded SERMAS project under Prof. Luca Vigano's research group, focusing on security analysis of socio-technical systems integrating Extended Reality (XR) and human users. Her educational background includes a PhD in Computer Science and Telecommunications from University of Toulouse III – Paul Sabatier (2019-2022), a Master of Technology in Cyber Security from National Institute of Technology Kurukshetra (2016-2018), and a Bachelor of Technology in Computer Science and Engineering (2011-2015). Research interests center on Dependable systems engineering, Safe AI, Cybersecurity, and Formal methods with specialized applications in XR systems. Her work emphasizes formal-based automated tools for security analysis, user interaction modeling, and modular architecture design to address safety-security interplay in human-technology systems. Recent publications (2024-2025) reveal a cohesive research trajectory in Extended Reality, examining social acceptance of XR agents, multi-modal behavior analysis, formal security verification of identification protocols, and modular system architectures. These studies collectively advance secure and user-centric XR deployment through interdisciplinary methodologies. No scientific awards were documented in the provided materials. Megha serves as Deputy Secretary of IEEE ComSoc's Women in Communications Engineering committee, promoting STEM diversity. Her grant involvement includes the Horizon EU SERMAS project and a Defence Research and Development Organization (DRDO) initiative during her master's. No advisees are listed in current records. She operates within Prof. Luca Vigano's research group at King's College London, collaborating on the SERMAS project to establish foundational frameworks for next-generation XR systems through empirical studies and formal modeling approaches.

Christian Urbanمشاهده پروفایل

مدرس

• Theorem provers
• Programming languages
• Compilers
• +۴ مورد دیگر

Dr. Christian Urban is a Lecturer in Computer Science at King's College London's Department of Informatics, part of the Faculty of Natural, Mathematical & Engineering Sciences. He is actively involved in the Security Hub and King's Cybersecurity Centre, an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research. His research focuses on theorem provers, programming languages, compilers, type systems, and functional programming. He has led and contributed to multiple research projects, including Formal Verification of Practical Nominal Unification Algorithms (Royal Society-funded) and Nominal Techniques for Verification Environments . Research Interests: Formal methods for program correctness Automated reasoning and theorem proving Programming language semantics and compilation Nominal logic and its applications His work bridges theoretical foundations with practical tools, emphasizing verified software systems and formal verification techniques. Recent Projects: Formal Verification of Practical Nominal Unification Algorithms (2025-2027) Nominal Techniques for Verification Environments (2021-2024) Efficient and provably correct schedulers for many-core CPUs (2013-2015) Awards: Skolem Award from CADE (2015) Grants & Collaborations: Dr. Urban has secured funding from the Royal Society, DFG, and other bodies. His collaborations include projects on XML query optimization, schedulers for parallel architectures, and verified parser implementations. Labs/Teams: As part of the Informatics Department and Security Hub, he contributes to interdisciplinary research on software systems security, formal methods, and verified programming tools.

John Paul Gibsonمشاهده پروفایل

دانشیار

• Formal Methods
• Software Engineering
• Computer Security
• +۳ مورد دیگر

John Paul Gibson is an Associate Professor in the Department of Informatics at Telecom SudParis. His research focuses on formal methods, software engineering, and ethics in computing, with notable contributions to e-voting systems, formal verification, and digital ethics. He has authored and co-authored numerous papers in prestigious journals and conferences, including Formal Aspects of Computing , International Journal of Advanced Computer Science and Applications , and Journal of Information, Communication and Ethics in Society . His academic career includes leadership in interdisciplinary projects like the EU-funded Inclusion4EU initiative and ETHICS4EU, addressing inclusive software design and digital ethics education. He actively contributes to advancing ethical considerations in technology through studies on technical debt, AI ethics, and the political economy of Big Tech. His work bridges theoretical formal methods with practical applications, emphasizing the societal impact of computing systems. Gibson's research also extends to mobile crowdsensing optimization and cybersecurity, with publications in IEEE Transactions on Systems, Man, and Cybernetics and collaborations on cardiovascular risk studies. He has co-edited special issues on e-voting and digital ethics, showcasing his role in shaping academic discourse in these fields. His professional activities include organizing conferences like the International Workshop on Requirements Engineering for Electronic Voting (RE-Vote) and contributions to pedagogical initiatives such as problem-based learning in software engineering education. His lab affiliations include SAMOVAR, where he explores the intersection of formal methods and real-world system development.