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

Andreea Costeaمشاهده پروفایل

استادیار

• Programming Languages
• Software Verification
• Automated Program Repair
• +۴ مورد دیگر

Andreea Costea is an Assistant Professor in the Programming Languages Group within the Faculty of Electrical Engineering, Mathematics & Computer Science (EEMCS) at Delft University of Technology. She joined TU Delft in October 2024 after completing her PhD at the School of Computing, National University of Singapore (NUS), where she worked in the Programming Languages and Software Engineering lab collaborating with the Automated Program Repair team, Trustworthy and Secure Software group, and VERSE lab. Her primary research focuses on programming languages design and implementation, with particular emphasis on software verification for critical code, program synthesis, and automated program repair. She maintains strong connections with industry while pursuing formal methods research, especially in the context of Rust programming language safety and interoperability. Dr. Costea's publication record demonstrates consistent contributions to software engineering and programming languages research, with recent work focusing on automated program repair techniques, Rust language safety mechanisms, and communication protocol verification. Her research shows a clear trajectory from theoretical foundations in session types and separation logic toward practical applications in memory safety and program repair. She actively serves the research community as Program Committee member for major conferences including ASE, ICSE, ICFP, and APLAS. Her service includes chairing publicity committees for SPLASH and artifact evaluation for ESOP. Regular Journal Reviewer: CACM, TOSEM, TSE Panel discussions: PLMW @ POPL'22, PLDI'21, PLMW @ PLDI'21, POPL'21 Extensive reviewing for top-tier conferences including POPL, OOPSLA, CAV, VMCAI Dr. Costea supervises multiple Master's students working on Rust-related safety projects and is actively recruiting PhD students to work on software interoperability, particularly focusing on how to restore Rust's safety guarantees when integrating with legacy C code and ensuring correct interaction between components written in different languages.

Kayleigh Masonمشاهده پروفایل

عضو هیئت علمی

• Epidemiology
• Biostatistics
• Health Inequalities
• +۶ مورد دیگر

Kayleigh Mason is a Senior Research Fellow in Epidemiology and Biostatistics at the School of Medicine, Keele University. She joined Keele in 2020 and leads the Keele Health and Care Data Research (HCDR) Network, contributing to national research initiatives. Her work focuses on epidemiological analysis of healthcare data, particularly electronic health records (EHRs), to address health inequalities, disease management, and outcomes in chronic conditions like psoriasis and musculoskeletal pain. Education: BSc (Hons) Pharmacology from The University of Manchester (2010), PhD in "Central and Peripheral Mechanisms of Pain in Clinical Knee Osteoarthritis" from The University of Manchester (2014). Professional Experience: Previously a Research Associate at The University of Manchester, specializing in pharmacoepidemiology and applied statistics using BADBIR dermatology datasets. Current Roles: Member of the School of Medicine Management Team and statistical reviewer for Rheumatology and Rheumatology Advances in Practice . Research Interests: Large-scale EHR analyses for population health insights Pharmacoepidemiology of psoriasis therapies Musculoskeletal pain epidemiology in children and adults Health inequalities and patient outcomes Public and Patient Involvement (PPI) in research design Collaborations: Leads NIHR-funded projects (e.g., CLIMB, CAM-Pain, MSKCOM) and collaborates with global institutions like Lund University and Oxford University. Her work has generated over £1 million in research income and contributed to over 40 peer-reviewed publications. Teaching: Delivers statistics/epidemiology sessions for postgraduate and undergraduate programs, including the Summer School on Prognosis Research. Advocates for open-access training materials in EHR methodologies.

• Cryptography
• Security Protocols
• Formal Methods
• +۳ مورد دیگر

