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

Kinan Dak Albabمشاهده پروفایل

استادیار

• Data Privacy
• Systems Security
• Secure Computation
• +۷ مورد دیگر

Kinan Dak Albab is an Assistant Professor at the Faculty of Computing and Data Sciences (CDS) at Boston University, where he joined in summer 2024. His research spans systems, cryptography, and programming languages, focusing on building practical tools for data privacy and compliance-by-construction. He has developed influential systems such as Sesame, K9db, and DP-PIR, which have been published in top venues like SOSP, OSDI, and USENIX Security. PhD in Computer Science, Brown University MS in Computer Science, Boston University (2020) BS in Computer Science, American University of Beirut (2015) Kinan's research centers on data privacy , secure computation , and systems security . He designs tools that allow developers to build applications that are privacy-compliant by construction. His work leverages systems design, cryptographic protocols, and language-level enforcement to reduce developer burden while ensuring strong privacy guarantees. He is particularly interested in GDPR compliance, private information retrieval, and usability of secure systems. His publications span high-impact areas including end-to-end privacy enforcement (Sesame), database systems with built-in privacy (K9db), and efficient private information retrieval (DP-PIR). These works combine systems performance with strong theoretical foundations, enabling real-world deployment in domains like wage gap analysis and public policy. Presidential Award for Excellence in Teaching, Brown University (2025) Teaching Excellence Award, Boston University (2020) Vivli and Microsoft datatheon Outstanding Graduate Submission (2019) Hariri Institute Graduate Fellow (2017–2020) Mark Sawaya Excellence Award, AUB (2015) 1st Place, ACM Lebanese Collegiate Programming Contest (2015) Kinan has advised and collaborated on real-world secure computation deployments, including a project with the Boston Women's Workforce Council and the Greater Boston Chamber of Commerce to measure wage gaps across over 100 companies. His work contributed to the formation of the startup nthparty and has been cited in the White House’s National Strategy on Privacy-Preserving Data Sharing, the UN Handbook on Privacy-Preserving Computation, and the European Commission’s report on Technological Enablers for Privacy. He is the lead developer of the JIFF framework for secure multi-party computation on the web and has created tools like Carousels for resource estimation in secure programs. He leads the ETOS group and is affiliated with multiparty.org , an initiative focused on advancing privacy-preserving technologies through open-source tools and real-world applications.

• Digitalization
• Multi-Agent Systems
• Semantic Web
• +۵ مورد دیگر

Prof. Dr. Thomas Farrenkopf is a full-time Professor in the Department of Business Informatics at the Technische Hochschule Mittelhessen , serving as Dean of Studies . He leads the Business Informatics Bachelor program and specializes in digitalization, multi-agent systems, and AI-driven decision support. Expertise Areas : Industry 4.0, Smart Factory, Semantic Web, full-stack software development Contact : thomas.farrenkopf@mnd.thm.de Research Focus : His work bridges knowledge-based methods with practical applications in artificial intelligence, particularly through multi-agent systems for traffic modeling and business simulations. He developed AGADE Traffic (a knowledge-based traffic simulator) and ATHOS (a domain-specific language for multi-agent simulations), focusing on scalability and complexity reduction. Recent studies explore individual preferences' impact on traffic policies and agent-based feedback mechanisms in business contexts. Academic Contributions : With over 15 publications since 2013, his research spans agent-based modeling, semantic web applications, and smart manufacturing - notably improving throughput times in toolmaking by 90% through Industry 4.0 implementations. Teaching & Supervision : Actively supervises Bachelor's Practical Projects (BPP), providing guidance for internship-related academic work through structured evaluation processes and electronic reporting systems. Collaborations : Works with international researchers like Johannes Nguyen, Simon T. Powers, and Michael Guckert, publishing in venues such as SN Computer Science , Lecture Notes in Computer Science , and Journal of Artificial Societies and Social Simulation .

