Session Types Professors and Supervisors | ApplySharif

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

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۱۵۱-۱۶۵ از ۲۵۸ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

Fabrizio Montesiمشاهده پروفایل

استاد

University of Southern DenmarkDenmark

Fabrizio Montesi is a Professor and Head of Section in the Department of Mathematics and Computer Science at the University of Southern Denmark. He holds a leadership role as President of the Microservices Community since 2019. His research focuses on Choreographic Programming, Programming Languages, Cybersecurity, and Distributed Systems, with notable contributions to frameworks like Jolie and Choral. Montesi has secured significant grants, including EU Horizon Europe funding and Villum Foundation awards. He has supervised PhD students in microservices development and contributed to over 90 research outputs. His work emphasizes formal methods, concurrency, and secure distributed systems design. Research Interests His primary research areas include choreographic programming models, formal verification of distributed systems, and cybersecurity in microservices architectures. He explores theoretical foundations such as session types, process calculi, and linear logic, while developing practical tools like the Choco project for choreography-based IT systems. His work bridges theory and practice through frameworks like Jolie, enabling secure and scalable service-oriented computing. Grants & Projects - CHORDS (EU Horizon Europe) : Choreographies for Distributed Systems (2024–2029)\n- X-IDF : Explainable Internet Data Flows (2022–2026)\n- Choco : Choreographies for connected IT systems (2020–2025). Projects emphasize cybersecurity for SMEs and formal methods for distributed systems. Awards - Best Artefact Award (2023)\n- Villum Synergy Grant (2022)\n- Distinguished Paper Award (2021)\n- Villum Young Investigator (2019)\n- Innovation Prize (2017). Media & Outreach Montesi has engaged with media on topics like AI tools for media houses, cybersecurity for SMEs, and Denmark’s success in EU research grants. His work is cited in Wikipedia and discussed in academic networks.

پروفایل رسمی دانشگاه

Matthew Alan Le Brunمشاهده پروفایل

مربی

University of GlasgowUnited Kingdom

Matthew Alan Le Brun is a Tutor in the School of Computing Science at the University of Glasgow. His research focuses on distributed systems, formal methods, and programming languages, with an emphasis on session types and fault-tolerant communication protocols. He has published at prestigious venues such as the European Symposium on Programming (ESOP) and DisCoTec. Le Brun's recent work includes exploring multiparty session types with replication mechanisms (ESOP 2025), typing failure-prone communication (DisCoTec 2024), and foundational research on MAGπ (ESOP 2023). His publications address challenges in ensuring correctness and reliability in distributed systems through formal type systems. No scientific awards are explicitly mentioned in the provided materials. He has no listed advisees or grants. His work contributes to both theoretical advancements and practical implementations of distributed communication frameworks.

پروفایل رسمی دانشگاه

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

پژوهشگر

InriaFrance

Dominique Devriese is a researcher affiliated with Vrije Universiteit Brussel , specializing in Secure Compilation, Capability Machines, Functional Programming , and Dependently-typed Programming . His work bridges theoretical foundations with practical applications in programming language design and security verification. Active contributor to top-tier conferences like POPL, ICFP, and PriSC Program Committee member for CPP, CoqPL, and Haskell tracks Session Chair for Type Systems and Verification sessions His research explores secure calling conventions, parametricity, and capability safety, often leveraging formal methods and type theory to ensure robust system behavior. Recent publications focus on Cubical Agda, CHERI architecture, and gradual typing. Though no awards or students are explicitly listed, his contributions to program committees and co-located events like PriSC and WGT highlight his academic engagement.

پروفایل رسمی دانشگاه

Marco Patrignaniمشاهده پروفایل

پژوهشگر

InriaFrance

Marco Patrignani is a researcher affiliated with Stanford University and previously with the University of Trento (Italy). His work focuses on secure compilation , compiler security , and memory safety , particularly in the context of WebAssembly and Spectre attacks. He has contributed to numerous workshops and conferences, including POPL, PriSC, and PLDI. Key Research Areas: Secure Compilation, Programming Languages, WebAssembly, Cryptography Notable Contributions: Robust security guarantees against speculative execution attacks, memory safety preservation, and formal verification of compilers. Publications highlight his work on compiler correctness, ownership-based information flow, and cryptographic security. He has organized and chaired sessions at workshops like PriSC and ESOP.

پروفایل رسمی دانشگاه

Marino Miculanمشاهده پروفایل

استاد

IT University of CopenhagenDenmark

