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

Jonathan R. Lyonمشاهده پروفایل

استاد

• Medieval History
• Holy Roman Empire
• European Political History
• +۶ مورد دیگر

Jonathan R. Lyon is Professor of History of the High and Late Middle Ages at the Institute for Austrian Historical Research within the Faculty of Historical and Cultural Studies at the University of Vienna. He maintains office hours on Thursdays from 14:00-16:00 (available via Zoom by appointment) and can be contacted at jonathan.lyon@univie.ac.at or +43-1-4277-27297. His educational background includes: B.A. in History and Latin, Colgate University (1997, Summa cum laude) Exchange year at Albert-Ludwigs-Universität Freiburg (1996) M.A. in History, University of Notre Dame (1999) Ph.D. in History, University of Notre Dame (2005) Lyon's research centers on the Holy Roman Empire during the High and Late Middle Ages, European political and social structures (1000-1500), the evolution of statehood, corruption mechanisms, medieval kinship systems, and gender dynamics with particular emphasis on masculinity. His work examines how political power, social networks, and religious institutions intersected in shaping medieval governance and community life, often challenging traditional narratives about medieval state formation through comparative analysis of German and Hungarian contexts. Analysis of his 15 most recent publications reveals consistent chronological focus on the 12th-15th centuries with increasing attention to corruption, gender, and monastic institutions since 2015. His scholarship demonstrates methodological diversity through charter analysis, prosopography, and comparative institutional studies, while maintaining thematic continuity in examining power dynamics between nobility, monarchy, and religious entities across Central Europe. His major scientific awards include: 2024 Otto Gründler Book Prize for Corruption, Protection and Justice in Medieval Europe: A Thousand-Year History 2017 John Nicholas Brown Prize for Princely Brothers and Sisters: The Sibling Bond in German Politics, 1100–1250 Lyon has secured prestigious research funding including the Fulbright Fellowship (2000-2001), DAAD Research Fellowship (2007), FWF Lise Meitner Fellowship (2013-2014), and Alexander von Humboldt Research Fellowship (2017-2018). He served as Academic Director of the Berlin Consortium for German Studies (2012-2013) and currently advises the Manchester Medieval Sources Series. His ongoing projects include editing charters of Quedlinburg abbesses and authoring an introductory text on the medieval Holy Roman Empire.

James K. Russellمشاهده پروفایل

استاد

• Volcanology
• Petrology
• Glaciovolcanism
• +۵ مورد دیگر

James K. Russell is a Full Professor in Earth, Ocean and Atmospheric Sciences at The University of British Columbia, where he has been faculty since 1999. He directs the Volcanology and Petrology Laboratory and maintains an active research program in volcanology and petrology with significant international collaborations including appointments at LMU Munich, University of Torino, and Monash University. His educational background includes a Ph.D. (1984) and M.Sc. (1980) from the University of Calgary, and a B.Sc.(H) (1976) from the University of Manitoba. He previously worked at Cominco Exploration Ltd in Vernon, British Columbia before joining UBC. Russell's research focuses on understanding magmatic processes through multiple approaches. His primary interests include glaciovolcanism as a tool for paleoclimate reconstruction, predictive modeling of magma transport properties, and high-temperature rock mechanics experiments. His work bridges theoretical modeling with field observations, particularly in the Canadian Cordillera. He has developed influential models for magma viscosity that are widely cited in the volcanology community. His publication record shows consistent high-impact research over several decades, with recent work focusing on ultramafic melt viscosity, kimberlite transport mechanisms, and glaciovolcanic interactions. The research demonstrates a strong emphasis on quantitative approaches combining thermodynamics, rheology, and field-based observations to solve fundamental problems in volcanology. Scientific Awards: 2024 Research Award of the Alexander von Humboldt Foundation, LMU, Munich, Germany 2022 DAAD Research Stay for Visiting Academics Scholarship (3 months) 2019 Visiting Professorship, University Roma Tre 2019 Visiting Fellow at Centre for Advanced Studies, University of Munich 2016 Fellow of Mineralogical Society of America 2013 NSERC Discovery Accelerator Supplement Award 2010 Career Achievement Medal, Volcanology Division, Geological Association of Canada 2008 Peacock Medal, Mineralogical Association of Canada Russell has served in numerous editorial and professional capacities, including as Co-Editor-in-Chief for Journal of Volcanology & Geothermal Research (2016-2022), Associate Editor for multiple prominent journals, and as evaluator for research grants including ERC Consolidator grants and NSERC competitions. He has provided media consultation for National Geographic and Nova/Pioneer Productions. He maintains active laboratory facilities for volcanology and petrology research at UBC, with equipment for high-temperature experiments and magma rheology studies. His research group collaborates internationally with institutions in Germany, Italy, and Australia, reflecting his extensive network built through sabbatical visits and visiting professorships.