László Lengyelمشاهده پروفایل

استاد

• Model-Driven Engineering
• Internet of Things (IoT)
• Software Obfuscation
• +۷ مورد دیگر

László Lengyel is a Professor at the Budapest University of Technology and Economics (BME), affiliated with the Department of Automation and Applied Informatics . His work bridges theoretical and applied computer science, focusing on industrial automation, IoT systems, and model-driven engineering. Research interests include Model transformations and domain-specific languages IoT device management and multi-domain integration Software obfuscation and cybersecurity Graph algorithms and distributed computing (MapReduce) Real-time data analysis in manufacturing Automotive sensor networks His recent publications reflect expertise in model-driven IoT architectures , granule manufacturing automation , and MapReduce-based graph analysis , with a focus on industrial and automotive applications. He contributes to open-source frameworks like SensorHUB and explores gamification in driver behavior systems.

• Safety Assurance
• Robotics
• Autonomous Systems
• +۵ مورد دیگر

Chris Harper is a Senior Research Fellow at the Bristol Robotics Laboratory, affiliated with the Faculty of Engineering and Technology at the University of the West of England. His work focuses on safety assurance in robotics and autonomous systems, with expertise spanning civil aerospace, rail, defense systems, and nuclear energy. AAIP Assistive Robotics in Healthcare CAV Forth ROBOPILOT SafeMRX Research Expertise: With over 25 years in system safety assurance, Harper specializes in safety case development, hazard identification, fault tree analysis (FTA), failure modes & effects analysis (FMEA), and simulation-based safety validation techniques. Key Contributions: He contributed to ISO 13482, the first international safety standard for mobile service robots, and developed the Environmental Survey Hazard Analysis (ESHA) method for autonomous systems. Publications: His work spans safety verification methodologies, swarm intelligence applications, and formal methods integration in autonomous vehicles. Recent articles highlight simulation-based assertion checking and ISO standardization efforts. 15+ years in robotics safety research ISO technical committee participation ESHA method development PhD in robotics safety methodology

Matteo Acclavioمشاهده پروفایل

استادیار

• Proof Theory
• Logic in Computer Science
• Concurrency Theory
• +۵ مورد دیگر

Matteo Acclavio is an Assistant Professor in Computer Science at the School of Engineering and Informatics, University of Sussex, affiliated with the Foundations of Software Systems (FoSS) research group. A logician specializing in proof theory and its applications to computer science, his work bridges mathematical logic with concurrency theory and process calculi. Education: PhD in Mathematics, Aix-Marseille University, France Master in Discrete Mathematics and Foundations of Theoretical Computer Science, Aix-Marseille University Master in Mathematics, Roma Tre University, Italy Bachelor in Mathematics, Roma Tre University His research focuses on graphical proof systems, linear logic, modal logic, and concurrency theory. Publications highlight contributions to deep inference, sequent calculus, and the intersection of logic with distributed systems. Recent work explores logical frameworks for concurrency, such as choreographic programming, and graphical models for proof systems. He teaches courses like Operating Systems and maintains active collaborations in theoretical computer science.

Yves Blaquièreمشاهده پروفایل

استاد

• Microelectronics
• VLSI and ASIC Design
• FPGA-Based Systems
• +۶ مورد دیگر