Marino Miculan is a Professor of Computer Science at the Department of Mathematics, Computer Science and Physics of the University of Udine, with a secondary affiliation at the Department of Environmental Sciences, Informatics and Statistics of Ca’ Foscari University of Venice. His work spans research, teaching, and academic service.

پروفایل رسمی دانشگاه

Mario Bravettiمشاهده پروفایل

استاد

University of BolognaItaly

Mario Bravetti is a Full Professor at the Department of Computer Science and Engineering, University of Bologna. His academic discipline is Informatics (INFO-01/A). He specializes in formal methods, process calculi, and distributed systems, with a focus on session types, microservices architecture, and formal verification of software systems. His research bridges theoretical foundations with practical applications in cloud computing, edge computing, and industry 4.0. Research interests include: Session types and behavioral contracts Formal semantics of concurrent systems Microservices deployment and orchestration Low-latency anomaly detection in industrial IoT Formal verification tools for programming languages His recent work emphasizes proactive-reactive scaling strategies for microservices and the integration of formal methods into cloud-native architectures. He has contributed to projects like SEAWALL and the BETTY COST Action, advancing software reliability in large-scale systems. His articles highlight advancements in session subtyping algorithms, typestate systems for Java, and edge-cloud continuum optimizations. He has served as a guest editor for journals on service-oriented architectures and formal methods.

پروفایل رسمی دانشگاه

Hamza Makhamrehمشاهده پروفایل

مدرس

Özyegin UniversityTurkey

Hamza Makhamreh is a Lecturer at Özyeğin University’s Department of Electrical and Electronics Engineering. He holds a Ph.D. and M.Sc. in Electrical and Electronic Engineering from Eastern Mediterranean University (2019, 2013) and a B.Sc. in Electrical Engineering from Palestine Technical University (2009). His academic career includes prior work as an electrical engineer at Dar Al-Handasah Consultants in Saudi Arabia. Dr. Makhamreh’s research focuses on control of power electronics devices , grid-connected converters , and multilevel inverter topologies . His recent publications emphasize advanced control strategies for multilevel inverters, including sliding mode control, model predictive control, and reduced switching frequency techniques. Key trends in his work involve optimizing grid integration, improving energy efficiency, and developing fault-tolerant power conversion systems. Notable contributions include organizing a special session on Advanced Multilevel Converters at the 2025 CPE-POWERENG conference and co-authoring high-impact journal articles in IEEE Transactions on Industrial Electronics and Sustainability . Despite no explicit awards listed, his collaborative research and conference involvement highlight active engagement in power electronics innovation.

پروفایل رسمی دانشگاه

Peter Müllerمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Peter Müller is a Professor at ETH Zurich's Department of Computer Science, specializing in programming languages and software verification. His research focuses on formal methods, separation logic, and Rust programming language verification, with significant contributions to program verification infrastructure and techniques for ensuring memory safety and security properties in complex systems. His primary research interests include: Program Verification and Formal Methods Separation Logic and Permission-Based Reasoning Rust Programming Language Verification Concurrency and Distributed Systems Verification Smart Contract Verification Hyperproperties and Security Verification Müller's publication record shows a strong trajectory from foundational verification techniques toward practical applications in modern programming languages, particularly Rust. His work consistently addresses the challenge of making formal verification scalable and applicable to real-world systems. Recent publications demonstrate increasing focus on Rust-specific verification (ownership, borrowing, closures), hyperproperties for security verification, and distributed systems verification - reflecting both theoretical depth and practical relevance to industry needs. He has served in significant leadership roles including session chair at PLDI 2020, Associate Chair for SPLASH 2026, and as a program committee member for numerous top-tier conferences including PLDI, POPL, SPLASH/OOPSLA, and ECOOP. In 2024, he participated in RTFM (Red-Hot Topics in Faculty Mentoring) as both a speaker and panelist, indicating his role in mentoring the next generation of academic researchers.

پروفایل رسمی دانشگاه

Carla Ferreiraمشاهده پروفایل

پژوهشگر

IMDEA Software InstituteSpain

