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

Michalis Kokologiannakisمشاهده پروفایل

استادیار

• Programming Languages
• Compilers
• Software Verification
• +۵ مورد دیگر

Michalis Kokologiannakis is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland. Previously, he was affiliated with the Max Planck Institute for Software Systems (MPI-SWS) in Germany where he completed his PhD. His research focuses on programming languages, compilers, and software verification, with particular emphasis on: Automated verification and testing of concurrent programs Weak memory models employed by modern microprocessors Stateless model checking techniques Formal methods for program analysis His work has led to the development of several verification tools including GenMC (a stateless model checker for C/C++ programs under weak memory models) and Kater (a tool that automates weak memory model metatheory and consistency checking). Dr. Kokologiannakis has published extensively at top-tier programming languages and verification conferences including PLDI, POPL, OOPSLA, and CAV. His research has pioneered advances in stateless model checking, partial order reduction, and verification under weak memory consistency models. He completed his MEng at the National Technical University of Athens (NTUA) before earning his PhD from MPI-SWS.

KC Sivaramakrishnanمشاهده پروفایل

استاد مدعو

• Functional Programming
• Language Runtimes
• Concurrency
• +۵ مورد دیگر

KC Sivaramakrishnan serves as an Adjunct Professor at the Indian Institute of Technology, Madras and CTO of Tarides, bridging academic research and industrial application in programming languages and systems. His dual roles reflect a commitment to advancing both theoretical foundations and practical implementations in computer science. His research spans Functional Programming, Language Runtimes, Concurrency/Parallelism/Distribution, and Weak Memory/Consistency models, with particular focus on the OCaml programming language. Sivaramakrishnan's work addresses fundamental challenges in concurrent and distributed systems through innovative language design and runtime techniques. Analysis of his publication record reveals a consistent trajectory from foundational work on effect handlers and concurrency models (2015-2020) to more recent contributions in verified systems, multicore programming, and distributed data types (2021-2025). His research demonstrates strong continuity in exploring how programming language principles can solve real-world systems challenges. Sivaramakrishnan actively contributes to the academic community through program committee memberships across major PL conferences including POPL, PLDI, ICFP, and SPLASH. His service spans multiple roles from committee member to track chair and diversity co-chair. As CTO of Tarides, he leads industrial efforts in OCaml compiler development and systems programming, maintaining a productive synergy between his academic research and industry leadership. His work with the OCaml community includes significant contributions to multicore support and effect handler implementations.

Derek Dreyerمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Separation Logic
• +۶ مورد دیگر

Derek Dreyer is the Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and an Adjunct Professor in the Saarland Informatics Campus of Saarland University . His research focuses on programming languages , type theory , and formal verification of software systems. Education : PhD in Computer Science from Carnegie Mellon University (2005), advised by Bob Harper and Karl Crary. Key Contributions : Pioneering work in separation logic , ownership types , and memory safety for languages like Rust and C. Awards & Grants : Recipient of significant grants for research on logical foundations of safe systems programming . Leadership : Program Chair for POPL and PLDI, Organizer of RTFM (Red-Hot Topics in Faculty Mentoring), and active role in mentoring students through PLMW. Labs & Teams : Leads a dynamic research group at MPI-SWS , driving collaborative projects in programming languages and systems verification.

Iftach Haitnerمشاهده پروفایل

استاد

• Cryptography
• Computational Complexity
• Secure Computation
• +۳ مورد دیگر