Bart Cammaertsمشاهده پروفایل

استاد

• Political Communication
• Media and Communication Studies
• Social Movements
• +۳ مورد دیگر

Bart Cammaerts is Professor of Politics and Communication at the Department of Media and Communications , London School of Economics and Political Science (LSE). He previously served as Head of the Department and held academic roles at LSE since 2005, including Lecturer , Senior Lecturer , and Associate Professor . Earlier, he conducted postdoctoral research at LSE (Marie Curie Fellowship, 2003–2005), the University of Amsterdam (2002–2003), and doctoral research at the Vrije Universiteit Brussel (1997–2002). Education: MA in Political Sciences, Vrije Universiteit Brussel (1996) PhD in Social Sciences, Vrije Universiteit Brussel (2002) Research Focus : Interdisciplinary work at the intersection of media and communication studies and political science , emphasizing the dialectic interplay between media and resistance, alternative media, protest movements, and critical analyses of neo-fascism normalization. His methodological approach combines quantitative (surveys, content analysis) and qualitative (interviews, discourse analysis) methods. Publications include books on anti-austerity protests , youth participation in democracy , and mediation of protest movements , reflecting themes like media strategies of activists , symbolic resistance , and hegemonic struggles . He is currently writing books on Dichotomies in Media Theory and the War on Woke . Scientific Awards Marie Curie Fellowship Postdoctoral Funding from EU’s 5th Framework Program Doctoral Supervision : Supervises Jessica Kong and has mentored Jessica Baines , Brooks DeCillia , and Cornelia Reyes Acosta to completion. He has taught postgraduate courses including Mediated Resistance and Activism , Political Communication in Democracies , and Modern Campaigning Politics .

• Data Visualization
• Human-Computer Interaction
• Big Data Analytics
• +۱۳ مورد دیگر

Huamin Qu is a Chair Professor in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology (HKUST). He serves as the Founding Dean of the Academy of Interdisciplinary Studies (AIS), Founding Head of the Division of Emerging Interdisciplinary Areas (EMIA), and was the Founding Acting Head of Computational Media and Arts (CMA) at HKUST(GZ). Qu directs the VisLab and coordinates the Human-Computer Interaction (HCI) group. He obtained his BS in Mathematics from Xi'an Jiaotong University and MS/PhD in Computer Science from Stony Brook University. Qu's research integrates Data Visualization , Human-Computer Interaction , and Human-Centered AI , with applications in urban informatics, social networks, and explainable AI. His work focuses on developing interactive systems for big data analytics, visual storytelling, and AI-driven decision support. Research extends to multimodal communication, fintech, and augmented reality applications. His publications emphasize visual analytics for complex datasets (mobility, social media, financial), interaction techniques for immersive environments, and AI-enhanced visualization tools. Recent works explore explainable AI interfaces and large-scale data communication frameworks. IEEE Visualization Academy (2020) IEEE VGTC Technical Achievement Award AI 2000 Most Influential Scholar (2019, 2023, 2024) 21 Best Paper/Honorable Mention awards IBM Faculty Award (2009) APICTA Merit Award (2015) Yelp Dataset Grand Prize (2018) Qu has advised 48 PhD graduates (21 now faculty at institutions like UC Davis, University of Minnesota, Texas A&M) and 30 MPhil students. He secured major grants including RGC theme-based projects (digital citizenship, air pollution), UGC AoE (slope safety), and China's 973 Program. As VisLab director, he leads 20+ researchers in visualization/HCI projects adopted by Microsoft, IBM, Huawei, and Tencent.

Allen J. Scottمشاهده پروفایل

استاد پژوهشی

• Urban geography
• Regional development
• Globalization
• +۳ مورد دیگر