Dr. Carla Ferreira is a Researcher at NOVA University Lisbon, Portugal. She actively contributes to academic communities as a committee member and session chair in conferences like POPL, ECOOP, and SPLASH. Her work bridges distributed systems, low-code development, and program verification. Researcher at NOVA University Lisbon Conference committee roles: POPL, ECOOP, SPLASH, MODELS, PLDI Research interests: distributed systems, low-code development, invariant verification Carla’s work focuses on ensuring correctness in distributed systems through coordination-free designs and replicated data types. She has explored low-code templates for safe application composition and automated scaling of sequential systems. Her recent contributions include consistency models for weakly consistent databases and educational approaches for teaching distributed verification with TLA+. She has authored key works on ECROs, OSTRICH, and VeriFx frameworks. Her publications span from 2016 to 2025, reflecting ongoing contributions to system design and verification. Carla Ferreira can be reached via her personal website at http://ctp.di.fct.unl.pt/~cf/ , though no direct email addresses are publicly listed in the scraped data.

پروفایل رسمی دانشگاه

Ben L. Titzerمشاهده پروفایل

پژوهشگر

Max Planck Institute for Security and PrivacyGermany

Ben L. Titzer is a researcher affiliated with Carnegie Mellon University specializing in programming language implementation and virtual machine technology. His work focuses on WebAssembly tooling, compiler design, and JavaScript engine optimization, with consistent contributions to major conferences including PLDI, SPLASH, and ICFP since 2015. His research interests center on WebAssembly infrastructure , where he develops tools for debugging, testing, and benchmarking WebAssembly modules. He has pioneered techniques in record-replay systems (Wasm-R3), program reduction, and diversified execution for uncovering elusive concurrency bugs. His work bridges theoretical compiler design with practical constraints of real-world deployment in browser and non-browser environments. Trends across his publications reveal a consistent focus on making WebAssembly more practical for developers through improved tooling and reliability. His recent work emphasizes standalone WebAssembly execution environments beyond browsers, addressing debugging challenges and performance bottlenecks in compilation pipelines. Earlier work examined JavaScript engine evolution (particularly V8) and memory management optimizations. Titzer actively contributes to the programming languages community through program committee service across multiple conferences including PLDI, POPL, SPLASH, and ISMM. He has chaired workshops and sessions on WebAssembly and virtual machine technologies, and delivered keynotes on WebAssembly's potential as a universal compilation target. As an organizer, he has served as Rebase Co-chair for SPLASH and co-chaired JENSFEST. His tutorial development work helps disseminate WebAssembly research tools to broader audiences. His research has practical impact through integration with major browser engines and WebAssembly toolchains.

پروفایل رسمی دانشگاه

Limin Jiaمشاهده پروفایل

استاد پژوهشی

Carnegie Mellon UniversityQatar

Limin Jia is a Research Professor affiliated with Carnegie Mellon University's CIT Department of Electrical and Computer Engineering and the Computer Science Department. He leads research in systems security, formal verification, and programming language foundations. His work emphasizes compositional assurance for cyber-physical systems and secure software development practices. Education background is not explicitly stated in the text, but his research focuses on advanced technical domains requiring doctoral-level expertise. Current research interests span cyber-physical systems assurance, software security, and formal methods for program analysis. Recent work includes groundbreaking studies on compositional assurance for large systems (2025), adversarial attacks on large language models (2024), and Rust-based program verification tools like Crabtree (2024). His team also develops tools such as Nodemedic (Node.js vulnerability analysis) and ProInspector (protocol bug detection). Research outputs bridge theory and practice, with 15+ publications in 2023-2025 alone. Current advisees include Myra Dotzel, Nuno Sabino, and Rafael Goncalves. Research collaborations involve multi-institutional projects in network security, IoT safety, and compiler verification. Active in both ACM and IEEE conferences, his work has been funded through multiple NSF and industry grants (details not specified in text). Operates within the Mehrabian Collaborative Innovation Center, fostering interdisciplinary projects at the intersection of electrical engineering, computer science, and cybersecurity. His lab develops both foundational theories and practical tools for improving system security and reliability across domains.

پروفایل رسمی دانشگاه

Manami Royمشاهده پروفایل

استادیار

Lafayette CollegeUnited States

Manami Roy is an Assistant Professor in the Department of Mathematics at Lafayette College. Her research focuses on the intersection of number theory and arithmetic geometry, with a particular emphasis on automorphic forms, elliptic curves, L-functions, and the Langlands Program. She has contributed to projects such as the L-functions and Modular Forms Database (LMFDB), and her work often involves computational methods. Dr. Roy has presented her research at numerous conferences and institutions, including the AWM Research Symposium, ICERM, and the Ohio State University Number Theory Seminar. She has co-organized sessions at AMS meetings and workshops related to automorphic forms and explicit methods in arithmetic geometry. Her collaborative efforts include projects on discriminant ideal twins, quaternionic Maass Spezialschar, and generalized Ramanujan-Sato series. Teaching-wise, she has instructed courses such as Discrete Structures, Number Theory, and Abstract Algebra at Lafayette College, and previously taught at Fordham University and the University of Oklahoma. Her academic service includes involvement with Women in Number Theory initiatives and organizing panels on fostering collaborations and integrating into new academic institutions. Her research integrates both theoretical and computational approaches, with recent publications exploring elliptic curves over global/local fields, Siegel modular forms, and connections between modular forms and algebraic structures. She actively participates in mentoring and outreach activities, reflecting her commitment to advancing mathematics education and inclusivity in the field.