Iftach Haitner is a Professor at Tel Aviv University's School of Computer Science, currently on leave while serving as Principal Researcher at the Stellar Development Foundation. His primary academic affiliation remains with Tel Aviv University where he maintains an active research group and supervises multiple PhD students. His educational background includes a PhD (2008) and Master's degree from the Weizmann Institute of Science under Omer Reingold and Oded Goldreich respectively, and undergraduate studies in Mathematics and Computer Science at Tel Aviv University. His research focuses on Cryptography and Computational Complexity , with significant contributions to coin-flipping protocols, one-way functions, differential privacy, and secure computation. Analysis of his 15 most recent publications reveals consistent focus on foundational cryptographic problems. His work demonstrates strong emphasis on computational entropy concepts (inaccessible entropy, next-block pseudoentropy), protocol security against adaptive adversaries, and tight complexity bounds for cryptographic primitives. The publications span top venues including STOC, FOCS, Crypto, and Eurocrypt, showing sustained high-impact research output. The Kadar Family Award for Outstanding Research (2018) Tel Aviv University Rector's Awards for Excellence in Teaching (2017, 2018) SIAM Outstanding Paper Prize (2011) Intel Israel award for outstanding PhD students (2008) Multiple best paper awards (CRYPTO 2006, ICALP 2006) Haitner has advised numerous PhD students including Noam Mazor, Jad Silbak, and Eliad Tsfadia. His research has been supported by multiple Israel Science Foundation grants (2011-2023), an ERC Starting Grant (2015-2020), and Blavatnik ICRC grants. He also maintains industry connections through roles at Coinbase (2022-2024) and previous consulting positions at Unbound Security and Team8. His professional service includes editorial work for SIAM Journal on Computing and program committee memberships for major cryptography conferences including Crypto, Eurocrypt, and TCC. He co-organizes the Greater Tel Aviv Area Cryptography Seminar and other specialized workshops.

• Formal Verification
• Model Checking
• Concurrent Systems
• +۶ مورد دیگر

Parosh Abdulla is a Professor in the Division of Computer Systems within the Department of Information Technology at Uppsala University, Sweden. His research focuses on formal methods and program verification with emphasis on concurrent systems, memory models, and verification techniques. With an extensive publication record spanning over three decades, he has established himself as a leading researcher in his field. His primary research interests include formal verification, model checking, concurrent systems analysis, memory models (particularly TSO and PSO), string constraints, timed automata, parameterized verification, and program analysis. His work addresses fundamental challenges in verifying complex software systems, especially those involving concurrency and weak memory models. In recent years, he has expanded his research to include quantum systems verification and the application of machine learning techniques to formal methods. Analysis of his recent publications (2023-2025) reveals a continued focus on advancing verification techniques for concurrent systems, with growing interest in quantum computing verification and the integration of graph neural networks with traditional formal methods. His work demonstrates consistent innovation in reducing the state space explosion problem while maintaining verification completeness. Professor Abdulla has established significant collaborations with researchers including Mohamed Faouzi Atig, Bengt Jonsson, and others, resulting in numerous high-impact publications in top-tier venues. His research has practical implications for developing reliable concurrent software systems and advancing formal verification methodologies. While specific details about his advising activities and grants aren't explicitly mentioned in the available information, his extensive publication record suggests active supervision of graduate students and involvement in multiple research projects. His work likely contributes to formal methods research groups at Uppsala University, focusing on verification tools and theoretical foundations of program analysis.

• Symmetric cryptography
• Cryptographic algorithms
• High-performance cryptography
• +۵ مورد دیگر

Professor Elmar Tischhauser is a faculty member at Philipps University of Marburg in the IT-Security research group within the Department of Mathematics and Computer Science. His work focuses on symmetric cryptography, cryptanalysis, and cryptographic algorithms for high-performance and lightweight platforms. Research Interests: Dr. Tischhauser's research emphasizes symmetric encryption and authentication, hashing, applied cryptography, and security/privacy in e-Health and cloud infrastructures. His team investigates hash functions, block ciphers, and authenticated encryption schemes. Recent Publications include work on MILP modeling of Boolean functions, authenticated encryption modes, and cryptanalysis of lightweight algorithms. His articles address both theoretical and practical aspects of cryptographic security mechanisms. Best paper award (CANS 2012) Distinguished paper award (EUROCRYPT 2012, solicited to Journal of Cryptology) Best student paper award (2nd place) (ISC 2010) Teaching includes advanced cryptography, IT security, and seminars on cloud security and cryptanalysis. He supervises numerous B.Sc. and M.Sc. theses on cryptographic topics.

• Computer Architecture
• Reliability Engineering
• Cloud Computing
• +۷ مورد دیگر

