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

Melanie Volkamerمشاهده پروفایل

استاد

• IT Security
• Privacy Protection
• Human-Centered Security Design
• +۵ مورد دیگر

Professor Melanie Volkamer is a leading computer scientist at the Karlsruhe Institute of Technology (KIT), where she heads the SECUSO (Security, Usability, Society) research group within the Institute for Applied Informatics and Formal Description Methods at the Faculty of Business and Economics. She moved her research group from TU Darmstadt to KIT at the beginning of 2018 and has established herself as one of Germany's foremost experts on the human factor in security and privacy. Professor Volkamer's research focuses on human-centered security design, emphasizing that technical security solutions must be developed with user behavior and mental models in mind. She investigates why users often choose less secure passwords, fall for phishing emails, and how they react to security warnings. Her interdisciplinary team combines computer science, mathematics, and psychology to develop security solutions that better protect users against attacks while being usable in real-world contexts. Her publication record shows a strong focus on electronic voting security, email security, and cybersecurity awareness. Recent work includes analyzing the security challenges of online general meetings for listed companies, developing child-friendly authentication systems like KidzPass, and creating effective tools for detecting phishing emails. Her research demonstrates consistent attention to both technical security requirements and human factors in security design. Scientific Awards and Recognition: SECUSO tools recommended by the Federal Office for Information Security NoPhish concept materials included in the Federal Office for Information Security's CyberFibel since January 2021 Development of open source privacy-friendly apps available in the App Store Creation of educational tools like the Phishing Master Shooting Game Professor Volkamer actively advises on cybersecurity policy and regularly contributes to public discourse through media appearances and expert statements. She has supervised student projects that have resulted in practical security tools and has collaborated with government agencies including the Federal Ministry of Education and Research (BMBF) and the EU on security research projects. Her work with the Competence Center for Applied Security Technology (KASTEL) positions her at the forefront of Germany's cybersecurity research efforts. SECUSO, under Volkamer's leadership, develops practical security awareness measures including lectures, videos, flyers, and online tools that help citizens recognize fraudulent messages and better protect themselves online. The research group's work bridges academic research and practical application, making significant contributions to both theoretical understanding and real-world security solutions.

• Compilers
• Automatic Software Verification
• Compiler Optimization
• +۷ مورد دیگر

Nuno Pereira Lopes is an Associate Professor at Instituto Superior Técnico , part of Universidade de Lisboa , and a researcher at INESC-ID . He also serves as an advisor at FuriosaAI , focusing on tensor contraction processors for AI workloads. Research Interests : Compilers, formal verification of LLVM optimizations, machine learning frameworks, undefined behavior exploitation, probabilistic model checking, blockchain security, and many-core code generation. Teaching : Compilers and Computer/Informatics Engineering projects. Funding : Supported by Google, Matter Labs, NLnet, Oracle, PRACE, RNCA, and Woven by Toyota. Recent Publications focus on LLVM backend validation , PyTorch pipeline parallelism , C++ dynamic cast optimization , undefined behavior in C/C++ , and AI tensor processors . His work bridges compiler design, formal methods, and AI hardware. Academic Service includes representing Portugal in ISO/IEC JTC 1/SC 22 (C++), organizing FLoC'26 , and serving on program committees for PLDI, EuroLLVM, and CGO.

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

دانشیار بالینی

• Mechanism Design
• Combinatorial Auctions
• Spectral Graph Theory
• +۴ مورد دیگر