Yves Blaquière is a Professor in the Department of Electrical Engineering at École de Technologie Supérieure. He is affiliated with the Communications and Microelectronic Integration Laboratory (LaCIME), focusing on microelectronics, integrated circuit design, and power integrity in advanced electronic systems. His research spans VLSI/ASIC design, FPGA-based reconfigurable computing, MEMS for avionics, and radiation effects on electronics. Aeronautics and Aerospace Intelligent and Autonomous Systems Microelectronics and VLSI Power Integrity Modeling MEMS Switch Design Radiation-Resilient Circuits His recent publications highlight innovations in GHz-range power integrity for SiP, FPGA-based SHEPWM inverters, and MEMS switches for avionic power systems. Collaborations with researchers like Frédéric Nabki and Nicolas Constantin reflect his focus on industrial applications and technology transfer. Professor Blaquière co-supervises PhD candidates including Hachem Bensalem, Gabriel Nobert, and Abdurrashid Hassan Shuaibu, covering topics such as heterogeneous optimization, power converter modeling, and MEMS switch development. His work contributes to wafer-scale prototyping platforms like WaferBoard and advanced tools for radiation testing in FPGAs. LaCIME, under his involvement, emphasizes equity, diversity, and inclusion, offering students opportunities to engage in cutting-edge projects from materials to communication protocols. The lab's expertise includes micro/nanofabrication, photonic microsystems, and signal processing.

Khalil Esperمشاهده پروفایل

پژوهشگر

• Verification and Model Checking
• Energy Optimization
• Real-time Systems
• +۴ مورد دیگر

Khalil Esper is a Researcher at the Department of Computer Science, Faculty of Engineering, Friedrich-Alexander-University Erlangen-Nuremberg (FAU), where he works at the Chair of Computer Science 12 (Hardware-Software Co-Design). His research focuses on verification, energy optimization, and runtime requirement enforcement in embedded systems and MPSoCs. His educational background includes: Informatics Engineering from Aleppo University, Syria (2010-2015) European Master in Embedded Computing Systems (EMECS) from Rhineland-Palatinate University of Technology Kaiserslautern-Landau (Germany) and Norwegian University of Science and Technology (Norway) (2017-2019) Esper's research interests center around verification and model checking, energy optimization on MPSoC, real-time systems and embedded systems, and autonomic computing. His work particularly focuses on runtime requirement enforcement mechanisms for non-functional properties in multi-processor systems-on-chip, with applications extending to medical devices and human-robot interaction systems. He has developed approaches using finite state machines, reinforcement learning, and evolutionary algorithms to ensure system properties are maintained during execution. His publication record shows a strong trend toward applying formal methods and runtime enforcement techniques to increasingly complex systems, with recent work expanding into safety-critical applications like orthoses and human-robot interaction. The interdisciplinary nature of his research bridges computer science, embedded systems engineering, and biomedical applications. Esper has supervised multiple theses including: Sascha H.: Runtime Requirement Enforcement of Non-Functional Requirements on MPSoCs Using Fuzzy Logic (2022) Iana S.: Feedback-Based Control of Non-functional Program Execution Properties on Linux (2023) Philipp L.: Runtime Requirement Enforcement of Functional and Non-Functional Requirements of a Knee Orthosis Based on a Digital Twin (2024) Avinash N.: Runtime Requirement Enforcement of Safety Properties of an Ankle Orthosis Based on a Digital Twin (2024) Zhiyi T.: Generation of Environment FSMs Using Machine Learning Techniques (2025) Moustafa A.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction Based on a Digital Twin (2025) Florian K.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction (2025) He has been actively teaching courses on Approximate Computing and Embedded Systems since the 2021/2022 academic year, demonstrating his commitment to academic instruction alongside his research activities. Esper is involved in the InvasIC research project, part of the DFG Transregional Collaborative Research Center 89 on Invasive Computing, which explores novel approaches to resource management in parallel computing systems.

Aleksander Essexمشاهده پروفایل

دانشیار

• Cybersecurity
• Cryptography
• Secure Computation
• +۸ مورد دیگر

