جستجوی استاد راهنمای دانشگاهی

Emanuele D'Osualdoمشاهده پروفایل

استاد

• Programming Languages
• Verification
• Security
• +۸ مورد دیگر

Emanuele D'Osualdo is a Tenure-Track Professor of Formal Methods for Software Engineering at the University of Konstanz, Department of Computer and Information Science. Previously, he was a Postdoctoral Researcher at Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken until April 2024, working with Derek Dreyer on verification of concurrent software. Before that, until September 2020, he was a Marie Curie Fellow at Imperial College London, working with Prof. P. Gardner. From 2015 to 2017, he was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer. His educational background includes: PhD (DPhil) in Computer Science from the University of Oxford (2015), supervised by Prof. C.-H. Luke Ong Undergraduate and master's studies at the University of Udine, Italy, graduating with honors and supported by the Scuola Superiore scholarship Emanuele D'Osualdo's research focuses on Formal Methods for the verification of software, with particular emphasis on two main approaches: automatic verification methods using static analysis and infinite-state model checking; and compositional methods, focusing on program logics for properties beyond safety. His work spans several areas including Programming Languages, Verification, Security, Concurrency Theory, Probabilistic Programs, Types, Static Analysis, Process Algebra, and Model Checking. His research has led to the development of tools such as Soter for automatic safety verification of Erlang programs and James Bound for analyzing π-calculus. His recent publications demonstrate a strong focus on advanced verification techniques for concurrent and distributed systems, with particular attention to linearizability, session types, security protocols, and probabilistic reasoning. His work bridges theoretical foundations with practical applications in software verification, showing a progression from foundational work on π-calculus to more applied verification of concurrent data structures and probabilistic systems. He has received notable recognition for his work, including: Winner of the 2016 CPHC/BCS Distinguished Dissertation award Marie Curie Fellow Emanuele actively supervises students and leads research in formal methods. He is involved in several research projects related to software verification and has presented his work at top-tier conferences including POPL, OOPSLA, ESOP, and CAV. He is scheduled to give a keynote at HYPER'25 in Zagreb and will be attending POPL'25. His research group appears to focus on developing theoretically sound yet practical verification techniques for modern concurrent and distributed software systems.

• Religion and Society
• Social Movements
• Gender Studies
• +۶ مورد دیگر

Annette Schnabel is a Professor in the Department of Sociology I at the Faculty of Philosophy and Social Sciences , Heinrich Heine University Düsseldorf. Her work bridges religion, gender studies, social movements, and European sociological analysis , often addressing intersections between national identity, antifeminism, and interspecies relationships . Her recent publications focus on 21st-century societal dynamics , including the role of animals in modernity , pandemic-induced religious shifts , and boundaries of solidarity in welfare states. She co-edited the Religion in Context handbook, a foundational text for interdisciplinary religious analysis. As a leading voice in gender and religious sociological debates , Schnabel has contributed to journals like Animal Studies and Austrian Journal of Sociology . While her editorial roles in journals such as Journal of Religion, Society and Politics show her organizational influence, no explicit awards or advisees are documented in available records.

Barbara Zwicknaglمشاهده پروفایل

استاد

• Applied Analysis
• Calculus of Variations
• Nonlinear Elasticity
• +۵ مورد دیگر

Prof. Barbara Zwicknagl is a Professor at Humboldt University of Berlin's Faculty of Mathematics and Natural Sciences, leading the Chair of Applied Analysis within the Institute of Mathematics. Her research focuses on applied analysis, calculus of variations, nonlinear elasticity, and materials science, particularly microstructure formation in shape-memory alloys and biomembranes. She actively collaborates on projects like SFB/TRR 388 and Math+ clusters. She teaches advanced courses in analysis, calculus of variations, and functional analysis, and advises students in these areas. Key research interests include variational models for microstructures, geometric effects on scaling laws, and mathematical analysis of materials. Zwicknagl organizes events like the GAMM Seminar on Microstructures 2025 and contributes to collaborative research centers. Her work spans theoretical analysis, numerical methods, and interdisciplinary applications, with publications in top journals like Archive for Rational Mechanics and Analysis. She has supervised multiple students and fosters international collaboration through grants and visiting researchers.

