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

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

استاد

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

Mohamed Faouzi Atig is a Professor in Computer Systems at Uppsala University's Department of Information Technology since July 2021, following a progression from Assistant Professor (2014-2018) to Associate Professor (2018-2021). His academic career began with a post-doctoral position at Uppsala University (2010-2012) after earning his PhD from University of Paris Diderot-Paris 7 in 2010, followed by a docent degree (habilitation equivalent) from Uppsala University in 2017. His research focuses on formal verification of concurrent and infinite-state systems, with particular expertise in model checking , weak memory models (including x86-TSO, Release-Acquire), and automata theory applied to string constraints. His work bridges theoretical foundations with practical verification techniques for modern hardware and programming language semantics. Analysis of his publication record reveals a sustained focus on verification challenges in concurrent systems, evolving from foundational work on memory models (2015) to sophisticated techniques for string constraints (2017) and persistent memory (2024-2025). His research demonstrates consistent contributions to top venues like PLDI and POPL, with increasing complexity in handling real-world memory models while maintaining theoretical rigor. At Uppsala University, he has served on program committees for major conferences including POPL, VMCAI, and SPLASH, demonstrating active engagement with the programming languages research community.

• Composition
• Music Theory
• Counterpoint
• +۳ مورد دیگر

Professor Dr. Hab. Alicja Gronau-Osińska is a distinguished composer, music theorist, and educator at the Faculty of Composition and Music Theory, Department of Music Theory at the Fryderyk Chopin University of Music in Warsaw. With a postdoctoral degree in composition, she has been teaching counterpoint since 1985 and has established herself as a leading figure in contemporary Polish music. Her research interests span composition, music theory, counterpoint, musical analysis, and the interdisciplinary connections between music and visual arts. She has published extensively on topics including form integration in symphonic works, the pedagogy of creativity, silence in music, and the relationship between national identity and universal values in musical composition. Her scholarly output demonstrates a deep engagement with both theoretical frameworks and practical compositional techniques. Professor Gronau-Osińska's compositional work reveals consistent thematic concerns across her publications and creative output, particularly in exploring the boundaries between structure and freedom, silence and sound, and the integration of visual and musical elements. Her scholarly interests often mirror her compositional preoccupations, creating a cohesive intellectual and artistic profile that bridges theory and practice. Multiple composition awards from 1987-2023 Recipient of the 'Fryderyk' Phonographic Industry Award (2012) Medal 'Zasłużony Kulturze Gloria Artis' (2011) Multiple Rector's Awards from UMFC Grand Prix from UMFC Rector for artistic and pedagogical achievements (2018) As an educator, Professor Gronau-Osińska has significantly contributed to music pedagogy through her extensive publications and teaching. Her work on Marian Borkowski's pedagogical activity and her analysis of the Experimental Rhythmics Workshop demonstrate her commitment to advancing music education methodologies. She has also served as a juror for numerous national and international composition competitions, including chairing the Tadeusz Baird Composers Competition (2020) and the Warsaw Wind Ensemble Composition Contest (2020). Her creative output includes 14 orchestral works, 29 chamber works, 17 solo works, 8 vocal works, 8 vocal-instrumental works, 12 multimedia works, and 1 opera. Her compositions have been performed internationally, with notable recognition for her chamber opera 'I co wy na to?' which represented Poland at the Eighth International Music Theater Workshop in Munich (2004).

Tevfik Bultanمشاهده پروفایل

استاد

• software verification
• program analysis
• software engineering
• +۱ مورد دیگر

Tevfik Bultan is a Professor and Chair of the Department of Computer Science at the University of California, Santa Barbara. His research focuses on software verification, program analysis, software engineering, and computer security. He directs the Verification Laboratory (VLab) and has authored over 100 refereed publications. Education Ph.D. in Computer Science, University of Maryland, College Park (1998) M.S. in Computer Engineering, Bilkent University (1992) B.S. in Electrical Engineering, Middle East Technical University (1989) Research Focus Bultan's work spans automated verification techniques, security vulnerability detection, quantitative program analysis, and symbolic execution. His lab develops tools for analyzing software systems with applications in cloud security, network protocols, and embedded systems. Awards and Honors ACM Distinguished Scientist (2016) NSF CAREER Award (2000) UCSB Outstanding Graduate Mentor Award (2016) ACM SIGSOFT Distinguished Paper Awards (2005, 2014) NATO Science Fellowship (1993) Professional Activities He has chaired program committees for top conferences including ICSE, FSE, and ASE. Currently serves as associate editor for ACM TOSEM and on steering committees for ISSTA, ASE, and ICSE. Regularly advises PhD students and postdoctoral researchers in verification and security. Laboratory Leads the Verification Laboratory (VLab) focusing on automated reasoning techniques for software systems. Current projects include symbolic analysis for vulnerability detection, quantitative information flow, and security policy verification.