Allen J. Scott is a Distinguished Research Professor at the University of California, Los Angeles, with a joint appointment in the Department of Public Policy (School of Public Affairs) and Department of Geography. He has held prestigious positions at UCLA since 1994 and previously at the University of Toronto (1969–1994). His career spans over five decades, focusing on urban geography, regional development, and cultural economy. Education : BA (1961) from Oxford University; MA and PhD (1962, 1965) from Northwestern University. Research Interests include: Creative cities and cognitive-cultural capitalism Political economy of urbanization and globalization Industrial clusters and labor-intensive economies Human capital distribution in metropolitan areas Cultural landscapes and peripheral development Publication Trends (2005–2014) emphasize: Globalization's impact on low-technology industries Cognitive-cultural capitalism in urban contexts Human capital dynamics in metropolitan hierarchies Celebrity culture and urban glamour Creative field theories and urban policy implications Scientific Awards : 1986 Guggenheim Fellow 2003 Vautrin Lud Prize 2005 Meridian Book Prize 1999–2013: Chaires d’Excellence, Fellowships, and Doctor Honoris Causa 2008 Carol and Bruce Mallen Lifetime Achievement Award 2003 ISI Highly Cited Author

Wang Ningمشاهده پروفایل

استاد

• Cosmopolitanism and World Literature
• Translation Studies
• Northrop Frye and Mythology
• +۵ مورد دیگر

Wang Ning is a distinguished Professor of English and Comparative Literature with affiliations at Tsinghua University (part-time) and Shanghai Jiao Tong University. His career spans prestigious roles including Zhiyuan Chair Professor (2009–present) and Changjiang Distinguished Professor (2013–present). Born in 1955, he holds academic qualifications from institutions in China, Europe, and North America. Research interests focus on cosmopolitanism, translation studies, Northrop Frye's mythopoeia, cultural studies, and Chinese-Western comparative literature. He has secured over ten grants since 1991 aimed at introducing European theory to China and has conducted research across Europe, North America, and Australia as a visiting professor/research fellow. Key achievements include the Changjiang Scholars Award (2013), membership in Académé de la Latinité (2010), and fellowships at Cambridge and Gottingen Universities. He co-founded Chinese editions of New Literary History and Critical Inquiry , advancing transnational literary discourse. Wang has delivered keynote lectures globally and led initiatives to bridge Chinese and Western literary traditions. His work emphasizes global literary dynamics, translation’s role in cultural exchange, and reinterpreting modern Chinese literature within global contexts.

Lam Jamesمشاهده پروفایل

استاد

• Networked control systems
• Vibration control
• Control theory
• +۷ مورد دیگر

Lam James is a Chair Professor of Control Engineering at the University of Hong Kong (HKU), affiliated with the Faculty of Engineering. He holds a BSc (1st Hons.) in Mechanical Engineering from the University of Manchester, and MPhil/PhD degrees from the University of Cambridge. His academic journey includes roles as a Croucher Fellow, Lecturer at the University of Melbourne, and faculty member at City University of Hong Kong before joining HKU in 1993. Professor Lam serves as Editor-in-Chief for four international journals including IET Control Theory and Applications and Journal of The Franklin Institute . His research focuses on networked control systems, vibration control, control theory, and multi-agent systems. With 600+ peer-reviewed publications, he maintains an H-index of 102 (Web of Science) and 108 (Scopus), recognized as a Highly Cited Researcher in multiple fields. Education: BSc Manchester (Mechanical Engineering), MPhil/PhD Cambridge Editorial Roles: 20+ journals, including leadership roles since 2012 His awards include Foreign Membership of Academia Europaea (2024), National Academy of Artificial Intelligence membership (2025), and two State Natural Science Awards (2015, 2019). He is a Fellow of multiple institutions including IEEE, IMechE, and HKIE.

Yunjie Yangمشاهده پروفایل

دانشیار

• AI-powered sensing and imaging
• Machine learning
• Soft sensors & electronics for robotics
• +۵ مورد دیگر