Benjamin Lubin is a Clinical Associate Professor in the Information Systems Department at Boston University's Questrom School of Business. He holds office 621A in the Rafik B. Hariri Building at 595 Commonwealth Avenue, Boston, MA 02215. His academic journey began with a Bachelor's degree in Computer Science from Harvard University in 1999, followed by six years working at BBN Technologies, where he contributed to advanced multi-agent modeling, scheduling, and logistics systems. He later returned to Harvard to complete his Ph.D. at the intersection of computer science, game theory, and economics. Dr. Lubin's research spans three primary areas: (1) mechanism design, particularly combinatorial auctions and exchanges that support efficient reallocation of goods with complex participant preferences; (2) application of spectral graph theory to advance social network analysis; and (3) leveraging network science and machine learning to improve healthcare delivery systems. His work demonstrates a consistent pattern of bridging theoretical computer science with practical economic applications, with recent publications showing increasing focus on healthcare applications while maintaining strong contributions to auction theory and network analysis. His research has been supported by significant funding from NIHCM and the Veterans Administration, and he has received prestigious recognition including the Siebel Fellowship and Yahoo Key Technical Challenge award. Dr. Lubin has mentored numerous graduate students including PhD candidates Vatche Ishakian, Marisabel Guevara, and Sarah Zheng, as well as Master's students Benedikt Buenz and Michael Weiss. Siebel Fellowship Yahoo Key Technical Challenge award As an educator, Dr. Lubin teaches several courses including IS 710 (Core MBA Class on Information Systems), IS 716 (Accelerated Part-Time Evening MBA), IS 717 and IS 756 (MSMBA Intensives), and QD601x (Business Experimentation on edX). His teaching materials include innovative approaches like using adventure games to teach web development and creating practical exercises for understanding analytics in business contexts. He has developed several software tools including JOpt for MIP programming, the Iterative Combinatorial Exchange market software, InvEigen for inverse eigenvector problems, SpectralGOF for network model goodness-of-fit testing, and SATS for spectrum auction instance generation.

Véronique Cortierمشاهده پروفایل

پژوهشگر

• Formal Verification of Security Systems
• Electronic Voting Protocols
• Cryptographic Protocol Design
• +۴ مورد دیگر

Véronique Cortier is a CNRS Research Director at the Lorraine Laboratory for Research in Computer Science and its Applications (Loria) in Nancy, France. She specializes in formal verification of security systems, particularly electronic voting protocols, and has co-authored over 80 publications. Her work bridges symbolic and computational models for cryptographic security. Notable roles include serving as program chair for CSF 2012-2013 and editorial duties for journals like TISSEC/TOPS. She leads the PEPR Cybersecurity Security Verification Protocol (SVP) (2022–2028) and has received grants from ANR, ERC, and PHC Alliance. Her research focuses on ensuring vote secrecy and verifiability in e-voting systems like Belenios , which has been used in 3,500+ elections. She also emphasizes transparency and public engagement through books and talks. 2022 : CNRS Silver Medal 2021 : Swiss Post bug bounty 2015 : Inria-French Académie des sciences Young Researcher Award Current advisees: Léo Louistisserand and Florian Moser.

R.K. Shyamasundarمشاهده پروفایل

استاد

• Real-Time Programming
• Reactive Programming
• Logic Programming
• +۷ مورد دیگر

R.K. Shyamasundar is a Professor at the Indian Institute of Technology Bombay , with a focus on Real-Time and Reactive Programming, Logic Programming, Pi-Calculus, and Parallel Programs. Research spans formal verification, concurrency, and distributed systems. Key contributions include RT-CDL semantics, Esterel language extensions, and hybrid system controller synthesis. Scientific awards include JC Bose National Fellow, Fellowships at Indian Academy of Sciences and Indian National Science Academy, and Senior Membership in IEEE. His work involves collaborations with institutions like TCS Group and researchers such as Basant Rajan, N. Raja, and Deepak Kapur.

Matthew Collinsonمشاهده پروفایل

مدرس ارشد

• Logic
• Theoretical Computer Science
• Information Security
• +۱۲ مورد دیگر