Aleksander Essex is an Associate Professor of Software Engineering in the Department of Electrical and Computer Engineering at Western University's Faculty of Engineering. He runs Whisper Lab, the Western Information Security and Privacy Research Laboratory, where he conducts research in cybersecurity, cryptography, and secure computation with the goal of making the world a safer, more private place. Dr. Essex's educational background includes: Ph.D. in Computer Science (2012) from the University of Waterloo M.A.Sc. in Electrical Engineering (2008) from the University of Ottawa B.E.Sc. in Computer Engineering (2004) from Western University His research focuses on both offensive and defensive aspects of information security and data privacy. In offensive research, he investigates cryptographic protocol and implementation vulnerabilities in TLS and related web security technologies. In defensive research, he specializes in secure multi-party computation with applications to trustworthy electronic voting and secure health informatics. His work aims to secure democratic institutions in the digital age through the development and standardization of trustworthy, publicly accountable election practices and technology. Dr. Essex's recent publications show a strong focus on election security, privacy-preserving technologies, and cryptographic protocols. His work spans multiple domains including election technology, health informatics, and general cybersecurity applications. Many of his recent papers examine verifiable online voting systems, genomic data privacy, and secure computation techniques. His scientific achievements include: Recipient of the Best Paper Award for "Online Voting in Ontario Municipal Elections: A Conflict of Legal Principles and Technology?" (2019) NSERC Alexander Graham Bell Canada Graduate Scholar during his Ph.D. studies Dr. Essex actively advises graduate students, with several current and completed Ph.D. and Master's students. He serves on multiple university committees including CyberSmart and the Working Group on Information Security (WIGIS). His research bridges theoretical cryptography with practical applications that address real-world security and privacy challenges.

Alastair Kayمشاهده پروفایل

مدرس

• Quantum Computation
• Quantum Information Theory
• Quantum Cryptography
• +۱۳ مورد دیگر

Dr. Alastair Kay is a Lecturer in the Department of Mathematics at Royal Holloway, University of London. His research focuses on theoretical quantum computation, quantum information theory, and quantum cryptography, particularly addressing challenges in quantum state transfer, error correction, and networked quantum systems. He holds a PhD from the University of Cambridge under Prof. Artur Ekert and a physics degree from Keble College, University of Oxford. His research spans topics such as Quantum state transfer protocols using engineered Hamiltonians Quantum error correction mechanisms for experimental systems Entanglement properties in graph states and spin networks Applications of quantum computing in cryptography and information theory The articles listed reflect his work in quantum information science, computational physics, and theoretical cryptography. Key trends include advancements in fault-tolerant quantum communication, optimization of spin chain dynamics, and foundational studies in quantum correlations and nonlocality. Alastair actively develops software tools like quantikz for quantum circuit diagrams and ConTeXi for LaTeX equation integration in Microsoft Office. He also emphasizes open science principles and reproducibility in quantum research through personal commentary and collaboration with his fiancée, a Panton Fellow in open research practices.

Alexey Gotsmanمشاهده پروفایل

استاد پژوهشی

• Distributed Systems
• Software Verification
• Consensus Algorithms
• +۵ مورد دیگر

Alexey Gotsman is a tenured Research Professor at the IMDEA Software Institute in Madrid, Spain, where he leads research at the intersection of software verification and distributed computing. He also works part-time as a visiting academic at Amazon Web Services. His educational background includes a Ph.D. from the University of Cambridge, where he was previously a postdoctoral fellow. His research spans theoretical foundations and practical implementations of distributed systems, with particular emphasis on fault tolerance, consensus algorithms, and consistency models. His research interests focus on the theoretical and practical aspects of distributed systems, including Byzantine fault tolerance, state machine replication, distributed transactions, and consistency models. His work bridges the gap between formal verification techniques and real-world distributed systems implementations, with numerous publications in top-tier venues like PODC, DISC, and NSDI. His recent publications show a clear progression from theoretical foundations to practical implementations, with increasing focus on real-world applications, performance considerations, and fault tolerance in large-scale distributed systems. The research demonstrates strong connections between formal methods and practical system design, particularly in the areas of consensus protocols, replication strategies, and transaction processing. Best paper award at OPODIS'23 Best paper award at DISC'18 Best paper award at CONCUR'12 EAPLS Best Dissertation Award Runner-up prize in the BCS Distinguished Dissertation Competition ERC Starting Grant 'RACCOON: A Rigorous Approach to Consistency in Cloud Databases' (2017-2022) Ramón y Cajal Fellowship (2017-2022) Alexey actively mentors PhD students including Alejandro Naser Pastoriza, Fedor Ryabinin, and Antonio José Fernández Pinto, while his alumni have gone on to faculty positions at institutions like University of Paris 7 and University of Colorado Boulder, as well as industry roles at companies like ARM and Informal Systems. He has received significant funding including an ERC Starting Grant and served on program committees for numerous top conferences including POPL, DISC, and PODC. He currently co-organizes the International Symposium on Distributed Computing (DISC) and has been instrumental in organizing workshops focused on consistency in distributed systems. His research group at IMDEA Software Institute focuses on developing rigorous approaches to consistency in cloud databases and distributed systems, with active projects spanning theoretical analysis, protocol design, and practical implementation of fault-tolerant distributed systems.

