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

• Database systems
• Large scale analytics
• Distributed systems
• +۳ مورد دیگر

Beng Chin Ooi is a Lee Kong Chian Centennial Professor at the National University of Singapore (NUS), School of Computing (SoC). He holds a B.Sc. (1st Class Honors) and Ph.D. in Computer Science from Monash University. His research focuses on database systems, large-scale analytics, and distributed computing. He has held leadership roles including Dean of School of Computing (2007–2013) and Director of Smart Systems Institute (2011–2021). Key achievements include the Singapore President’s Science Award (2011), ACM Fellow (2011), IEEE Fellow (2009), and multiple best paper awards. His work emphasizes scalable data management, blockchain systems, and healthcare data analytics. Education: Monash University (B.Sc., Ph.D.) Leadership: Dean (SoC), Director (Smart Systems Institute) Awards: Over 15 major honors including ACM SIGMOD E.F. Codd Innovations Award (2020) His research spans distributed databases, big data systems, and innovative applications of blockchain technology. Recent work includes NASI (neural architecture search) and Rafiki (ML-as-a-service).

Christoph Kochمشاهده پروفایل

استاد

• Database systems
• Database theory
• Programming languages
• +۲ مورد دیگر

Christoph Koch is a Full Professor in the School of Computer and Communication Sciences at EPFL (Ecole Polytechnique Federale de Lausanne) , Switzerland. He has held academic positions at Cornell University (2007-2010, 2006), Saarland University (2005-2007), and TU Vienna (2001-2005). His research focuses on database systems, logic, programming languages, and data management.

• Dependable Distributed Systems
• Web Engineering
• Convergence of Voice and Data
• +۵ مورد دیگر

Karl Michael Göschka is an Associate Professor at Vienna University of Technology (TU Wien) in the Department of Distributed Systems (E194-02) within the Faculty of Computer Science. His academic title of Privatdozent indicates he has completed habilitation, the highest academic qualification in the German/Austrian system. He maintains an active research and teaching profile with courses scheduled through 2026S, including Bachelor Thesis supervision, Computer Science Projects, and PhD Seminars. His research spans over two decades with consistent publications from 2004 to 2022. Göschka's primary research interests focus on Dependable Distributed Systems, Web Engineering, and the convergence of voice and data technologies. His work demonstrates particular expertise in middleware, service-oriented architecture, wireless sensor networks, and fault tolerance mechanisms. He has supervised numerous master's and diploma theses since 2006, with his most recent doctoral supervision completed in 2022. Göschka's publication record shows a clear evolution from foundational work in distributed systems and replication (2004-2013) to more recent contributions in wireless sensor networks and dependable computing (2020-2022). His research consistently addresses the challenge of balancing dependability, performance, and security in distributed environments, with notable contributions in temporal decoupling techniques and adaptive systems. GIT-Preis des Österreichischen Vereins für Elektrotechnik (1999) Würdigungspreis des Ministeriums für Wissenschaft und Forschung (1998) GIT-Förderpreis des Österreichischen Vereins für Elektrotechnik (1994) Göschka has led and participated in multiple significant research projects including TRADE (2008-2011) on adaptive performance optimization, COMPASS (2005-2007) for automotive software systems, S-Cube (2008-2012), ALL-TIMES (2007-2010), and DeDiSys (2004-2007) on dependable distributed systems. His research has strong practical applications in automotive systems, online auctions, and critical infrastructure monitoring.

Ian Horrocksمشاهده پروفایل

استاد

• Knowledge Representation
• Description Logics
• Automated Reasoning
• +۴ مورد دیگر

Ian Horrocks is a Professor of Computer Science at the University of Oxford and a Fellow of Oriel College. His research focuses on knowledge representation, description logics, automated reasoning, and semantic web technologies. He has held academic positions at the University of Manchester (2003–2007) and served as Chief Scientist at Cerebra Inc. (2001–2006). Horrocks earned his BSc (1st class), MSc, and PhD in Computer Science from the University of Manchester (1981–1997). His work includes foundational contributions to ontology languages (e.g., OWL) and reasoning systems such as HermiT and ELK. He has supervised over twenty doctoral students and postdoctoral researchers. His honors include Fellowships from the Royal Society (2011), ECCAI (2009), and the British Computer Society (2005). He serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge and leads initiatives in semantic web standards and knowledge graph applications. Key Roles: Editor-in-Chief (Journal of Web Semantics), Co-Chair (W3C OWL Working Group) Grants: EPSRC Senior Research Fellowship (2005), numerous international collaborations Labs: Oxford Semantic Technologies, involvement in projects like RDFox and PAGOdA