Matthew Collinson is a Senior Lecturer in Computing Science at the University of Aberdeen, where he also serves as Head of Computing Science and Academic Line Manager. He holds an affiliation with the Scottish Informatics and Computer Science Alliance (SICSA) and leads the EPSRC-funded project SSPEDI (Supporting Security Policy with Effective Digital Intervention). Education: BSc Mathematics, University of Edinburgh (1997) MSc Mathematical Logic, University of Manchester (1998) PhD Computer Science, University of Manchester (2003) Research Interests: His research spans theoretical computer science and cybersecurity , focusing on non-classical logics (intuitionistic, modal, substructural), semantics of computation , concurrency theory , and type theory . He applies these foundations to information security , particularly in modelling security policies, access control, and the economics of cybersecurity decisions. His work integrates formal verification , simulation tools (e.g., Gnosis), and game-theoretic models . Publications Trends: Recent publications (2016–2022) emphasize human-centred security , exploring how persuasion and behavioural interventions can reduce cybersecurity vulnerabilities. Earlier works (2008–2015) concentrate on mathematical systems modelling , layered graph logics , and trust domains , bridging high-level policy and low-level system configurations. Projects & Grants: SSPEDI (2017–2020, EPSRC): Human dimensions of cybersecurity policy compliance. ALPUIS (EPSRC consortium): Algebra and logic for security policy and utility. Trust Domains (RCUK/TSB, 2011–2014): Framework for modelling secure information sharing. Seconomics (EU FP7, 2012–2015): Socio-economic impacts of cybersecurity regulation. PhD Supervision: He has successfully supervised PhD students including Kevin McDonald (2014), Barry Taylor (2015), and Robert (Bob) Duncan (2016), whose theses addressed logic-based security architectures, vulnerability analysis, and cloud stewardship respectively. Labs & Teams: His research is conducted within the Computing Science section of the School of Natural and Computing Sciences, leveraging collaborations with National Grid, HP Labs, and other academic partners.

• Combinatorial Optimization
• Integer Programming
• Quadratic Programming
• +۴ مورد دیگر

Cédric Soutil is a Researcher at the Conservatoire National des Arts et Métiers (CNAM) , affiliated with the CEDRIC Laboratory. His work spans combinatorial optimization , integer programming , quadratic programming , and algorithm design , with a focus on solving complex optimization problems in scheduling and graph theory. Recent publications highlight his expertise in non-separable and non-convex quadratic integer programming , knapsack problems , and online computation . His research trends emphasize mathematical reformulations , upper bound algorithms , and optimization models for real-world applications like horse race scheduling and hydrogen production . He has collaborated extensively with researchers such as A. Houdayer , D. Quadri , and P. Tolla , contributing to over two decades of academic output in operations research and combinatorial optimization .

• Information Systems
• Databases
• Knowledge Graphs
• +۷ مورد دیگر

Stefan Decker is a full University Professor (Universitätsprofessor) at RWTH Aachen University, Germany, where he heads the Chair of Information Systems and Databases (Informatik 5) within the Faculty of Mathematics, Computer Science and Natural Sciences. He is actively involved in teaching, research, and the supervision of numerous ongoing and completed doctoral, master’s, and bachelor theses. Education & Academic Background Doctorate (Dr. rer. pol.) – field of Information Systems or related (exact institution/year not stated in text). Appointed as University Professor and Chair of Information Systems and Databases at RWTH Aachen University. Research Interests Prof. Decker’s work lies at the intersection of databases, knowledge graphs, semantic web technologies, data science, and cybersecurity . He investigates architectures and algorithms for large-scale, privacy-preserving, decentralized data analytics , develops ontology-driven information systems , and explores the use of large language models (LLMs) for educational technology, anomaly detection, and incident-response playbooks. Additional focal areas include smart energy systems, mixed-reality learning environments, FAIR data principles, and federated machine learning . Scientific Contributions & Trends His recent publications (2022-2025) demonstrate a clear trend toward explainable AI, LLM-enhanced systems, secure data spaces, and semantic interoperability . Key contributions include novel anomaly-detection frameworks for encrypted power-grid communications, knowledge-graph-driven chatbots for higher-education support, and methodological advances in decentralized analytics and FAIR data sharing. These works are disseminated in top-tier venues such as AAAI, IEEE ISGT Europe, ESWC, IDEAL, and various Springer LNCS and IEEE Transactions. Supervision & Grants Doctoral Theses Advised: A. T. Neumann – “Chatbots as professional companions in large-scale community information systems” (2024) S. M. Welten – “Methods for practical data sharing and decentralized analytics” (2025) Master’s Theses Co-Advised: A. R. Küsters – “Object-centric process constraints using variable bindings” (2025) Additionally supervising more than 30 ongoing bachelor, master, and doctoral projects covering topics such as LLM-driven cybersecurity playbooks, knowledge-graph construction for German law, privacy-preserving analytics in smart grids, and mixed-reality learning agents. Principal investigator or senior researcher in large collaborative projects including NFDI4DS, WestAI, champI4.0ns and several EU/national initiatives on sovereign data spaces and AI services. Labs & Teams Prof. Decker leads the Information Systems & Databases (DBIS) Research Group . The group operates well-equipped laboratories for knowledge-graph engineering, mixed-reality applications, privacy-enhancing technologies, and secure distributed analytics . Current team size exceeds 30 researchers including PhD candidates, postdocs, and scientific programmers, supported by national and EU funding streams.