Professor Gizopoulos Dimitris is a faculty member at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. His research focuses on advanced topics in computer architecture, reliability engineering, and hardware security. With a strong emphasis on fault tolerance and computational integrity, his work addresses critical challenges in modern computing systems such as silent data corruptions, GPU reliability, and RISC-V cloud ecosystems. Key research interests include microarchitecture-level analysis, cross-layer system reliability assessment, and energy-efficient computing. His contributions span fault propagation modeling, hardware-software co-design for resilience, and innovative approaches to detecting silent errors in CPUs and GPUs. He actively participates in large-scale projects like NEUROPULS and Vitamin-V, advancing secure neuromorphic architectures and open-source cloud infrastructure. Recent publications highlight trends in silent data corruption quantification, GPU vulnerability analysis, and energy-efficient RISC-V designs. His work bridges theoretical models with practical implementations, emphasizing real-world validation through frameworks like gem5 and fault injection experiments. Despite no listed advisees or grants in current records, his research collaborations and project leadership position him at the forefront of next-generation computing reliability. Labs and teams associated with his work include the Vitamin-V virtual environment development team and the NEUROPULS consortium for secure neuromorphic accelerators. These initiatives reflect his commitment to advancing both theoretical and applied aspects of dependable computing systems.

Brijesh Dongolمشاهده پروفایل

استاد

• Formal Verification
• Concurrent Systems
• Weak Memory Models
• +۴ مورد دیگر

Prof. Brijesh Dongol is a Professor at the University of Surrey and Director of the UK Research Institute on Verified Trustworthy Software Systems (VeTSS). He leads research in formal techniques for concurrent and real-time systems, including transactional memory, weak memory models, and hybrid systems. His work emphasizes verification methods to ensure correctness in complex software systems. Education: BSc in Computer Science and Mathematics, BSc (Hons) in Logic and Computation from Victoria University of Wellington (NZ), PhD from University of Queensland (Australia). Postdoctoral roles at University of Queensland and University of Sheffield followed, before joining Brunel University London as a Lecturer and later the University of Surrey as Senior Lecturer. Research interests focus on formal verification of concurrent systems, with contributions to weak memory models, transactional memory protocols, and formal methods education. He has led EPSRC-funded projects totaling over £3.5 million, including grants on secure remote memory access and concurrent programming for advanced architectures. Notable roles include editorial board memberships (Formal Aspects of Computing), program committees (ESOP, FM, FACS), and international conference steering boards (iFM). His advisory roles include the ACM CS202X panel on Programming Languages. Current projects (2023-2027) include CHIST-ERA's REDONDA blockchain protocol, EPSRC grants on secure RDMA and concurrent programming. Supervised 10+ PhD students and postdocs, with alumni now in industry (e.g., Axiomise, Arm) and academia (Imperial College London). Labs/Teams: Director of VeTSS, collaborates internationally on projects like RoboCalc and RoboTest. Active in software engineering for robotics (RoboSoft RAEng initiative).

Orimar Sauri Arreguiمشاهده پروفایل

دانشیار

• Mathematical Statistics
• Stochastic Processes
• Nonparametric Estimation
• +۷ مورد دیگر

Orimar Sauri Arregui is an Associate Professor in the Department of Mathematical Sciences at Aalborg University's Faculty of Engineering and Science, Denmark. His research lies at the intersection of mathematical statistics, stochastic processes, and financial modeling. Research Interests: His work focuses on ambit fields , trawl processes , Lévy and infinite divisible random fields , and nonparametric estimation in continuous time. He investigates asymptotic behavior, limit theorems, and statistical inference for complex stochastic models, with applications in financial market microstructure and energy flux modeling. The analysis of his recent publications reveals a strong trend in theoretical statistics and probability, particularly in developing and analyzing models driven by non-Gaussian noise and long-range dependence. His work often involves high-frequency data and contributes to the foundations of spatiotemporal modeling. Scientific Contributions: Developed mathematical frameworks for financial market microstructure. Advanced theory for nonparametric estimation of trawl processes. Derived asymptotic error distributions for numerical schemes in stochastic delay equations. Proved local limit theorems for energy fluxes in random fields. Advising and Research Activity: He has been involved in PhD supervision and maintains an active research output, primarily through preprints on arXiv and SSRN. His collaborations span topics in financial econometrics and statistical physics. Though specific grants are not listed, his consistent publication record suggests ongoing research funding. Laboratory and Teams: While no formal lab is mentioned, his work is part of the broader research network in mathematical statistics and financial mathematics at Aalborg University, with notable collaborations in stochastic modeling and econometrics.