پروفایل رسمی دانشگاه

Felix Stutzمشاهده پروفایل

پژوهشگر

Max Planck Institute for Software SystemsGermany

Felix Stutz is a researcher in the Security and Trust of Software Systems (SaToSS) group at the University of Luxembourg, led by Sjouke Mauw. He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS), where he was advised by Rupak Majumdar and Damien Zufferey. His research focuses on formal methods for concurrent/distributed systems, security protocols, and message-passing program analysis. Education: PhD in Computer Science, MPI-SWS (2022) Masters degree from University of Saarland Research internship at Imperial College London with Emanuele D’Osualdo and Philippa Gardner Research Interests: Felix specializes in formal verification of distributed systems, cryptographic protocols, and algorithmic security analysis. His work bridges theoretical foundations with practical tools like the PaSh shell script parallelizer and Lemma9 cryptographic protocol verifier. Professional Highlights: Collaborated with MIT CSAIL on PaSh (2022), contributed to tools like AMGC for session types and Heimdall for Erlang scheduling. His research emphasizes tool-supported verification for complex systems.

پروفایل رسمی دانشگاه

Martin Maquivarمشاهده پروفایل

دانشیار

Washington State UniversityUnited States

Martin Maquivar is an Associate Professor in the Department of Animal Sciences at Washington State University (WSU), part of the College of Agricultural, Human, and Natural Resource Sciences. His research focuses on reproductive management in ruminants, particularly beef and dairy cattle, with emphasis on estrus synchronization, sexual maturation mechanisms, and non-antimicrobial therapies for reproductive health issues. He also explores the nutritional and hormonal influences on livestock productivity and health. His research spans applied physiology, including studies on endometritis treatment, vitamin A effects on growth and muscle development, and reproductive strategies in tropical and temperate climates. He has contributed to pedagogical innovations, such as online laboratory sessions and flipped classrooms in animal sciences education. His work integrates molecular biology techniques, such as mRNA analysis in epithelial cells, to understand disease progression and improve livestock management practices. Key research trends include advancements in dairy cow reproductive health, innovative approaches to estrous cycle monitoring, and the application of infrared thermography in livestock surgery. His studies highlight the interplay between environmental factors (e.g., seasonality) and reproductive outcomes in tropical regions. While no specific awards are listed, his extensive publication record demonstrates sustained contributions to animal science and veterinary medicine. Dr. Maquivar advises on reproductive technologies and has collaborated on projects addressing cow-calf productivity, embryo transfer efficiency, and calf health. His research often bridges basic science and practical farm applications, aiming to enhance sustainability in livestock production systems.

پروفایل رسمی دانشگاه

William Manskyمشاهده پروفایل

استادیار

InriaFrance

William Mansky is a faculty member in the Department of Computer Science at the University of Illinois Chicago, College of Engineering. He is actively engaged in research in formal methods, program verification, and programming languages. His work focuses on applying theorem proving and separation logic to verify concurrent and systems software, particularly under relaxed memory models. His research interests include: Program Verification Concurrency and Parallelism Theorem Proving (especially using Iris and Coq) Language Semantics Compiler and Systems Verification Memory Models and Race Detection The recent articles indicate a strong trend in mechanized verification of low-level systems code, compositional reasoning for concurrent programs, and integration of formal methods with practical software like CompCert and CUDA. His work often bridges theoretical logic with real-world implementation challenges. He has served on program committees for premier conferences including POPL, CPP, and CoqPL, and has chaired sessions on weak memory and program logics. He also contributes to open-source formal verification projects on GitHub, including Coq-related packages and the Iris framework. Notable roles: Program Committee Member – POPL, CPP, CoqPL Session Chair – POPL (Weak Memory and Concurrent Separation Logic) Artifact Evaluation Committee – POPL William Mansky leads a research lab at UIC, accessible at https://mansky.lab.uic.edu/ , where he supervises research in formal verification and programming language theory.

پروفایل رسمی دانشگاه