Pedro Miguel Adão is an Assistant Professor at the Department of Computer Science and Engineering (DEI) of Instituto Superior Técnico (IST), University of Lisbon. He holds a PhD in Mathematics from IST (2006) and a Diploma in Applied Mathematics and Computation from the same institution (2002). His research focuses on cryptography, security protocols, formal methods, quantum security, and process calculi. He has conducted research at Microsoft Research Cambridge and the INRIA-Microsoft Research Centre in Paris, and is a member of the SQIG research group. Education: PhD in Mathematics, IST - University of Lisbon (2006) Diploma in Applied Mathematics and Computation, IST - University of Lisbon (2002) Research Interests: Adão’s work spans formal verification of cryptographic protocols, computational soundness, quantum security models, and security tool development. He has contributed to frameworks for analyzing security protocols and designing secure systems. Recent work includes firewall configuration tools (Mignis) and type-based analysis of cryptographic APIs. Affiliations & Activities: Organizer of the SQIG Information Security Seminar, PC member in multiple conferences (e.g., INForum, POST), and invited researcher at international institutions. His publications address topics like computational soundness, symbolic attackers, and Bayesian network classifiers.

• Concurrency and Parallelism
• Real-time Systems
• Distributed Systems
• +۶ مورد دیگر

Lukasz (Luke) Ziarek serves as Associate Dean for Academic Affairs and Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo's School of Engineering and Applied Sciences. His work bridges theoretical computer science with practical systems engineering, focusing on real-time capabilities in distributed environments and safety-critical applications. His educational foundation includes a PhD in Computer Science from Purdue University (2011) and a BS in Computer Science from the University of Chicago (2003). Ziarek's research centers on formal verification of distributed protocols , real-time systems engineering , and mobile/embedded computing . He pioneers session type theory for IoT security, develops real-time variants of Android (RTDroid) and Standard ML (RTML), and investigates UAV software reliability. His work consistently addresses the tension between theoretical guarantees and practical system constraints in concurrency, timing, and security. Recent publications (2022-2025) reveal three dominant trajectories: formal methods for rate-based session types in IoT protocols, performance analysis of visual SLAM systems for robotics, and security vulnerabilities in embedded platforms like ARM TrustZone. These threads converge on ensuring correctness and timeliness in resource-constrained distributed systems. His scientific accolades include the IEEE Region One Technological Innovation Award (2023) and NSF CAREER Award (2018), reflecting dual excellence in research and education. IEEE Region One Technological Innovation (Academic) Award, 2023 President Emeritus and Mrs. Meyerson Award for Distinguished Undergraduate Teaching and Mentoring, 2022 NSF CAREER Award, 2018 SEAS Early Career Teacher of the Year, 2016 Halstead Award for Outstanding Research in Software Engineering, 2009 Intel Fellowship, 2008 GAANN Fellowship, 2004 Ziarek directs significant research initiatives including a $900K NSF UAV infrastructure project (as PI) and a $1.7M MRI grant for connected vehicle testing. His funding portfolio spans real-time systems, compiler design, and pocket-scale data management, emphasizing collaborative, interdisciplinary approaches to software reliability. CRI:CI-New UAV Infrastructure ($900K, PI 31%) NSF CAREER: Real-time Object-Oriented Systems ($500K, PI 100%) MRI: iCAVE2 Vehicle Testing ($1.7M, co-PI 14%) III: Just-in-Time Data Structures ($499K, co-PI 50%) II-EN: MLton Compiler Research ($606K, PI 63%) He leads an open-source ecosystem including RTDroid (real-time Android), Multi-MLton (parallel SML compiler), and BlueSeal (Android security analyzer), fostering community-driven advances in systems software.

Milada Walkovaمشاهده پروفایل

دانشیار

• English for Academic Purposes
• Academic Writing
• Applied Linguistics
• +۱۲ مورد دیگر