Dominique Unruhمشاهده پروفایل

استاد

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

Dominique Unruh is a Professor at RWTH Aachen University , leading the Chair for Quantum Information Systems . Additionally, they hold a Professorship in Cryptography at the Institute of Computer Science of the University of Tartu , Estonia. Their research spans quantum computing , quantum cryptography , post-quantum cryptography , and formal verification of cryptographic protocols and programs. Research Focus : Quantum programs, zero-knowledge proofs, lattice-based cryptography, and quantum random oracle model. Key Contributions : Advancements in NTRU encryption efficiency, quantum Hoare logic, and rewinding techniques for security proofs. Tools : Active development in the EasyCrypt framework for cryptographic verification. Email : unruh@cs.rwth-aachen.de

• Software Engineering
• Model-Based Software Engineering
• Automated Reasoning
• +۵ مورد دیگر

Sebastián Uchitel is a Professor at the Department of Computing, Imperial College London, UK. His research focuses on foundational aspects of Software Engineering, particularly in modeling and analysis for automated reasoning, verification of probabilistic systems, controller synthesis, and adaptive systems. He has led major research projects, including the ERC-funded IDEAS StG project on Partial Behaviour Modelling and the European FP6 SENSORIA project. Research Interests: Model-Based Software Engineering, Controller Synthesis, Probabilistic Systems, Adaptive Systems, Requirements Engineering External Roles: General Chair, International Conference on Software Engineering (2017); Associate Editor, Elsevier Science of Computer Programming; Steering Committee, International Conference on Software Engineering His recent work explores intersections between Software Engineering and AI, including assured adaptive systems and logic-based learning. A Senior Member of IEEE and Distinguished Scientist of ACM , he has received awards like the Houssay Prize (2015) and Philip Leverhulme Prize (2005). Collaborators include institutions in Argentina, Canada, and the UK. Selected Publications: 150+ peer-reviewed works spanning controller synthesis, requirements engineering, and formal methods Students: Supervised 12 PhD students since 2003 Grants: Principal Investigator for 3 major grants (2005-2016) totaling over $3.7M USD, including: 2013-2016: Technology Platform in Software Engineering (ANPCYT, $1.6M) 2009-2014: ERC IDEAS StG on Partial Behaviour Modelling (€1.4M) 2005-2008: FP6 SENSORIA Project (€0.7M)

Roberto Giacobazziمشاهده پروفایل

استاد

• Theory of computation
• Programming languages
• Abstract interpretation
• +۳ مورد دیگر

Roberto Giacobazzi is a Professor at the University of Arizona specializing in theoretical computer science with a focus on abstract interpretation, program analysis, and verification. His research bridges theoretical foundations with practical applications in software security and verification systems. Dr. Giacobazzi received his Ph.D. from the University of Pisa in Italy in 1993, establishing a long-standing academic career focused on the theoretical underpinnings of program analysis. His educational background forms the foundation for his contributions to abstract interpretation theory. His primary research interests center around abstract interpretation, a theoretical framework for approximating program semantics. This work spans theory of computation , programming languages , program analysis and verification , and logic in computer science . Giacobazzi has made significant contributions to understanding completeness and precision in abstract interpretation, with applications extending to code obfuscation, security analysis, and more recently, AI fairness in legal contexts. His work demonstrates how theoretical computer science concepts can address practical software engineering challenges. An analysis of his recent publications (2022-2025) reveals a consistent research trajectory with increasing sophistication in abstract interpretation theory. His work shows a growing emphasis on completeness properties, precision limitations, and security applications. Notably, his 2024 publication on "Fairness of AI Systems in the Legal Context" indicates an expansion of his theoretical expertise into AI ethics and regulatory compliance, demonstrating the versatility of abstract interpretation frameworks. Dr. Giacobazzi has contributed extensively to major conferences in programming languages and verification, including SAS (Static Analysis Symposium), POPL (Principles of Programming Languages), and VMCAI (Verification, Model Checking, and Abstract Interpretation). His publications reflect deep theoretical insights while maintaining relevance to practical software analysis challenges. His research has significant implications for software security, particularly in code obfuscation techniques based on abstract interpretation. The systematic approach to measuring incompleteness in abstract interpretations has provided new frameworks for understanding and improving program analysis tools. His work continues to influence both academic research and practical applications in program verification and security.