Matthew J. Parkinsonمشاهده پروفایل

پژوهشگر

• Verification
• Runtimes
• Compilers
• +۶ مورد دیگر

Matthew J. Parkinson is a Principal Researcher at Microsoft Azure Research in Cambridge, UK. His work focuses on memory and concurrency safety , with significant contributions to formal verification , systems programming , and language design . He actively participates in academic communities as a session chair and committee member for conferences like OOPSLA , PLDI , and ISMM . Research Trends : His recent publications (2023-2025) emphasize dynamic region ownership , wait-free reference counting , and allocator optimization for concurrent systems. These works span systems programming , formal verification , and domain-specific language tools , reflecting his interdisciplinary approach. Conference Contributions : Parkinson has served as session chair for tracks including MPLR Session 2 (2023) and PLDI: Memory Models & Program Logics (2023). He has also contributed to program committees for POPL , IWACO , and The Future of Weak Memory (2024).

Mohamed Faouzi Atigمشاهده پروفایل

استاد

• Formal Verification
• Concurrency
• Model Checking
• +۷ مورد دیگر

Mohamed Faouzi Atig is a Professor in Computer Systems at the Department of Information Technology , Uppsala University since July 2021. Previously, he served as Senior Lecturer (Associate Professor) from June 2018 to June 2021 and as Associate Senior Lecturer (Assistant Professor) from June 2014 to May 2018. Current: Professor, Uppsala University (2021–present) Senior Lecturer, Uppsala University (2018–2021) Associate Senior Lecturer, Uppsala University (2014–2018) Researcher, Uppsala University (2012–2018) Post-doctoral Researcher, Uppsala University (2010–2012) Education : PhD in Computer Science from University of Paris Diderot-Paris 7 (2010) Docent (Habilitation) in Computer Systems from Uppsala University (2017) Research Interests : A multidisciplinary researcher in Formal Verification , focusing on Model Checking and Automata Theory for Concurrency and Weak Memory Models . His work spans Formal Methods , Software Verification , and Logics for system correctness. Publication Trends : His recent works (2015–2024) analyze Hardware Memory Models (Intel-x86, TSO), String Constraint Solving , and Stateless Model Checking under relaxed memory semantics. He applies Automata Theory to Persistent Memory verification and Concurrency problems. Committee Roles : Active in program committees for POPL (2020–2025), PLDI (2017–2024), and VMCAI (2017).

Radu Mateescuمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Concurrent Systems Verification
• +۶ مورد دیگر

Radu Mateescu is a Research Director at Inria Grenoble - Rhône-Alpes where he heads the CONVECS research team. He has been with Inria since 1998, previously working as a researcher in the VASY project-team. His research focuses on formal methods, particularly model checking and verification of concurrent systems. Mateescu holds a PhD in Computer Science from INPG (Institut National Polytechnique de Grenoble) with a thesis on "Verification of the temporal properties of parallel programs". His educational background includes a graduate engineer diploma from the POLITEHNICA University of Bucharest in Automatic Control and Computers. He has been instrumental in developing several formal verification tools including XTL, CAESAR_SOLVE, EVALUATOR, and BISIMULATOR. His research interests span formal specification and verification of temporal properties of concurrent systems, temporal logics extended with data-handling primitives, on-the-fly model checking, equivalence checking, diagnostic generation, partial order reduction, and massively parallel verification. He served as chairman of the FMICS (Formal Methods for Industrial Critical Systems) Working Group of ERCIM from 2011 to 2014. Mateescu has published extensively in formal methods, with recent work focusing on applications in autonomous vehicles, IoT systems, and hardware verification. His publications show a consistent trend toward applying formal verification techniques to increasingly complex real-world systems, particularly in safety-critical domains. Test-of-Time Tool Award at ETAPS'2023 Inria - Académie des Sciences - Dassault Systèmes Innovation Prize Information Technology Award from Fondation Rhône-Alpes Futur Mateescu has taught courses at ENSIMAG (Grenoble), ESIREM (Dijon), and the University of Savoie. He has contributed to major research projects involving industrial applications of formal methods, particularly through the CADP toolbox which has been used to verify numerous critical systems including the IEEE-1394 FireWire protocol, Bull's cluster file system, and autonomous vehicle systems. His work bridges theoretical formal methods with practical industrial applications.