Dr. Yunjie Yang is an Associate Professor at the University of Edinburgh's School of Engineering, with affiliations at the Edinburgh Futures Institute (EFI), the Edinburgh Generative AI Laboratory (GAIL), and the Edinburgh Centre for Robotics. He previously held the Chancellor's Fellow in Data Driven Innovation (2018-2023) and Bayes Innovation Fellow (2023-2024) positions. His research focuses on AI-powered sensing and imaging, machine learning, and soft sensors & electronics for robotics. Yang received his PhD in Engineering Electronics from the University of Edinburgh, MSc in Control Science & Engineering from Tsinghua University, and BEng in Measurement & Control Engineering from Anhui University. After his PhD, he worked as a Postdoctoral Research Associate in Chemical Species Tomography before securing his lectureship. His research interests center on developing intelligent sensing systems that replicate human perception capabilities for robotics and intelligent systems. He pioneers flexible sensing and imaging technologies across various scales through innovative multi-modal sensors, soft electronics, and their modeling using machine learning approaches. His work aims to enable autonomous physical artificial intelligence by bridging the gap between robotic systems and human-like perception. Analysis of his recent publications reveals a strong focus on soft robotics perception, particularly through electrical impedance tomography (EIT) and transformer-based architectures. His research spans medical imaging applications, digital twin modeling for industrial processes, and machine learning approaches for sensor data interpretation. The trend shows increasing integration of physics-informed deep learning with traditional tomographic techniques to achieve higher accuracy and efficiency. European Research Council (ERC) Starting Grant (2024) IEEE J. Barry Oakes Advancement Award (2024) IEEE I&M Society Graduate Fellowship Award (2015) Multiple Best Paper Awards Senior Member of IEEE Fellow of the International Society for Industrial Process Tomography Fellow of the Higher Education Academy ESI highly cited papers Dr. Yang serves as Associate Editor for IEEE Transactions on Instrumentation and Measurement and holds editorial positions with Scientific Reports and IEEE Sensors Journal. His research has been licensed to overseas research institutes and industry partners and received wide media coverage including BBC, EFE, USA Today, and STV. He has secured significant grant funding including the prestigious ERC Starting Grant. He leads the Edinburgh SMART Lab (Sensing/imaging + Machine Learning + Robotics), which aims to replicate human perception capabilities for robotics and advance flexible sensing technologies through innovative multi-modal sensors and machine learning approaches. The lab focuses on enabling autonomous physical artificial intelligence with applications spanning medical diagnostics, industrial monitoring, and advanced robotics systems.

Philipp Budkaمشاهده پروفایل

پژوهشگر

• Anthropology of Technology & Infrastructure
• Digital Anthropology
• Media Anthropology
• +۳ مورد دیگر

Philipp Budka is a Researcher (PostDoc) and Lecturer at the Department of Social and Cultural Anthropology, University of Vienna. He leads the North American research region for the ERC Advanced Grant project 'InfraNorth' and investigates transport infrastructures in northern Canada. Budka co-founded the Digital Ethnography Initiative and is a member of the Austrian Polar Research Institute (APRI). He holds a Mag.phil. in Cultural Anthropology and Communication Studies from the University of Vienna and Utrecht. His doctoral research focused on Indigenous digital infrastructures in northwestern Ontario, Canada. Education: Mag.phil. (2003), PhD in Cultural Anthropology (2017) Research Interests: Digital Anthropology, Infrastructure Studies, Media Anthropology, Indigenous Technologies His research explores sociotechnical systems, digital ethnography, and infrastructure sustainability in remote regions. Budka has co-edited volumes on media and conflict and ritualization, and is currently working on monographs about Indigenous online platforms and transport infrastructures in Canada. Grants: ERC Advanced Grant (InfraNorth), various teaching and research roles at FU Berlin and HMKW Berlin. He was co-leader of the Media Anthropology Network (EASA) from 2017–2024. Labs/Teams: Team of the Lehrendenvertretung (Teaching Representatives), Digital Ethnography Initiative, InfraNorth Project.

Gripsrud Josteinمشاهده پروفایل

استاد

• Media Studies
• Public Sphere
• Media Policy
• +۳ مورد دیگر