Dr. Milada (Millie) Walkova is an Associate Professor of English for Academic Purposes at the University of Leeds , affiliated with the School of Languages, Cultures and Societies and based in the Language Centre . She joined the university in 2018 and teaches on pre-sessional EAP courses and the online MA in Teaching English for Academic Purposes . She also holds a faculty position at the Technical University of Košice , Department of Languages. Her educational background includes: PhD in English Linguistics DELTA (Cambridge), with specialism in English for Academic Purposes MA in British and American Studies (thesis in EAP) PG Cert in English Language Teaching Higher Education Academy (HEA) Fellow Dr. Walkova’s research centers on linguistic approaches to academic writing , particularly in cross-cultural contexts. Her key interests include argument construction, self-mention, citation practices, and the teaching of academic vocabulary and transition markers. She advocates for evidence-based EAP pedagogy and has developed models such as the three-dimensional framework for self-mention. Her work often compares Slovak and English academic discourse, revealing cultural and linguistic differences in scholarly communication. Her recent scholarly output includes two edited books: Teaching Academic Writing for EAP (2024) and Linguistic Approaches in EAP: Expanding the Discourse (2024), both published by Bloomsbury. Her publications span high-impact journals such as English for Specific Purposes , Journal of English for Academic Purposes , and Discourse and Interaction . The articles show a consistent focus on empirical analysis of academic genres, EAP pedagogy, and contrastive rhetoric, with a strong trend toward practical applications in teaching and research writing support. She is actively involved in the academic community: Administrator, Critical Friend Network Initiative, BALEAP (2023–2025) Editorial Board Member: ESP Today (2023–), Ostrava Journal of English Philology (2021–), Language Scholar (2019–2023) Member, Pedagogic Research in the Arts (PRiA) working group Professional memberships: BALEAP, EATAW, AALL, ISSOTL Dr. Walkova supervises PhD students in linguistic aspects of academic writing and encourages scholarship in EAP. She leads module development in EAP and contributes to pedagogic research within the Faculty of Arts, Humanities and Cultures. Her work bridges theoretical linguistics and practical language teaching, aiming to enhance the academic success of non-native English speakers in global higher education.

• Programming Languages
• Logic and Type Theory
• Logical Frameworks
• +۵ مورد دیگر

Frank Pfenning is a Professor in the Department of Computer Science at Carnegie Mellon University's School of Computer Science. With decades of active research and service in programming languages and logic communities, he maintains a significant presence across major conferences including POPL, ICFP, and ESOP. His research spans foundational work in Programming Languages , Logic and Type Theory , Logical Frameworks , Automated Deduction , and Trustworthy Computing . Recent publications reveal a strong focus on session types, substructural logics, and their applications to concurrency and distributed systems. His work bridges theoretical foundations with practical implementations for reliable communication protocols. Analysis of his publication trends shows a consistent evolution from foundational type theory toward practical applications in concurrent and distributed systems. The integration of logical frameworks with session types represents a signature research trajectory, increasingly addressing real-world challenges in protocol verification and deadlock freedom. As an active community member, Pfenning has served on numerous program committees including POPL (2016-2025), ICFP (2015-2022), and ESOP. His mentoring activities include PLMW@POPL presentations, demonstrating commitment to training next-generation researchers. His technical contributions are primarily disseminated through premier venues in programming languages research. The absence of explicit grant information in available sources suggests focus on theoretical contributions rather than large-scale funded projects, though his sustained conference participation indicates stable institutional support.

Diogo Poçasمشاهده پروفایل

استادیار

• Theoretical Computer Science
• Applied Computer Science
• Session Types
• +۵ مورد دیگر

Diogo Poças serves as Assistant Professor in the Department of Mathematics at Instituto Superior Técnico (University of Lisbon) and Researcher at Instituto de Telecomunicações since 2024. Previously, he held faculty positions at the University of Lisbon's Faculty of Sciences (2020-2024) and conducted postdoctoral research at TU München (2018-2020), demonstrating continuous academic engagement within Portugal's leading technical institution. His academic foundation includes: PhD in Mathematics from McMaster University (2014-2017) supervised by Prof. Jeffery Zucker MSc in Mathematics and Applications from Instituto Superior Técnico (2011-2013) supervised by Prof. José Félix Costa BSc in Applied Mathematics and Computation from Instituto Superior Técnico (2008-2011) Dr. Poças' research program integrates theoretical computer science with practical applications across three interconnected domains: Session Types (developing algorithms for type equivalence and communication safety in concurrent systems), Algorithmic Game Theory (analyzing equilibrium computation complexity in congestion games and auctions), and Analog Computation (modeling continuous-data computation through frameworks like the General Purpose Analog Computer). His work consistently bridges formal methods with real-world computational challenges. His publication record reveals a cohesive research trajectory where session type theory advances directly inform game-theoretic mechanism design. Recent papers demonstrate growing sophistication in handling higher-order polymorphic types while simultaneously addressing fundamental questions in auction revenue maximization and congestion game equilibria, indicating a unique interdisciplinary approach to computational theory. No scientific awards or fellowships are documented in available sources. Dr. Poças has mentored students through teaching assistant roles (2013-2015) and supervised his own MSc thesis on stochastic oracle complexity. Current research funding derives from his affiliations with LASIGE (2020-2024) and Instituto de Telecomunicações, though specific grant mechanisms remain unspecified. He contributes to Portugal's computational research ecosystem through Instituto de Telecomuncações, building on prior work with LASIGE where he developed theoretical frameworks now reflected in his recent publications on session types and game equilibria.