Wolfgang Kunzمشاهده پروفایل

استاد

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +۵ مورد دیگر

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

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.

Rajkumar Buyyaمشاهده پروفایل

استاد

• Cluster computing
• Grid computing
• Software systems
• +۷ مورد دیگر

Dr. Rajkumar Buyya is a Redmond Barry Distinguished Professor at the University of Melbourne and Founder & CEO of Manjrasoft , a spin-off commercializing cloud innovations. He has held visiting roles at Imperial College London , University of Birmingham , and Tsinghua University . Research Interests : His work spans Cloud Computing , Edge Computing , Grid Systems , and Energy-Efficient Computing , focusing on utility-driven resource allocation, simulation tools, and scalable IoT application frameworks. He pioneered the CloudSim toolkit and Aneka Cloud technologies. Scientific Awards : IEEE Fellow (2015), Web of Science Highly Cited Researcher (2016-2021) Khwarizmi International Award (2020), Scopus Researcher of the Year (2017) Frost & Sullivan New Product Innovation Award (2010), IEEE TCSC Medal (2009) Impact : Authored over 850 publications, including the widely adopted textbook Mastering Cloud Computing . Graduated 54 PhD students now in leadership roles at institutions like Newcastle University and companies such as IBM , Google , and Amazon . His research has driven global adoption of cloud/edge technologies in 50+ countries.

Janusz Bujnickiمشاهده پروفایل

استاد

• Structural Biology
• Bioinformatics
• Computational Biology
• +۴ مورد دیگر

Janusz Bujnicki is a Professor and head of the Laboratory of Bioinformatics and Protein Engineering at the International Institute of Molecular and Cell Biology in Warsaw (IIMCB), Poland. He holds concurrent roles in science policy advisory bodies, including the European Commission's Group of Chief Scientific Advisors (2015-2020, then expert) and the Polish Academy of Sciences’ advisory panel (2024-). He is also a founding member of the Association of ERC Grantees (AERG) and serves on the Scientific Advisory Board of Life Science Center at Vilnius University. Academia Europaea Member (2018-) EMBO Member (2018-) Leadership Academy for Poland (2018) His research spans structural biology, RNA modification, computational biology, and molecular evolution. He has pioneered computational methods like ModeRNA, SimRNA, and ClaRNA for RNA structure prediction and analysis, and developed databases like MODOMICS for RNA modification pathways. His work has applications in understanding RNA function and drug design targeting RNA-processing enzymes. The 15 most recent publications focus on RNA structural modeling (e.g., ModeRNA, ClaRNA, SupeRNAlign), RNA-ligand interactions (LigandRNA), and RNA modification biology (MODOMICS database). These works bridge computational methods with experimental validation in RNA enzymology and structure-function relationships. Scientific Awards: ERC Starting Grant (2010), EMBO Member (2018), Crystal Brussels Sprout (2016), Prime Minister’s Award (2014), Knight’s Cross of Polonia Restituta (2014) Grants & Leadership: Founded RNA bioinformatics infrastructure at IIMCB, led EU science policy advisory groups, and organized international research competitions (RNA Puzzles)

Joseph Sifakisمشاهده پروفایل

پژوهشگر

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +۳ مورد دیگر

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

Jiannong Caoمشاهده پروفایل

استاد

• Cloud and edge computing
• Parallel and distributed computing
• Big data analytics
• +۲ مورد دیگر

Jiannong Cao is a Chair Professor and Director of the University Research Facility in Big Data Analytics at the Department of Computing, Hong Kong Polytechnic University. He has held various academic roles since 1990, including Assistant Professor at City University of Hong Kong and Lecturer at Australian universities. PhD in Computer Science, Washington State University (1990) MSc in Computer Science, Washington State University (1986) BSc in Computer Science, Nanjing University (1982) His research focuses on cloud and edge computing , parallel and distributed computing , and mobile computing , with significant contributions to wireless sensor networks (WSN) for structural health monitoring (SHM) and software-defined networking (SDN) for vehicular communications. Recent work includes WiFi-based non-invasive health monitoring systems and multi-user computation partitioning in mobile cloud environments. Dr. Cao’s publications demonstrate trends in WSN optimization , SDN architectures , and cognitive modeling for network embedding , with applications in smart healthcare , transportation systems , and industrial IoT . Ministry of Education Natural Science Award (2018) ACM Distinguished Member (2017) IEEE Fellow (2014) Best Paper Awards at IEEE DSAA, SMARTCOMP, WCNC He has mentored numerous researchers, including Linchuan Xu , Xuefeng Liu , and Weigang Wu , who have authored key publications in top venues like ACM WSDM and IEEE INFOCOM . His professional roles include chairing IEEE committees and serving on grant panels for the Hong Kong Research Grant Council.