Jostein Gripsrud is an Emeritus Professor in the Department of Information Science and Media Studies at the University of Bergen, Norway. He has held leadership roles including Head of Department (2004–2007) and has been a Professor since 1991. His career includes adjunct professorships at Stavanger University College and visiting fellowships at institutions like the École des Hautes Études en Sciences Sociales (Paris) and UCLA. Education: Dr.philos. (Honorary PhD), University of Bergen (1988) Cand.philol. (Norwegian M.A.), University of Bergen (1979) Research Interests: Focuses on media and the public sphere, media policy, cultural studies, and political communication. His work explores topics like digitalization’s impact on democracy, Scandinavian immigration discourse, and the role of media in shaping societal narratives. Key Publications Trends: Recent works analyze political polarization in Norway, Scandinavian media coverage of immigration, and historical media policy. Earlier research includes foundational studies on television’s role in European democracy and cultural capital dynamics. Awards: 2014 Norwegian Media Association Communication of Knowledge Prize 2001 University of Bergen Meltzer Prize 2011 International Francqui Professorship Research Projects: Includes the SCANPUB project on public discourse and political decision-making in Scandinavia. Labs/Teams: Active in interdisciplinary research networks, particularly in media policy and cultural studies.

Nori Francoمشاهده پروفایل

استاد

• Condensed Matter Physics
• Quantum Information
• Quantum Optics
• +۶ مورد دیگر

Nori Franco serves as Professor in the Department of Physics at the University of Michigan and Chief Scientist at RIKEN's Theoretical Quantum Physics Laboratory in Japan. His dual appointments reflect his significant contributions to both American and Japanese academic communities, with continuous service at Michigan since 1990 and at RIKEN since 2002. His research spans quantum information, condensed matter physics, and quantum optics, with particular focus on light-matter interactions, superconducting qubits, optomechanics, and quantum open systems. Franco's work bridges theoretical foundations with experimental implementations, especially in circuit quantum electrodynamics and quantum computing applications. Analysis of his recent publications reveals a strong emphasis on non-Hermitian quantum systems, quantum control techniques, and applications of quantum information science to fundamental physics problems. His research group consistently produces highly cited work, with publications appearing in top journals across quantum physics and condensed matter disciplines. Scientific Awards: Charles Hard Townes Medal (2024) - sole recipient for fundamental contributions to quantum optics and quantum information processing Research Doctorate Honoris Causa from University of Messina (2024) Highly Cited Researcher for eight consecutive years (2017-2024) Member of Academia Europaea (2023) Willis E. Lamb Medal (2023) for quantum electronics research Throughout his career, Franco has secured significant research funding and mentored numerous students and postdoctoral researchers. His work has received international recognition through invitations to deliver prestigious lectures including the Stanislav Ulam Lecture and Sir Nevill Mott Lecture in 2024. His research group maintains strong collaborations across multiple continents, reflecting his global impact on quantum physics. At RIKEN, Franco leads the Quantum Information Physics Theory Research Team within the Quantum Computing Center, directing cutting-edge theoretical work that complements experimental efforts in quantum computing hardware development.

• Biochemistry
• Protein Chemistry
• Post-translational Modifications
• +۵ مورد دیگر

Christian Friedrich Wilhelm Becker is a full Professor at the University of Vienna, holding a position within the Faculty of Chemistry and the Department of Biological Chemistry. His research profile shows extensive activity in protein chemistry and biochemistry, with particular focus on post-translational modifications and their implications in disease mechanisms. His work bridges chemical biology, biochemistry, and biomedical applications, contributing significantly to the academic and research landscape at one of Europe's oldest and most prestigious universities. Faculty of Chemistry, University of Vienna Department of Biological Chemistry Active research leader with numerous ongoing projects Significant publication record spanning multiple disciplines Professor Becker's research primarily focuses on protein chemistry, particularly post-translational modifications and their role in protein function and dysfunction. His work spans multiple interconnected areas including ubiquitination, protein aggregation, prion protein behavior, and biomimetic approaches to protein analysis. His research has significant implications for understanding neurodegenerative diseases and developing novel therapeutic approaches. The fingerprint analysis of his work shows strong connections to biochemistry, molecular biology, and chemistry, with particular emphasis on cysteine chemistry, glycosylation, and amino acid modifications. Analysis of Professor Becker's recent publications (2021-2025) reveals a consistent research trajectory focused on protein modification techniques and their biological implications. His work shows increasing sophistication in chemical biology approaches to study protein function, with particular emphasis on ubiquitination pathways and protein aggregation mechanisms. The integration of chemical synthesis methods with biological analysis represents a hallmark of his research approach. His publications span high-impact journals in biochemistry, chemical biology, and peptide science, demonstrating the interdisciplinary nature of his contributions. Professor Becker has received notable recognition for his research contributions, most prominently the Cathay Award in 2020. This award acknowledges his significant contributions to the field of protein chemistry and chemical biology. His work appears to have practical applications in therapeutic development, particularly in the areas of targeted protein degradation and immunotherapy, which likely contributed to this recognition. Cathay Award (2020) Professor Becker leads multiple significant research projects, including 'Targeted protein degradation - from small molecules to complex organelles' (2020-2024), 'Taktira: Development of an improved, low-side-effect and sustainable immunotherapy' (2019-2023), and 'Structure Zoom: Zooming in on protein functional sites with atomic resolution' (2018-2021). These projects demonstrate substantial grant funding and collaborative research efforts across multiple institutions. His active participation in 290 recorded activities through 2025 indicates a highly engaged research program with numerous collaborators and trainees. Targeted protein degradation project (2020-2024) Taktira immunotherapy project (2019-2023) Structure Zoom project (2018-2021) Professor Becker's research environment includes a robust team of collaborators and junior researchers, as evidenced by the numerous co-authored publications and activities. His work intersects with multiple research groups studying protein function, modification, and therapeutic applications. The international collaboration network shown in his profile indicates significant engagement with researchers across multiple countries, creating a dynamic research ecosystem focused on advancing protein science and its biomedical applications.