• Logic and Verification
• Security and Privacy
• Information Flow Control
• +۷ مورد دیگر

Vineet Rajani is a Lecturer in the School of Computing at the University of Kent. He is affiliated with the Programming Languages and Systems group and the Cyber Security group, and is a core member of the Institute of Cyber Security for Society (iCSS). His primary research interests lie in logic and verification , security and privacy , and causal inference with machine learning . His work focuses on formal methods for enforcing information flow control, type systems for secure programming, and the intersection of machine learning with program verification. He has made significant contributions to the understanding of labeling granularity, amortized cost analysis, and runtime enforcement in dynamic information flow systems. His recent publications span top venues including CSF, POPL, OOPSLA, and JCS, with research trends emphasizing type-theoretic foundations for security, probabilistic program analysis , and web-based information flow policies . His work often involves logical and semantic modeling of security properties and their implementation in real systems. Scientific Awards: Distinguished Paper Award, POPL 2019 Distinguished Paper Award, CSF 2018 RS3 Best Paper Award, CSF 2015 Vineet actively mentors students and encourages prospective PhD candidates to apply. He has received research grants supporting his work in programming languages and security, though specific grant titles are not listed. His research is conducted within collaborative teams at Kent and through long-standing partnerships with researchers from MPI-SWS and other institutions. He is involved in academic service, including organizing workshops like PLAS, and contributes to the broader research community through publications and collaborations.

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

استادیار

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

Michalis Kokologiannakis is an assistant professor at ETH Zurich . He holds a PhD from Max Planck Institute for Software Systems (MPI-SWS) and an MEng from the National Technical University of Athens (NTUA) . His research focuses on programming languages , compilers , and software verification , particularly automated verification and testing of concurrent programming algorithms and weak memory models in modern microprocessors. Recent publications highlight advancements in model checking for weak memory models, dynamic partial order reduction , and stateless verification techniques applied to C/C++ programs and Linux kernel mechanisms like Read-Copy-Update (RCU).

Thibaut Balabonskiمشاهده پروفایل

استادیار

• Programming Languages
• Operational Semantics
• Type Systems
• +۶ مورد دیگر