• Arabic Language and Literature
• Oriental Studies
• Philosophy
• +۳ مورد دیگر

Sara Fani is a Fixed-term Junior Researcher (Researcher type a) in the Department of Philosophy at the University of Bologna. Her academic discipline focuses on STAA-01/L Arabic Language and Literature. She can be contacted via email at sara.fani3@unibo.it or visited at Via Zamboni 38, Bologna. Office hours require prior arrangement via email. Recent academic activities include managing the Philosophy Laboratory program with deadlines extending to May 2025, handling exam logistics during travel disruptions in January 2025, and promoting free language courses for students in Arabic, Chinese, Korean, Hindi, and Russian through the Language Skills Project. These courses are available for third-year ARCO and second-year Historical and Orientalistic Sciences students. No scientific awards or specific grants are explicitly mentioned in the provided materials. Her teaching responsibilities involve organizing laboratory sessions and managing student submissions adhering to editorial guidelines outlined in the Vademecum.

Thomas Wiesمشاهده پروفایل

استاد

• Program Analysis
• Program Verification
• Automated Deduction
• +۳ مورد دیگر

Thomas Wies is a Professor of Computer Science at the Courant Institute, New York University, and Chair of the Computer Science Department. His research focuses on program analysis and verification, automated deduction, and concurrency. University : New York University School : Courant Institute Department : Computer Science Academic Rank : Professor His research explores foundational techniques for verifying concurrent systems, including separation logic, shape analysis, and SMT-based methods. Key trends in his recent work include advancements in symbolic verification for concurrent data structures, multiparty protocol analysis, and linearizability proof tools. Scientific awards he has received include: Best Paper Award, ISSRE 2019 Best Paper Award, ACM SIGPLAN OOPSLA 2014 He has advised numerous PhD students and co-advised alumni, including Devora Chait-Roth, Mark Goldstein, Ekanshdeep Gupta, and others. His teaching portfolio includes graduate and undergraduate courses on programming languages, concurrency, and program verification. Professional roles include organizing conferences like VerifyThis 2025 and chairing program committees for VMCAI and ESOP.

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

استادیار

• Proof Theory
• Linear Logic
• Modal Logic
• +۱۱ مورد دیگر

Matteo Acclavio is an Assistant Professor in Computer Science (Informatics) at the School of Engineering and Informatics, University of Sussex. He holds a PhD in Mathematics from Aix-Marseille University and advanced degrees in Discrete Mathematics and Theoretical Computer Science. PhD in Mathematics (2020), Aix-Marseille University Master in Discrete Mathematics and Foundations of Theoretical Computer Science (2017), Aix-Marseille University Master in Mathematics (2015), Roma Tre University Bachelor in Mathematics (2012), Roma Tre University His research focuses on proof theory and its applications, particularly in linear logic, graphical proof systems, and concurrency. He has contributed to the development of proof-theoretic frameworks for reasoning about concurrent processes and logical time. Recent publications span topics like intuitionistic BV logic, deadlock-freedom in choreographic programming, and generalized connectives in linear logic, reflecting his interdisciplinary approach bridging mathematics and computer science. He teaches courses such as Operating Systems and supervises research in theoretical computer science.

Andrew Silverمشاهده پروفایل

استاد

• Cancer Genetics
• Colorectal Cancer
• Inflammatory Bowel Disease
• +۳ مورد دیگر