Atakan Aralمشاهده پروفایل

دانشیار

• Edge Computing
• Distributed Systems
• Cloud Computing
• +۶ مورد دیگر

Atakan Aral serves as an Associate Professor at the Faculty of Computer Science, University of Vienna, where he leads research in edge computing, distributed systems, and environmental monitoring applications. His work focuses on developing efficient and resilient computing systems for environmental applications, with particular emphasis on neuromorphic edge AI and the cloud-edge continuum. He maintains an active teaching schedule offering courses in Distributed Systems Engineering, Cloud Computing, and Practical Software Courses with Bachelor's Thesis work across multiple semesters through 2025. Dr. Aral's research interests span several critical areas in modern computing including edge computing architectures, federated learning approaches, neuromorphic computing for environmental monitoring, and resilient systems design. His work addresses fundamental challenges in resource-constrained environments, particularly focusing on latency-sensitive applications and energy-efficient computation. The interdisciplinary nature of his research bridges theoretical computer science with practical environmental applications, developing systems that can operate effectively in remote or resource-limited settings. Analysis of his recent publication trajectory reveals a clear evolution from foundational cloud computing research toward increasingly specialized edge intelligence systems. Early work focused on resource allocation and scheduling in cloud environments, while his current research emphasizes neuromorphic approaches for sustainable environmental monitoring. His publications demonstrate growing interdisciplinary collaboration, particularly with environmental scientists, and increasing focus on practical implementations of theoretical concepts in real-world monitoring systems. Dr. Aral leads significant research projects including TROCI (Towards Resilient Operation of Critical Infrastructure), an ongoing initiative, and SWAIN (Sustainable Watershed Management Through IoT-Driven AI), which ran from February 2021 to February 2024. His work spans multiple dimensions of computing systems, from hardware-aware algorithms to application-level implementations, with consistent contributions to major conferences and journals in distributed systems and edge computing. He is an active member of the Scientific Computing research group at the University of Vienna, working from Room 6.49 at Währinger Straße 29. His research environment includes collaboration with the Environment and Climate Research Hub, reflecting the interdisciplinary nature of his work that bridges computer science with environmental applications. His publications indicate strong international collaboration across European institutions and research groups.

Hong Meiمشاهده پروفایل

استاد

• Software architecture
• Program analysis and testing
• Software System for Cloud Computing and Big Data
• +۵ مورد دیگر

Mei Hong is a Professor and Vice President for HR and International Collaboration at Beijing Institute of Technology since 2016. Previously, she held leadership roles including Vice President for Research at Shanghai Jiao Tong University (2013-2016) and Dean of the School of Electronics Engineering and Computer Science at Peking University (2006-2014). She has made groundbreaking contributions to software engineering and system software fields. BSc and MSc in Computer Science & Engineering from Nanjing University of Aeronautics & Astronautics (1984, 1987) PhD in Computer Science and Technology from Shanghai Jiao Tong University (1992) Her research focuses on software architecture , component-based software engineering , and cloud computing/big data systems . She has led over 40 grants totaling 200+ million CNY and holds 20+ patents. Her work addresses critical challenges in software lifecycle modeling, interoperability, and standardization. As a leading authority in software engineering, she has received China's highest honors including State Awards for Science and Technology Progress (2006), Technology Invention (2008), and Natural Science (2012). She was elected Member of the Chinese Academy of Sciences in 2011 and IEEE Fellow in 2014. Executive Editor-in-Chief of Science China-Information Sciences (2012-2017) Editor-in-Chief of Science China-Information Sciences (2018-present) Advisory Board Member of Alibaba DAMO Academy (2017-present)

Jussi Parikkaمشاهده پروفایل

استاد

• Environmental humanities
• Media archaeology
• Media ecology
• +۳ مورد دیگر