Michael Bronsteinمشاهده پروفایل

استاد

• Machine Learning
• Computer Vision
• Pattern Recognition
• +۶ مورد دیگر

Michael Bronstein is a Professor at Università della Svizzera italiana (USI Lugano) in Switzerland and Imperial College London in the UK, where he holds the Chair in Machine Learning and Pattern Recognition. He serves as Head of Graph Learning Research at Twitter following the acquisition of his startup Fabula AI, and maintains a principal engineer position at Intel Perceptual Computing. His research focuses on the interplay between geometry, machine learning, and computer vision, with particular emphasis on non-Euclidean structured data. Professor Bronstein received his Ph.D. with distinction in Computer Science from the Technion in 2007. He has held visiting appointments at Stanford University, MIT, Harvard University (as a Radcliffe Fellow), and Tel Aviv University, and has been affiliated with multiple Institutes for Advanced Study including TUM-IAS where he was a Rudolf Diesel Industry Fellow (2017). He is a Fellow of IAPR, Senior Member of the IEEE, and a member of the Young Academy of Europe. His research program centers on theoretical and computational methods in spectral and metric geometry applied to computer vision, pattern recognition, and machine learning. He pioneered the field of geometric deep learning, developing novel neural network architectures that process non-Euclidean data structures like graphs and manifolds. His work spans from theoretical foundations to practical applications, with over 100 publications in top scientific journals and conferences, and has been featured in international media including CNN. Analysis of his recent publications reveals a strong trajectory in geometric deep learning with applications spanning computer vision, 3D shape analysis, social network analysis, and bioinformatics. His research consistently bridges theoretical innovation with real-world applications, developing novel neural architectures for processing complex data structures. The work demonstrates increasing interdisciplinary reach, connecting machine learning with fields from particle physics to molecular biology. Dalle Molle Prize (2018) Royal Society Wolfson Research Merit Award (2018) ERC Proof of Concept Grant (2018) Amazon AWS Machine Learning Research Award (2018) Fellow, International Association for Pattern Recognition (IAPR) Google Faculty Research Award (2017) Radcliffe fellowship, Harvard University (2017) Rudolf Diesel industrial fellowship, TU Munich (2017) ERC Consolidator Grant (2016) World Economic Forum Young Scientist (2014) Professor Bronstein has secured multiple ERC grants (Starting Grant 2012, Proof of Concept Grants 2016 and 2018, Consolidator Grant 2016) and has mentored numerous students who have contributed to over 30 granted patents. He has chaired more than a dozen conferences and workshops in his field and served as area chair at major computer vision conferences including ECCV 2016 and ICCV 2017. His research group at USI Lugano collaborates extensively with industry partners including Intel and Twitter. As a serial entrepreneur, Professor Bronstein co-founded Novafora (2005-2009) developing large-scale video analysis, Invision (2009-2012) which created low-cost 3D sensors and was acquired by Intel, and Fabula AI (2018-2019) focused on fake news detection which was acquired by Twitter. His work bridges theoretical research with commercial applications, with his technology contributing to Intel RealSense and Twitter's graph learning infrastructure.

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

استاد

• Compilers
• Software Testing
• Formal Verification
• +۳ مورد دیگر