Professor Andrew Silver serves as Professor of Cancer Genetics at the Centre for Genomics and Child Health within the Faculty of Medicine and Dentistry at Queen Mary University of London. He leads the Colorectal Cancer Genetics Group and acts as Deputy Lead for Genomics and Child Health, while also serving as Editor for Pathology Research & Practice and the International Journal of Experimental Pathology. His academic foundation includes a First Class BSc in Applied Biology from Bath University (1980) and a PhD from the University of Reading (1984), followed by MRC post-doctoral appointments. Career milestones include heading the Tumour Biology and Genetics group at the National Radiation Protection Board (1990), leading Cancer Research UK’s Colorectal Cancer Unit at St Mark’s Hospital (2003), and establishing his research group at the Blizard Institute (2006). Professor Silver's research pioneers the molecular mechanisms of colorectal cancer and inflammatory bowel disease , with groundbreaking work on: Type 2 diabetes-epigenetic interactions in colorectal carcinogenesis Stenofibrosing disease mechanisms in Crohn's DUOX2-mediated oxidative stress in IBD-cancer progression Epigenetic therapies for intestinal fibrosis His 2014-2017 publications reveal a cohesive research trajectory centered on molecular pathways linking inflammation, fibrosis, and carcinogenesis, with increasing emphasis on translational epigenetics and biomarker discovery for clinical applications. Scientific recognition includes: Fellow of the Higher Education Academy (FHEA) Fellow of the Royal College of Pathologists (FRCPath) He actively mentors across academic levels: MBBS students through PBL sessions and mentoring, BSc Biomedical Genetics students as co-module lead for Human Genetic Disorders, and MSc/Intercalated BSc students through project supervision. His research team comprises Research Fellow Amy Lewis and Research Technician Giulio Berti, driving investigations into diabetes-cancer links and fibrosis therapeutics. The Colorectal Cancer Genetics Group maintains specialized focus on APC gene mechanisms, familial polyposis syndromes, and microRNA-based biomarkers, with laboratory facilities centered on epigenetic profiling and fibrosis modeling in IBD.

• Actuarial Science
• Stochastic Analysis
• Insurance Mathematics
• +۳ مورد دیگر

Zimbidis Alexandros serves as Assistant Professor of Stochastic Analysis with applications to Insurance and Finance at the Department of Statistics, School of Information Sciences and Technology, Athens University of Economics and Business (AUEB). He concurrently acts as a consultant for pension funds in both private and public sectors. His academic credentials include: First-class Mathematics degree from University of Athens MSc with distinction in Actuarial Science from City University of London PhD in Actuarial Science from City University of London Dr. Zimbidis specializes in Actuarial Science and Stochastic Analysis applied to insurance and financial systems, with particular expertise in earthquake risk modeling, pension fund sustainability, and competitive insurance market dynamics. His research integrates advanced stochastic processes, control theory, and catastrophe modeling to address solvency requirements and risk assessment challenges. Recent publications (2022-2024) reveal a pronounced focus on fault-specific earthquake risk quantification using neural networks and epidemic-type models, alongside innovations in IFRS17 compliance and pension contribution optimization through H∞-control theory. His work consistently bridges theoretical stochastic analysis with practical regulatory and industry applications. Key recognitions include: Acknowledgment by The Institute of Actuaries of Japan for earthquake risk research Acknowledgment by Institute & Faculty of Actuaries of London for earthquake risk research Dedicated session at Casualty Actuarial Society (CAS) Annual Meetings for insurance pricing research With extensive industry experience as former director of a multinational insurance company and inaugural President of Greece's National Actuarial Authority, Dr. Zimbidis has developed numerous actuarial studies for corporate and social security pension systems. His six university textbooks and journal publications demonstrate significant contributions to actuarial methodology and risk modeling.

• Reproductive health
• Perinatal health
• Midwifery
• +۹ مورد دیگر