Francesco Locatelloمشاهده پروفایل

استادیار

• Causal Learning
• Artificial Intelligence
• Machine Learning
• +۳ مورد دیگر

Francesco Locatello is a tenure-track Assistant Professor at the Institute of Science and Technology Austria (ISTA), leading the Causal Learning and Artificial Intelligence lab. He is also an AI Resident at the Chan Zuckerberg Initiative. He holds a PhD from ETH Zürich, co-advised by Gunnar Rätsch and Bernhard Schölkopf. His research focuses on causal representation learning, score matching, and object-centric learning, with applications in machine learning and AI. His work has been recognized with prestigious awards, including the ICML 2019 Best Paper Award and the Hector Foundation Award (2023). Education: PhD in Machine Learning, ETH Zürich (advisors: Gunnar Rätsch, Bernhard Schölkopf) Research Interests: Causal Learning, Causal Representation Discovery, Score Matching Algorithms, Object-Centric Learning, Robust Generalization in AI, and Applications in Vision and Reinforcement Learning. Recent Work Trends: His publications emphasize causal mechanisms in neural representations, scalable causal discovery methods, and improving model generalization through latent space analysis. Recent studies explore geometric representations, mechanistic neural networks, and OOD detection using relative angles. Awards: ICML 2019 Best Paper Award Hector Foundation Award for Outstanding Achievements in Machine Learning (2023) Google Research Scholar Award (2024) Advising & Teams: Supervises a dynamic lab with students and postdocs across ISTA, ELLIS, and partner institutions. Notable advisees include Dingling Yao (ISTA), Riccardo Cadei (co-advised with Cordelia Schmid), and Marco Fumero (now a postdoc at ISTA). Collaborates with leading researchers like Arthur Gretton, Max Welling, and Volkan Cevher. Labs & Initiatives: Leads the Causal Learning and AI lab at ISTA, contributing to ELLIS programs and fostering interdisciplinary collaborations in causal AI.

• Data Visualization
• Visual Data Analysis
• Data Science
• +۳ مورد دیگر

Univ.-Prof. Torsten Möller, PhD is a Professor at the University of Vienna and serves as Head of the Research Group Visualization and Data Analysis and Head of the Research Network Data Science. His work spans data visualization, visual analytics, and human-computer interaction, with a focus on biomedical, environmental, and societal data applications. Academic rank: Professor Research group: Visualization and Data Analysis Network: Data Science Email: torsten.moeller@univie.ac.at Research interests include: Visual data analysis for complex systems Interdisciplinary applications in climate science and medicine Human-computer interaction in data exploration Image processing and computer graphics Recent publication trends show expertise in: Visualizing climate change and pandemic data Multi-volumetric and network analysis Algorithmic transparency and user-centered design Interdisciplinary collaborations (e.g., astrophysics, medical imaging) Statistical and uncertainty visualization Design frameworks for visualization recommendation Teaching includes courses in: Computer graphics and visualization Image processing and analysis Human-computer interaction Data analysis projects Doctoral research seminars

Marta Zofia Kwiatkowskaمشاهده پروفایل

استاد

• Automated verification
• Probabilistic model checking
• Temporal logics
• +۳ مورد دیگر

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.