John Regehr is a Professor at the School of Computing, University of Utah, specializing in compilers, software testing, and formal verification. His research develops tools to improve software correctness and efficiency, including Csmith (random C program generator) and C-Reduce (test-case reducer). His group focuses on compiler validation, fuzzing techniques, and superoptimization, primarily targeting the LLVM infrastructure. Research interests span compilers, testing methodologies, formal verification, embedded systems, and program analysis. Recent work emphasizes practical tools backed by formal methods to detect and prevent software errors. Publications demonstrate strong trends in compiler verification and testing, with consistent focus on LLVM optimization correctness, translation validation, and automated bug detection through fuzzing and synthesis techniques. Scientific awards include: PLDI 2015 Distinguished Paper Award ICST 2014 Best Paper Award ACM SIGSOFT Distinguished Paper Award Leads a research group developing tools like Souper (superoptimizer) and Alive2 (translation validator). Maintains active academic service through program committees (PLDI, CGO, OOPSLA) and contributes to open-source compiler infrastructure.

Heather Millerمشاهده پروفایل

استادیار

• Distributed Systems
• Concurrent Programming
• Programming Languages
• +۴ مورد دیگر

Heather Miller is a tenure-track Assistant Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. Her academic journey includes prior roles as an Assistant Clinical Professor at Northeastern University's College of Computer and Information Science and as Executive Director of the Scala Center at EPFL. Miller's research centers on distributed and concurrent computation through the lens of programming languages, with particular emphasis on data-centric systems, big data processing, and edge computing. A defining theme throughout her work is composability - enabling construction of complex distributed systems through composition of components that are correct by construction. Her projects span distributable closures, flexible serialization techniques, futures and promises for asynchronous programming, and deterministic concurrent dataflow models. Her recent publications demonstrate strong trends in applying programming language theory to practical distributed systems challenges, with increasing focus on WebAssembly instrumentation, microservice resilience, and language model pipelines. This evolution reflects her commitment to bridging theoretical foundations with real-world system requirements. Dahl-Nygaard Junior Prize (2023) Mentorship forms a significant component of Miller's academic work. She actively supervises multiple PhD, MS, and undergraduate researchers at CMU, including Christopher Meiklejohn, Matthew Weidner, Huairui Qui, Ria Pradeep, and Luke Dramko. Her service contributions span numerous top-tier conferences including PLDI, SPLASH, ECOOP, and ICSE where she has served as committee member, chair, and keynote speaker. Miller co-founded the Curry On conference to foster industry-academia dialogue, hosting successful editions in Prague, Rome, Barcelona, Amsterdam, and London. She leads research groups focused on distributed programming models and maintains strong industry connections through Two Sigma, where she holds an affiliation. Her work consistently emphasizes practical open-source implementations, primarily within the Scala ecosystem where she's been a core contributor since 2011.

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

استاد

• formal verification
• semantics
• probabilistic programs
• +۱۰ مورد دیگر

Benjamin Lucien Kaminski is a Professor at Saarland University and a Lecturer at University College London . He specializes in quantitative aspects of formal program verification , with a focus on probabilistic and quantum programs , incorrectness logic , and non-classical computation models . His research includes semantics , probabilistic program verification , expected runtimes , and explainable verification . He leads the Examination Board for B.Sc. Computer Science (English) and actively mentors PhD, Master’s, and Bachelor’s students in logic and verification. 2025 : A Taxonomy of Hoare-Like Logics (POPL), Partial Incorrectness Logic (TPSA) 2024 : Quantitative Weakest Hyper Pre (OOPSLA), Caesar: A Verifier for Probabilistic Programs (Dafny), Hoare-Like Triples (Incorrectness-track) 2023 : A Deductive Verification Infrastructure (OOPSLA), Lower Bounds (OOPSLA), A Calculus for Amortized Expected Runtimes (POPL) He has received notable awards including the Ackermann Award (2020), Best Paper at LOPSTR 2020 , and EATCS Best Paper Award at ETAPS 2016 . He has also served on program committees for leading conferences like CAV , POPL , and LICS , and reviewed for prestigious journals such as Journal of the ACM and TOCL .