Frédéric Blanquiمشاهده پروفایل

استاد پژوهشی

• proof system interoperability
• proof assistants
• rewriting
• +۷ مورد دیگر

Frédéric Blanqui is a Research Professor at Inria, leading the Deducteam, Chair of EuroProofNet (a European COST action with 578 participants across 47 countries), and Assistant director of the Paris-Saclay doctoral school of computer science. He also serves on the scientific committee of Inria Paris-Saclay and the steering committee of ISR. His research focuses on: Proof system interoperability Proof assistants Rewriting theory Type theory λ-calculus Termination His recent work includes proof verification techniques accepted at FLAIRS'25. He developed key software tools like Lambdapi, CoLoR, and HOT, which dominated the higher-order rewriting category in the 2012 international termination competition. Scientific awards: 2012 international termination competition winner in higher-order rewriting category He has advised 19 PhD students and postdocs, including Thiago Felicissimo, Mohamed Yacine El Haddad, and Guillaume Genestier, and supervised numerous interns on projects involving proof translation, type theory, and automated verification. Labs/teams: LMF (Laboratoire Méthodes Formelles) Deducteam Contributor to SimSoC-Cert and other proof assistant projects

• Parallel File and Storage Systems
• Modular Supercomputing
• Resource Disaggregation and Virtualization
• +۶ مورد دیگر

Sarah Neuwirth is a tenured Professor for Computer Science at Johannes Gutenberg University Mainz (JGU) and a Visiting Researcher at the Jülich Supercomputing Centre. She manages JGU's High Performance Computing (HPC) division, coordinates regional/national HPC activities, and represents JGU in NHR, Gauss-Allianz, and HPC committees. Education : PhD (Dr. rer. nat.) in Computer Science (2018), Heidelberg University Diplom in Computer Science (2012), University of Mannheim Bachelor of Science in Computer Science (2010), University of Mannheim Research Interests : Parallel File and Storage Systems Modular Supercomputing (resource disaggregation/virtualization) Performance Engineering High Performance Computing Networking Reproducible Benchmarking Parallel I/O Publications Trends : Her work focuses on HPC performance modeling, parallel I/O optimization, modular supercomputing, network characterization, and reproducible benchmarks. Key themes include resource disaggregation, automated workflows, and data-intensive distributed applications. Scientific Awards : 2023 PRACE Ada Lovelace Award for HPC ZONTA Science Award 2019 Grants & Leadership : She leads the High Performance Computing division at JGU, participated in European DEEP projects, and serves on SC conference committees.

Victor Vianuمشاهده پروفایل

استاد

• Database Systems
• Database Theory
• Computer-Aided Verification
• +۴ مورد دیگر