Thibaut Balabonski is an Assistant Professor of computer science at Paris-Saclay University, affiliated with the Formal Methods Lab. His research focuses on programming languages, operational semantics, type systems, lambda calculus, and concurrency, with notable work on formal verification of mobile robot swarms and functional programming optimizations. Published key works on strong call-by-need calculus (LMCS, 2023), weak optimality in lambda calculus (ICFP'13), and separation logic for permission-based languages (TOPLAS, 2016). Co-authored educational books for high school and preparatory classes, including Digital and Computer Science series. Teaching includes object-oriented programming , compilation , and lambda calculus courses at L2, M1, and M2 levels. Labs & Teams : Formal Methods Lab (LMF), CNRS, with collaborations in Coq formalization (Pactole framework) and concurrency theory.

Carsten Trinitisمشاهده پروفایل

استاد

• High Performance Computer Architectures
• Microprocessor Architectures
• Co-design
• +۵ مورد دیگر

Prof. Dr. Carsten Trinitis is a full professor at the Chair of Computer Architecture & Parallel Systems within the TUM School of Computation, Information and Technology. Specializing in high-performance computer architecture with a unique focus on spaceflight applications and informatics ethics, he leads the 'Gesellschaft für Informatik und Ethik' (Society for Informatics and Ethics). Ph.D. in Electrical Engineering from TUM (1998) Industry experience before returning to academia Former Assistant Professor in History of Science (2002-2010) at Universität der Bundeswehr München Full Professor of Distributed Computing at University of Bedfordshire (2010-2014) His research spans three major domains: High-Performance Computing: Focused on microprocessor architectures, hardware-oriented optimizations, and co-design approaches. Recent work includes GPU power capping strategies and Data Distribution Service (DDS) middleware enhancements. Space Systems: Pioneering computer architectures for nanosatellites with projects like MOVE-II mission and MicroPython-based satellite control systems. Digital Ethics: Through his 'Gewissensbits' initiative, he explores ethical decision-making frameworks for technology and contributes to the German Informatics Society's ethical guidelines. Key publication trends show interdisciplinary work connecting: HPC systems and edge AI applications FPGA-based verification and RISC-V processors Time series analysis at petascale performance Hardware-software co-design for extreme environments Continued emphasis on ethical computing frameworks Scientific Recognition: TeachInf Award for Outstanding Teaching (2023) Hans Meuer Award for Best Paper (2020) ZARM Master Thesis Awards (2016, 2017) Prof. Trinitis leads multiple research projects including: SEANERGYS (EuroHPC) - Energy-efficient computing systems PlasmaPEPS - Plasma physics simulation environments OpenCUBE - Open computing frameworks for space MUNIQC-ATOMS - Quantum computing integration

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

استادیار

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

KC Sivaramakrishnan is an Assistant Professor at the Indian Institute of Technology Madras and Chief Technology Officer (CTO) of Tarides. His research focuses on the intersection of programming languages and systems, particularly in the areas of Functional Programming , Language Runtimes , Concurrency/Parallelism/Distribution , and Weak Memory/Consistency .

Burcu Kulahcioglu Ozkanمشاهده پروفایل

استادیار

• software testing
• program analysis
• concurrency
• +۵ مورد دیگر

Burcu Kulahcioglu Ozkan is an Assistant Professor at Delft University of Technology (TU Delft), Netherlands, where she leads the FORSE (Lightweight Formal Methods for Software Engineering) lab and co-directs Ripple's UBRI blockchain research initiative. Her research bridges formal methods and software engineering to enhance reliability in concurrent/distributed systems, blockchain, and software testing. Research Focus: Her work spans model checking, fuzzing, concurrency debugging, and distributed systems verification. Key interests include developing automated tools for testing blockchain implementations, randomized testing methodologies, and fault injection techniques. She integrates runtime data with AI to improve software quality through the TU Delft-JetBrains AI4SE collaboration. Recent Publication Trends: Her 15 most recent articles emphasize fuzzing techniques (e.g., model-guided fuzzing), blockchain consensus testing (Ripple, Byzantine fault tolerance), concurrency bug analysis (Kotlin Coroutines), and graph database verification. Work consistently applies formal methods to real-world distributed systems. Awards & Honors: Amazon Research Award (2023) for coverage-directed testing of distributed systems Stellar Academic Research Grant (2023) for blockchain fault injection Best Software Science Paper at ICGT'25 for graph database fuzzing Students & Funding: Advises PhD/Master's students (e.g., Melchior Oudemans, Levin Winter) on distributed systems testing. Research supported by Amazon, Stellar Development Foundation, and Ripple. Leads teams in FORSE lab and UBRI blockchain projects. Leadership: Regularly serves on PCs for ICSE, OOPSLA, CAV; keynote speaker at FORTE'25; co-chairs workshops (e.g., DEBT'25). Develops open-source tools like DSTest for concurrency testing.

Viktor Vafeiadisمشاهده پروفایل

پژوهشگر

• Weak Memory Models
• Concurrency
• Program Verification
• +۴ مورد دیگر

Viktor Vafeiadis is a tenured researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. He received his BA and PhD from the University of Cambridge (2004, 2008) and worked as a postdoctoral researcher at Microsoft Research Cambridge and the University of Cambridge before joining MPI-SWS in 2010. His research focuses on concurrency , verification of concurrent programs, weak memory consistency , weak persistency , and formal semantics of programming languages. Research Areas: Weak Memory Models, Program Verification, Persistent Programming, Automated Model Checking Key Tools: Cave (automated verification tool), GenMC (model checker), Kater (consistency checker) His recent work explores linearizability under relaxed memory , mixed-size memory accesses , and formalizing ARMv8 persistency . Awards include the ACM SIGPLAN John C. Reynolds Award (2008), ERC Consolidator Grant (2020), and Robin Milner Young Researcher Award (2022). Selected Awards: ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award (2008) ERC Consolidator Grant (2020) ACM SIGPLAN Robin Milner Young Researcher Award (2022) Distinguished Paper Awards: PLDI'17, OOPSLA'21, ECOOP'17 He has mentored numerous PhD students including Ellen Arlt , Pavel Golovin , and Aristotelis Koutsouridis , while alumni advisees include Soham Chakraborty and Michalis Kokologiannakis . His collaborative work spans institutions like University of Cambridge , Microsoft Research , and ETH Zürich .

Azalea Raadمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Verification
• Weak Memory Models
• +۴ مورد دیگر

Dr. Azalea Raad is an Associate Professor (Reader) in the Department of Computing at Imperial College London, leading the Veritas Lab. She is also co-director of the UK Research Institute on Verified, Trustworthy Software Systems (VeTSS). Her research focuses on programming languages, formal verification, and weak memory models, with contributions to persistent memory technology and concurrency. Raad has held visiting roles at Facebook and Bloomberg, and has been recognized with awards such as the UKRI Future Leaders Fellowship and the SIGPLAN Distinguished Paper Award. Her work bridges theoretical foundations with practical tools for ensuring software correctness. Education & Roles: PhD (Imperial College London, 2016) Reader/Associate Professor (Imperial College London, 2021–present) Co-Director, UK VeTSS Institute (2023–present) Research Interests: Her research explores formal methods for persistent programming, including non-volatile memory semantics, weak memory models, and concurrency. She develops tools like Incorrectness Separation Logic and frameworks for verifying binaries (e.g., IsaBIL). Her work emphasizes practical applications in industrial settings, such as Intel PMDK transactions and RDMA robustness. Grants & Awards: EPSRC Research Grant: Safe and Secure Remote Direct Memory Access (2023) UKRI Future Leaders Fellowship (2021) Meta Research Gift (2022) Imperial College President’s Award (2021) Professional Activities: Program Committee Member: ESOP (2024), CAV (2022), ICFP (2022) Keynote Speaker: MFPS (2022), PLDI (2021) Labs & Teams: Leads the Veritas Lab, focusing on verified software systems, and collaborates with industry partners like Intel and Bloomberg through applied research initiatives.

• Computational Linguistics
• Artificial Intelligence
• Text Generation
• +۶ مورد دیگر

Sujian Li is an active researcher in computational linguistics and natural language processing, with recent contributions to advanced large language model applications. Their work spans multiple critical areas including hierarchical memory frameworks for Wikipedia generation, self-refining entity grounding systems, and long-context embedding model extensions. Key Research Areas: Continual learning in NLP, multimodal reasoning, cross-lingual knowledge transfer, and factual consistency evaluation. Notable Methods: MOG framework for structured generation, ISR self-refinement scheme, LongAttn token-level analysis, and IPR step-level process refinement. Article Trends show a focus on improving LLM robustness through adversarial training, enhancing coherence via discourse-level graph modeling, and developing benchmarks like WIKIGENBENCH for real-world evaluation. Their research also addresses knowledge integration in biomedical multilingual models (KBioXLM) and mathematical parsing via tree-structured decoding. Collaborations include leading researchers like Yifan Song, Dawei Zhu, and Wenhao Wu across institutions and projects.

• Data Provenance
• Database Systems
• Data Cleaning
• +۵ مورد دیگر

Boris Glavic is a Professor at Illinois Institute of Technology, Chicago, specializing in database systems with a strong research focus on data provenance, uncertain data management, and database optimization techniques. His work bridges theoretical database concepts with practical applications in data cleaning, debugging, and ML integration. Glavic's research primarily centers on data provenance, where he has developed innovative techniques for tracking data lineage, optimizing provenance computations, and applying provenance to various database tasks. His work spans theoretical foundations of provenance in database query languages to practical systems like GProM (a 'Swiss Army Knife' for provenance needs) and applications in data debugging, uncertain data management, and ML pipeline robustness. Key contributions include provenance-based data skipping, reenactment techniques for transaction debugging, and frameworks for explaining query answers and non-answers. Analysis of Glavic's recent publications reveals a clear evolution from foundational provenance research toward integration with machine learning systems and addressing data quality challenges. His work increasingly focuses on practical applications where provenance techniques enhance data reliability in ML pipelines, improve debugging of complex data workflows, and enable efficient handling of uncertain and incomplete data. The publications demonstrate strong interdisciplinary connections between database theory, data management systems, and machine learning. While specific awards aren't documented in the provided information, Glavic's extensive publication record in top-tier venues (VLDB, SIGMOD, ICDE) over more than a decade demonstrates significant recognition within the database research community. His work has clearly influenced both theoretical and practical aspects of data management systems. Glavic has mentored numerous researchers who have become frequent collaborators, including Seokki Lee, Xing Niu, Su Feng, and Pengyuan Li. His research has been supported by grants enabling substantial contributions to data provenance, database debugging, and uncertain data management. The collaborative nature of his work is evident through extensive co-authorship networks spanning multiple institutions and research groups. Though specific lab affiliations aren't detailed in the provided information, Glavic's research appears to be conducted within a vibrant database research group at Illinois Institute of Technology, with strong connections to other leading database research centers. His work on systems like GProM suggests an active research laboratory focused on practical database tools and techniques.

• Operating Systems
• Computer Architecture
• Virtualization
• +۳ مورد دیگر

Prof. Redha Gouicem holds the Chair of Operating Systems at RWTH Aachen University. His research focuses on operating system design, virtualization, and multicore scheduling, with an emphasis on formal verification and performance optimization. Professorship: Operating Systems Location: RWTH Aachen University, Germany Research interests include: Multicore scheduling algorithms Binary translation and virtualization Formal verification of OS components CPU frequency scaling and performance optimization Comparison of scheduling models in Unix/Linux Domain-specific languages for scheduler development Recent work explores hypervisor-agnostic guest overlays, weak memory model translation, and provably correct multicore schedulers. His publications demonstrate technical depth in system software design and concurrency management. Current affiliations: RWTH Aachen University Chair of Operating Systems

Yuval Yaromمشاهده پروفایل

استاد

• Computer Security
• Cryptography
• Microarchitectural Attacks
• +۳ مورد دیگر

Yuval Yarom is a Professor and Head of the Chair of Computer Security at Ruhr University Bochum's Faculty of Computer Science. His research specializes in hardware security vulnerabilities, including microarchitectural attacks (e.g., Spectre, Rowhammer), cryptographic side channels, and GPU security exploits. He leads major initiatives like the DFG Excellence Cluster CASA and the EU Marie Curie Network QSI. Research focuses on: Microarchitectural attack vectors (cache timing, speculative execution) Automated security tools for cryptographic implementations Hardware-assisted cryptanalysis and mitigation design Cross-layer vulnerabilities in CPUs/GPUs Recent publications (2023-2025) show strong emphasis on: Practical attacks exploiting CPU/DRAM weaknesses (e.g., Apple M3 vulnerabilities, ECC memory failures) Automated countermeasures for cryptographic leakage Novel browser/GPU-based side channels Verified compilation for secure hardware Supervised 14+ PhD students including Önder Askin, Elena Kirshanova, and Andre Esser. Affiliations include Horst Görtz Institute (HGI), IACR, and Bochum's IT Security Association (BITSI).