Parosh Aziz Abdullaمشاهده پروفایل

استاد

• Concurrency
• Distributed Systems
• Program Verification
• +۷ مورد دیگر

Parosh Aziz Abdulla is a Chaired Professor at the Department of Information Technology, Uppsala University, Sweden. His research focuses on algorithmic program verification, concurrency, distributed systems, and model checking, with applications to weak memory models like x86-TSO and C11.

H. H. Drake Williams IIIمشاهده پروفایل

دانشیار مهمان

• The Use of the Old Testament in the New
• Biblical Studies
• Biblical Theology
• +۶ مورد دیگر

Dr. H. H. Drake Williams III serves as Guest Associate Professor of New Testament at Evangelical Theological Faculty (ETF), Leuven, Belgium , and as a Research Fellow in the Old and New Testament Department at the University of the Free State, South Africa . His academic career spans institutions including Tyndale Theological Seminary (Netherlands) and Bucharest State University (Romania). Education Ph.D., New Testament (1999, University of Aberdeen) M.Div. (1995, Gordon-Conwell Theological Seminary) B.A., History & B.S., Chemistry (1987, University of Delaware) Research Focus Dr. Williams specializes in New Testament studies , particularly the Pauline epistles and their social identity implications. His work explores the use of the Old Testament in the New , Christian ethics in Corinthian contexts, and comparative theological translation in Romanian and Greek texts. He also investigates scholarly reception of non-canonical gospels and their impact on modern Christian identity. Scientific Awards Fellow, New Testament Study Society – VU University Amsterdam (2013-present) Consulting Editor, Journal of Global Christianity (2012-present) Chairman, Seria de Comentarii Exegetice Romanesti Society of Biblical Literature Grants and Leadership Dr. Williams has chaired the Biblical Studies Department at Tyndale Theological Seminary (2014-2018) and served as Academic Dean (2008-2014). His editorial roles and contributions to Religions and Journal of Global Christianity underscore his influence in theological discourse.

Gregory Chocklerمشاهده پروفایل

استاد

• Distributed Computing
• Blockchain Technology
• Fault-Tolerant Systems
• +۳ مورد دیگر

Professor Gregory Chockler is a full professor at the University of Surrey's Department of Computer Science, affiliated with the School of Computer Science and Electronic Engineering. He is Joint Head of the Distributed and Networked Systems Group and a member of the Surrey Centre for Cyber Security. His career spans roles at MIT, IBM Research, Royal Holloway University of London, and multiple visiting positions at institutions like EPFL and KTH. Education: Bachelor's and Master's degrees in Computer Science (Israel) PhD from the Hebrew University of Jerusalem Postdoctoral research at MIT (2003-2005) Research Interests: Chockler focuses on distributed systems, blockchain, and fault-tolerant computing. His work includes scalable consensus protocols, secure distributed storage, and applications of distributed algorithms in cloud and blockchain systems. Recent efforts emphasize resilient blockchain systems and efficient consensus mechanisms under communication failures. Key Contributions: His research has led to advancements in IBM WebSphere products, including Speculative Paxos for cloud management and event-monitoring techniques. Current projects explore NVM-based durable systems (e.g., Mangosteen) and channel reliability in distributed networks. Awards & Grants: IBM Outstanding Technical Achievement Award (2010s) Stellar Development Foundation Grant (2020) Facebook Faculty Award (2015) Advising & Collaboration: Supervises PhD students in distributed systems and collaborates with industry partners like IBM, Stellar, and Facebook. His work bridges academia and industry, addressing real-world scalability and security challenges. Labs & Teams: Leads the Distributed and Networked Systems Group, contributing to Surrey's Cyber Security Centre. Active in collaborative frameworks like CoMiFin for financial infrastructure protection.