Victor Vianu is a Professor in the Department of Computer Science and Engineering at University of California, San Diego. His work bridges database systems, computational logic, and verification of data-driven workflows. Co-author of the influential book Foundations of Databases (1995) PI of NSF grant III 1815247: Views of Data-Driven Business Processes: Foundations and Applications Research Focus He studies verification of database-driven systems, workflow views, and query language theory. His NSF-funded project explores view-based abstraction mechanisms for business processes, integrating logic, automata theory, and infinite-state system analysis. Teaching Victor teaches courses in database systems, logic for computer science, and database theory, including CSE 132A, CSE 205A, and CSE 233. Labs & Collaborations Active member of the UCSD Database Laboratory , collaborating with institutions like INRIA, ENS-Paris, and University of Lille. Leads research seminars in database theory.

Ross Horneمشاهده پروفایل

مدرس ارشد

• Security protocols
• Privacy-preserving technologies
• Concurrency theory
• +۷ مورد دیگر

Ross Horne is a Senior Lecturer in the Department of Computer & Information Sciences at the University of Strathclyde, Glasgow, United Kingdom. He is a member of the StrathCyber and Mathematically Structured Programming research groups. Education: PhD (University of Southampton, 2012), BA (Oxford University, 2005) Prior Appointments: Research Fellow at University of Luxembourg (2018-2023), Senior Research Fellow at Nanyang Technological University (2015-2018), Associate Professor at Kazakh-British Technical University (2012-2015) Research Interests: Dr. Horne's work focuses on security and privacy protocols for digital systems, particularly addressing threats in payment technologies, ePassports, and decentralized identity management (e.g., Solid protocol). His theoretical contributions bridge concurrency theory, proof theory, and logic through applications to security verification and process calculi. Developed formal models for unlinkability in EMV payment protocols Created intuitionistic logical frameworks for process equivalence Explored graphical proof systems beyond formulaic representations Investigated legal-compliant AI for space systems (CubeSat anomaly detection) Scientific Contributions: He has published extensively in top venues including ACM CCS, IEEE CSF, LICS, and CONCUR. His 2017 CONCUR best paper introduced intuitionistic characterizations of bisimilarity. Principal Investigator for EU COST Action on Distributed Knowledge Graphs Co-developed privacy models adopted in Luxembourg parliamentary responses Advising: Currently accepting PhD students with strong mathematical and computer science skills for research in security/privacy of emerging systems. Former student Semen Yurkov completed a thesis on privacy-preserving smart card payments. Interdisciplinary Work: Collaborates with space lawyers through the Interdisciplinary Master Program in Space Resources. Projects include AI for CubeSat reliability and legal-compliant software certification frameworks.

Andrej Bogdanovمشاهده پروفایل

استاد

• Cryptography
• Computational Complexity
• Pseudorandomness
• +۶ مورد دیگر

Andrej Bogdanov is a Professor at the University of Ottawa in the School of Electrical Engineering and Computer Science . He earned his B.S. and M.Eng. from MIT and Ph.D. from UC Berkeley . Before joining Ottawa, he held positions at the Chinese University of Hong Kong , ITCS (Tsinghua) , DIMACS (Rutgers) , and the Institute for Advanced Study . He has served as a Visiting Professor at the Tokyo Institute of Technology (2013) and the Simons Institute (2017, 2021). Research Interests : Computational complexity, cryptography foundations, pseudorandomness, one-way functions, property testing, quantum algorithms, and sublinear-time algorithms. Teaching : Courses on Discrete Mathematics, Great Algorithms, Computational Complexity, and Cryptography at University of Ottawa, Chinese University of Hong Kong, and Rutgers University. Publications : 15+ recent works in TCC , CRYPTO , ICALP , RANDOM , and journals like Journal of Cryptology and Theory of Computing . Service : Program co-chair for SAC 2026 , and committee member for major conferences including CRYPTO , TCC , Eurocrypt , and FOCS . Advising : 12 current and former Ph.D./M.Phil. students, with postdoctoral advisees at institutions like IIT Palakkad and Academia Sinica . His work bridges theoretical computer science with applications in cryptography, quantum computing, and network security.