Karolina Lindén is a midwife, associate professor (docent) in reproductive and perinatal health, and lecturer (universitetslektor) at the University of Gothenburg, Sweden. She holds a PhD in Health Care Sciences and is deeply involved in teaching midwifery and nursing students across multiple programs, including international nurse education and advanced-level courses in reproductive and perinatal health. Her clinical training contributions include skill-based sessions at the Clinical Training Centre (KTC). Education: Doctor of Philosophy (PhD) in Health Care Sciences – University of Gothenburg Licensed Nurse and Licensed Midwife Research Interests: Karolina Lindén’s research centers on women with added medical risk during pregnancy, birth, and postpartum. She is particularly focused on patient-reported outcome and experience measures (PROMs/PREMs) , using validated instruments in large population cohort studies and randomized controlled trials. Her methodological toolkit includes qualitative research, mixed-methods designs, and systematic literature reviews. A key area of interest is diabetes in pregnancy , with her PhD thesis examining well-being and diabetes management in women with type 1 diabetes during pregnancy and postpartum. She is currently the principal investigator of two major studies: the COPE Staff longitudinal national multi-center study (www.snaks.se/cope-staff) and the "What matters to mum?" international cohort study in collaboration with South Africa. Scientific Contributions & Trends: Her recent publications span COVID-19’s impact on maternal and neonatal health , including neurodevelopmental outcomes in infants exposed to SARS-CoV-2 antenatally, moral distress among healthcare workers, and the psychosocial effects of pandemic restrictions on birthing partners and midwives. Other key themes include breastfeeding initiatives , quality of maternal care across European countries, and intersectionality in nursing research . Advising & Grants: She serves as main supervisor to two PhD students and co-supervisor to three. Her research is supported by national and international collaborations, including the COPE study and IMAgiNE EURO projects, which have received funding from multiple health organizations and WHO initiatives. Professional Service & Policy Impact: Lindén has authored a book chapter on transition to parenthood for university students and has been engaged as an expert in sexual, reproductive, and perinatal health by the Swedish Association of Local Authorities and Regions .

Anders Møllerمشاهده پروفایل

استاد

• Static Program Analysis
• Dynamic Program Analysis
• JavaScript
• +۵ مورد دیگر

Anders Møller is a Professor at the Department of Computer Science , Aarhus University , Denmark. His career spans roles as an author , committee member , and session chair in conferences like SPLASH, OOPSLA, ECOOP, ISSTA, ICSE, and PLDI. Affiliation: Aarhus University Co-founder: Coana Research Focus : Specializing in static and dynamic program analysis for JavaScript, TypeScript, Java, and Node.js applications, his work addresses: Pointer analysis precision in Java Race condition detection in Node.js Library evolution and semantic patching Soundness improvements in static analyzers Type safety in modern languages Concolic execution for web testing Publication Trends : Recent work (2021–2024) emphasizes security-critical static analysis (taint specifications, Node.js security), soundness optimization (approximate interpretation), and program verification (channel-based communication). Earlier work (2013–2018) includes foundational contributions to JavaScript refactoring , Dart type safety , and AJAX race detection . Scientific Recognition : ISSTA 2019 Distinguished Paper Award Leadership Roles : Active in steering committees for SPLASH, ECOOP, and SIGPLAN, with chairs in OOPSLA, ECOOP, and PLDI program committees.

• Medicinal Chemistry
• Antiviral Drug Design
• Human Rhinovirus
• +۴ مورد دیگر

Manon Roche is a Senior Lecturer at Aix-Marseille University, affiliated with the Radical Pharmacochemistry (PCR) team within the Faculty of Pharmacy Marseille. Her research focuses on antiviral drug design, particularly targeting human rhinovirus type B14. Key Research: Discovery and optimization of LPCRW_0005, a selective inhibitor of human rhinovirus replication, including mechanistic studies via site-directed mutagenesis and crystal structure analysis (PDB ID: 4PDW). Methods: Interdisciplinary approach combining chemistry, biology, and in silico drug design, leading to synthesis and evaluation of over 200 molecules with EC50 of ~30 nM and high selectivity index. Teaching: Delivers lectures and practical sessions in Therapeutic Chemistry at Master’s levels (M1 Medicines and Health Products, M2 Drug Design) and DFGSP2 Pharmacy. Safety Assessments: Conducted mutagenicity studies showing absence of clastogenic/anuegenic activity via in vitro micronucleus tests.