Jussi Parikka is a Professor in Technological Culture and Aesthetics at the Winchester School of Art, University of Southampton (UK), and a Visiting Professor at FAMU, Academy of Performing Arts in Prague. He holds an adjunct professorship at the University of Turku, Finland. His research spans media archaeology, environmental humanities, and new materialism, focusing on intersections of technology, ecology, and culture. Education: PhD in Cultural History, University of Turku, 2007 Licentiate of Philosophy in Cultural History, University of Turku, 2004 Master of Arts in Cultural History, University of Turku, 2002 Research Interests: Parikka investigates media archaeology, environmental media studies, and digital culture. Key themes include the geology of media, operational images, and the ecological implications of technological systems. His work bridges art, science, and philosophy, addressing urgent issues like climate change and data infrastructures. Awards & Honors: 2021: Elected Member of Academia Europaea 2012: Anne Friedberg Award (SCMS) for Insect Media 2016: Choice Magazine Outstanding Academic Title ( A Geology of Media ) 2017: Moebius Fellowship (Kone Foundation) Grants & Projects: Parikka leads the Digital Aesthetics Research Centre (DARC) and collaborates on initiatives like the Critical Environmental Data project with the Helsinki Biennial. His work integrates art, science, and activism, addressing topics such as environmental sensing and climate justice. Labs/Teams: Director of the Digital Aesthetics Research Centre (DARC), Aarhus University, and co-curator of exhibitions like Weather Engines (Onassis Stegi, Athens).

• Numerical Analysis
• Partial Differential Equations
• Finite Element Method
• +۳ مورد دیگر

Dirk Praetorius is a Professor of Numerics of Partial Differential Equations (PDEs) at the Technische Universität Wien (TU Wien) , affiliated with the Institute for Analysis and Scientific Computing (ASC) within the Faculty of Mathematics and Geoinformation . He leads the research group on Numerics of PDEs and has held various leadership roles, including Institute Director (since 2020) and head of the Numerics research area. His work focuses on numerical methods for PDEs, including Finite Element Methods (FEM), Boundary Element Methods (BEM), adaptive algorithms, and computational micromagnetics. Education and Career: Praetorius earned his Diplom in Mathematics (2000) and PhD in Applied Mathematics (2003) from TU Wien, followed by a Habilitation in Numerical Analysis (2005). He has been a faculty member at TU Wien since 2005, progressing from Assistant Professor to full Professor in 2017. He has also held visiting positions at institutions such as the University of Jyväskylä and RICAM (Linz). Research Interests: His research spans numerical analysis, adaptive FEM/BEM, a-posteriori error estimation, matrix compression, and computational micromagnetics. He has contributed to modeling spin dynamics, magnetic skyrmions, and multiscale systems. His work emphasizes efficient algorithms for large-scale problems and optimal computational complexity. Awards and Editorial Roles: Praetorius received the TU Best Teacher Award (2021) and TU Best Lecture Award (2019). He serves as Senior Editor for Computational Methods in Applied Mathematics (CMAM) and on the editorial board of Applied Numerical Mathematics (APNUM) . He co-founded the outreach initiative TUForMath to promote mathematics education. Grants and Projects: He leads or co-leads several research projects funded by the Austrian Science Fund (FWF), including the collaborative SFB "Taming Complexity in Partial Differential Systems" (2017–2025) and international collaborations with Germany. His work addresses topics like functional error estimates, nonlinear PDEs, and computational design of magnetic devices. Labs and Teams: He contributes to the ASC Institute and coordinates interdisciplinary projects involving computational physics and engineering. His team develops software tools like MooAFEM and Commics for micromagnetic simulations.

• Software Architecture
• Microservices
• Cloud Computing
• +۷ مورد دیگر

Uwe Zdun is a Professor at the Faculty of Computer Science, University of Vienna, where he serves as Vice-Director of Studies for Computer Science and Head of the Research Group Software Architecture. His teaching portfolio includes core courses such as Software Engineering 2, Advanced Software Engineering, and Practical Software Courses for Bachelor's and Master's theses across multiple semesters (2024W-2025S). His research spans software architecture with emphasis on microservices, cloud computing, and DevOps. Key focus areas include architectural design decisions, infrastructure-as-code conformance, security in distributed systems, and the integration of machine learning operations (MLOps/RLOps). He investigates cognitive aspects of architecture practices through controlled experiments and develops model-driven approaches for quality assessment in complex systems. Recent publications (2024-2026) reveal three dominant trends: (1) Security and coupling analysis in infrastructure-as-code deployments, (2) MLOps/RLOps integration for Industry 4.0 cyber-physical systems, and (3) Performance optimization patterns for CI/CD pipelines and autoscaling. His work bridges theoretical architecture models with industrial practice, particularly in microservice ecosystems and reinforcement learning applications. Professor Zdun leads the Research Group Software Architecture at the University of Vienna's Faculty of Computer Science. The group focuses on empirical validation of architectural patterns, tool development for conformance checking, and advancing design decision methodologies in cloud-native and AI-driven systems.