Topics

<> Medical imaging (4)

Karen Sanchez

Postdoctoral Research Fellow
Karen Sanchez is a Postdoctoral Researcher in the IVUL lab at KAUST, specializing in deep learning, machine learning, and artificial intelligence (AI) for healthcare applications. Her research focuses on video understanding, domain adaptation, generative AI, and methods for preserving patient privacy.

Meet KAUST prospective student: Juexiao Zhou

1 min read ·
Juexiao Zhou is a 21-year-old graduate from Shenzhen, China, who will join KAUST in the fall of 2020 as an M.S./Ph.D. candidate and member of the KAUST Structural and Functional Bioinformatics research group under the supervision of Professor Xin Gao.

Juexiao Zhou

Ph.D. Student, Computer Science

Islam Almasri

Islam Almasri obtained his Master's degree in Computer Science under the supervision of Professor Xin Gao at Structural and Functional Bioinformatics Group (SFB) at King Abdullah University of Science and Technology (KAUST). Currently, Islam is a Ph.D. candidate in the Computer Science program under the supervision of Prof. Nina Fedoroff. at Fedoroff Research Group. Islam is specialized in developing various software tools for solving problems in other scientific domains, including Image Processing, Medical Imaging, Chemical Networks, and Protein Structure. Selected Publications Almasri, Islam
<> Neural Networks (4)

Mohammed A Shukri

Technical Consultant at KAUST (King Abdullah University of Science and Technology).

Principled Scaling of Deep Neural Networks

Soufiane Hayou, Postdoc, Simons Institute, UC Berkeley

-

B9 L4 R4225

Neural networks have achieved impressive performance in many applications such as image and speech recognition and generation. State-of-the-art performance is usually achieved via a series of engineered modifications to existing neural architectures and their training procedures. However, a common feature of these systems is their large-scale nature: modern neural networks usually contain Billions - if not 10's of Billions - of trainable parameters, and empirical evaluations (generally) support the claim that increasing the scale of neural networks (e.g. width and depth) boosts the model performance if done correctly. However, given a neural network model, it is not straightforward to address the crucial question `how do we scale the network?'. In this talk, I will show how we can leverage different mathematical results to efficiently scale neural networks, with empirically confirmed benefits.

Haozhe Liu

Ph.D. Student, Computer Science
Haozhe Liu is a PhD student at AI Initiative, King Abdullah University of Science and Technology (KAUST) under the supervision of Prof.Jürgen Schmidhuber.

Arnaud Dethise

Ph.D. Student, Computer Science
Arnaud Dethise is a PhD candidate in Computer Science under the guidance of Professor Marco Canini. He completed his Bachelor's degree in Engineering and Master's degree in Computer Science in 2015 and 2017 respectively, from UCLouvain, Louvain-la-Neuve, Belgium. Arnaud has a strong interest in machine learning applied to distributed systems and is currently pursuing his doctoral research in this field. His specific research interests include Neural Networks, trustworthiness, verifiability and explainability, and model privacy, with a focus on exactness and provable guarantees. Arnaud’s goals
<> nlp (4)

Yimeng Chen

Postdoctoral Research Fellow, Computer Science
Yimeng Chen is a Postdoctoral Researcher in Prof. Jürgen Schmidhuber's research group at King Abdullah University of Science and Technology (KAUST).

Bridging the Gap between the Academia and Industry by Extending High-Quality Research to Practical Business Needs

-

B9 L2 R2322 H1

This seminar focuses on providing the audience with the context and scope of our internship program. The program is for the young and talented graduate students with an active interest in solving real-world problems. Some of the projects that will be presented in the seminar are actively developed in Elm and include domains such as computer vision, robotics and automation, healthcare, IoT, video analytics, and NLP. The seminar will serve as a launch pad to allow students to discuss their future interests and aspirations with the speaker. It will also enable them to develop a better awareness of domains more relevant to their future research aspirations.

The Prospect of Generative Language Processing

-

B9 L2 H2 H2

In the evolving landscape of artificial intelligence, generative models are revolutionizing our interface with computational systems and reshaping societal paradigms. For example, foundation models have the potential to transform content creation across languages, offering discovery and productivity pathways for humans to engage with one another and their environment. This talk sketches the core methodologies propelling this groundbreaking progress, charting a grand vision for generative natural language processing.

Improving Interpretation Faithfulness for Transformers

-

B9 L2 H2 H2

Currently, attention mechanism becomes a standard fixture in most state-of-the-art NLP, Vision and GNN models, not only due to outstanding performance it could gain, but also due to plausible innate explanation for the behaviors of neural architectures it provides, which is notoriously difficult to analyze. However, recent studies show that attention is unstable against randomness and perturbations during training or testing, such as random seeds and slight perturbation of input or embedding vectors, which impedes it from becoming a faithful explanation tool. Thus, a natural question is whether we can find some substitute of the current attention which is more stable and could keep the most important characteristics on explanation and prediction of attention.
<> parallel computing (4)

New cost-effective GPUs solver redesigns the computational game

1 min read ·
Prof. David Keyes and his team proposed a GPUs light architecture to solve systems of multiple equations involving a large amount of data. Broadly used in computer gaming, mobile, and PC graphics - GPUs allow customizing an effective result-driven support to create a computational framework for increasing the number of processors while reducing the memory required to temporarily store the data.

KAUST scientists win prestigious Gauss Award for supercomputing excellence

1 min read ·
KAUST Ph.D. graduate Dr. Noha Al-Harthi and doctoral student Rabab Alomairy, have won the German Gauss Center for Supercomputing (GCS) Award for original research that best advances high-performance computing. This makes KAUST the first Middle Eastern institution to receive this prestigious award.

KAUST prospective student: Xingdi Zhang

1 min read ·
Xingdi Zhang is a computer science graduate from the University of Electronic Science and Technology of China (UESTC), China. Xingdi will join KAUST in the fall of 2020 as a M.S./Ph.D. candidate and member of the KAUST High-Performance Visualization Group under the supervision of Professor Markus Hadwiger.

Ali Charara

Ali Charara obtained both, his MS Degree and PhD Degree from Computer Science at KAUST in 2011 and 2018 respectively. His master thesis supervisor was Alyn Rockwood and his PhD thesis supervisor was David Keyes. Ali's research interests were in High Performance Computing with a focus on parallel computing and algorithms using multicore and manycore Computer Graphics Units. Education Profile MS Degree, Computer Science, KAUST (2011) PhD Degree, Computer Science, KAUST (2018)
<> Photonics and optoelectronics (4)
Mohammed Alotaibi

Mohammed Obidallah Alotaibi

Ph.D. Student, Photonics Laboratory
I am Mohammed Obidallah Alotaibi, joining the KAUST Photonics Lab. I hold an M.S. in Electrical Engineering from the University of Central Florida and a B.S. from Umm Al-Qura University. Previously, I served as an Instrument Engineer at Aramco and currently lecture at Taibah University. I am passionate about advancing photonic technologies in energy and sustainability applications, and I look forward to contributing to the lab’s research in optoelectronics and integrated photonic systems. Previous Work Experience: Instrument Engineer, Saudi Aramco (2010–2012) Teaching Assistant & Lecturer

Yan Wang

Ph.D. Student, Photonics Laboratory
M.S./Ph.D. in Electrical Engineering at King Abdullah University of Science and Technology (KAUST), Saudi Arabia, Aug. 2024- present BEng. in Communication Engineering at University of Electronic Science and Technology of China (UESTC), Chengdu, China, Sept. 2019 - Jun. 2024​
Jiahoa Wei profile picture

Jiahao Wei

M.S. Student, Photonics Laboratory
Education Jan 2025 - present, M.S./Ph.D. in Electrical Engineering at KAUST, Thuwal, Saudi Arabia. Sep 2020 - Jun 2024, B.S. in Optoelectronic Information Science and Engineering at Southern University of Science and Technology (SUSTech), Shenzhen, China.
Zinan Xiao profile picture

Zinan Xiao

Ph.D. Student, Photonics Laboratory
Education Aug 2024 - present, Ph.D. in Electrical Engineering at KAUST, Thuwal, Saudi Arabia. Oct 2020 - Oct 2021, M.S. in Optics and photonics at Imperial College London, London, UK. Sep 2016 - Jun 2020, B.S. in Optoelectronic information engineering at Chongqing University, Chongqing, China.
<> recommender systems (4)

Representation Learning for Personalized Recommendation

Prof. Xiangliang Zhang

-

B9 L2 H1 R2322

Abstract Recommender systems have already been successfully used in e-commerce industry and have been influencing our daily lives. We may all have got (personalized) recommendation of news, music, movies, videos, books, restaurants, hotels, etc. This talk will introduce the recent research in my group about promoting personalized recommendation by learning representations for users/objects to recommend. Examples of applications will be given for recommendation of the next movie to watch, the interesting research papers to read, the useful datasets to explore, and interesting places to visit

Machine Learning Models for Context Aware Recommendation Systems

-

B3 L5 R5209

The goal of this thesis is to pave the way towards the next generation of recommendation systems tackling such real-world challenges to improve the user experience while giving good recommendations.

Tak Man Desmond Lee

Tak Man Desmond Lee obtained his Master's degree in Computer Science under the supervision of Professor Xiangliang Zhang at Machine Intelligence and kNowledge Engineering (MINE) Laboratory at King Abdullah University of Science and Technology (KAUST). First employment: Saudi Aramco, 2011​. Research Interests Tak Man's research interests included ​Recommender systems​. Selected Publications Xiangliang Zhang, Tak Man Desmond Lee, Georgios Pitsilis, " Securing Recommender Systems against Shilling Attacks Using Social-based Clustering". Journal of Computer Science and Technology, Springer, vol.28

Basmah Altaf

Basmah Altaf obtained her Ph.D. degree in Computer Science under the supervision of Prof. Xiangliang Zhang at Machine Intelligence and kNowledge Engineering (MINE) Laboratory in King Abdullah University of Science and Technology (KAUST). Research Interests​​ Basmah's research interests include Recommender systems and Data mining​. Education Profile ​B. E., Computer & Information Systems, N.E.D. University of Engineering and Technology, Karachi, Pakistan, 2010. M. S., Computer Science, KAUST, 2013. Awards and Distinctions ​'Gold Medal' for securing '1st Position' among 140 students in Bachelor
<> remote sensing (4)

Artificial intelligence takes to the skies to protect a Saudi tradition

1 min read ·
KAUST scientists develop an affordable and simple AI system for local camel herders

Gleb Ludnikov

To strive and explore, to uncover and never give in.

Bang Huang

Postdoctoral Research Fellow, Electrical and Computer Engineering
Bang Huang works as a postdoctoral fellow at the Computer Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology (KAUST), under the supervision of Prof. Mohamed-Slim Alouini in the Communication Theory Lab (CTL). Education and Early Career Bang Huang received the M.S. degree (with honors) in electrical engineering and Ph.D degree in information and communication engineering from the School of Information and Communication Engineering (SICE), University of Electronic Science and Technology of China (UESTC), Chengdu, China, in

Peter Wonka

Professor, Computer Science
Professor Peter Wonka is a computer scientist with a research focus in computer vision, computer graphics, remote sensing, and machine learning.
<> resilient computing (4)

Resilient Computing: when Dependability meets Cybersecurity

-

B9 L2 H2 R2325

Computing and communications infrastructures have become commodities that transact huge quantities of data and are pervasively interconnected, inside countries, and worldwide. Modern societies largely depend on them.

Defeating the attacks from bots scrapers hiding behind residential proxy IPs

-

B9 L2 R2322 H1

This talks presents a very serious emerging threat: the bots scraping web sites and hiding their IPs thanks to residential IP providers. The problem, state of the art and a new solution will be explained.

Ziwu Liu

M.S. Student, Computer Science
My passion for the evolving landscape of technology has driven me to focus on the intricate interplay between resilient computing, federated learning, edge computing, and machine learning systems. My research aims to seamlessly integrate edge computing with federated learning to create resilient and adaptive machine learning systems that can operate effectively even in resource-constrained settings.

Ali Shoker

Research Associate Professor, Computer Science
Ali Shoker, a Research Associate Professor at KAUST leading the Cyber Security and Resilience Technology lab. His research is focused on Applied Cyber Security and Resilience for real-world applications including SOC (SIEM, SOAR, XDR, IDS, IPS), Trustworthy AI, satellite systems, autonomous vehicles, fintech, Blockchain, RF Resilience, etc.
<> Semantic web (4)

Neuro-symbolic methods for Semantic Web ontologies

-

B9 L2 H2 H2

Semantic Web ontologies are widely used to provide a conceptual schema for sharing and integrating data and knowledge using a logic-based language. The content of ontologies may also be used to provide background knowledge in machine learning models or provide domain-specific constraints that can be verified automatically and used for zero-shot predictions. The combination of embedding symbolic representations (such as ontologies) and extracting symbolic representations from the embeddings are two main components of neuro-symbolic AI systems. I will introduce methods for embedding Semantic Web ontologies and outline some of the properties of the embeddings that relate to model and proof theory.

Maxat Kulmanov defends his thesis proposal

1 min read ·
Maxat Kulmanov, a Ph.D. candidate under the supervision of Assistant Professor Robert Hoehndorf, defended his thesis proposal on July 31, 2018.

Maxat Kulmanov

Research Scientist, Bio-Ontology Research Group
Maxat Kulmanov is a Research Scientist in the Bio-Ontology Research Group at King Abdullah University of Science and Technology (KAUST). Research Interests Maxat's research interests include bioinformatics, knowledge representation and reasoning, machine learning, neural networks, semantic web, and algorithms. He is interested in knowledge discovery and data integration using artificial intelligence and semantic web technologies in biology and biomedicine. Professional Profile 2020-Present: Postdoctoral Research Fellow, Computational Bioscience Research Center, King Abdullah University of

Adil Salhi

Adil Salhi is a Research Engineer at Prof. Xin Gao's Structural and Functional Bioinformatics Group (SFB) at King Abdullah University of Science and Technology (KAUST). Adil obtained his Ph.D. degree in Computer Science from the University of Manchester, UK. Research Interests Adil's research interests lie in the area of data and text mining of biomedical literature. The extraction of new information from disparate structured data sources, or available information buried in free-form text, requires the deployment of a wide array of tools to overcome the challenges posed by the nature and size
<> smart health (4) <> software (4)

Yasser Jaber

Visiting Student Researcher ,Machine Learning Engineer at KAUST (King Abdullah University of Science and Technology).

Vulnerability discovery in binaries and protocols

Prof. Sven Dietrich, the Computer Science Department, Hunter College, the City University of New York (CUNY)

-

B5 L5 R5209

Vulnerability discovery can be challenging: many software packages, both open and closed-source projects, build on existing code from public software repositories to network drives, derived from earlier versions or related software packages. Even implemented protocols rely on such repositories. It is important to detect such copies of code when the original code contains a software vulnerability, especially one that is exploitable, as seen with flaws such as the bash vulnerability Shellshock or the SSL vulnerability Heartbleed.

Efficient Computation Through Tuned Approximation

-

B9 L2 R2322 H1

Numerical software is being reinvented to provide opportunities to tune dynamically the accuracy of computation to the requirements of the application, resulting in savings of memory, time, and energy. Floating point computation in science and engineering has a history of “oversolving” relative to expectations for many models. So often are real datatypes defaulted to double precision that GPUs did not gain wide acceptance until they provided in hardware operations not required in their original domain of graphics. However, computational science is now reverting to employ lower precision arithmetic where possible. Many matrix operations considered at a blockwise level allow for lower precision and many blocks can be approximated with low rank near equivalents.

Efficient Machine Learning across Hardware, Software, and Algorithms

-

B2 L5 R5209

Deep neural networks (DNNs) are revolutionizing computing, necessitating an integrated approach across the computing stack to optimize efficiency. In this talk, I will explore the frontier of DNN optimization, spanning algorithms, software, and hardware. We'll start with hardware-aware neural architecture search, demonstrating how tailoring DNN architectures to specific hardware can drastically enhance performance.
<> software development (4)

Error Feedback for Communication-Efficient First and Second-Order Distributed Optimization: Theory and Practical Implementation

-

B9 L2 R2325

This seminar will discuss advancements in Federated Learning, including theoretical improvements to the Error Feedback method (EF21) for communication-efficient distributed training and the development of significantly more practical and efficient implementations of the Federated Newton Learn (FedNL) algorithm.
Qusai Ghabrah

Qusai A. Ghabrah

M.S. Student, Computer Science
Qusai Ghabrah is a computer science master's student at KAUST with a strong background in software engineering and technical project management, who has worked on an LLM-assisted system testing tool for microservices as part of his research project.

Konstantin Burlachenko

Ph.D. Student, Computer Science
Konstantin's research focuses on large-scale mathematical optimization systems for machine learning and artificial intelligence, especially those requiring high-performance computing approaches.

David Keyes

David Keyes works at the interface of computational science and engineering and high performance computing, which he helped edit into the DNA of KAUST as a founding Dean in 2009 and then as director of the Extreme Computing Research Center. He currently serves as Senior Associate to the President, Chair of the KAUST RDIA Economies of the Future committee, and delegate to the Saudi Center for the Fourth Industrial Revolution.
<> synthetic biology (4)

Sharing expert experimental knowledge to expedite design

1 min read ·
A repository of metabolic information provides a quick reference tool for designing useful synthetic biological systems.

Meshari Alazmi

As a Ph.D. student in Xin Gao's group, Meshari earned his degree in synthetic biology, systems biology, thermodynamics, and protein structure prediction. Thereafter he worked in a similar capacity in Stefan Arold's group and later went on to become an assistant professor at the University of Hail, KSA. Research Interests Meshari Alazmi's research interests are in ​Synthetic Biology, Systems Biology, Thermodynamics, Protein Structure Prediction Scientific and Professional Membership Association for Computing Machinery (ACM) student Chapter Education Profile Ph.D. in computer science, King

Majed Alzahrani

Majed Alzahrani obtained PhD degree in Computer Science from King Abdullah University of Science and Technology in 2017. His PhD thesis supervisor was Professor Xin Gao. After graduating, he joined Saudi Aramco as a data scientist in its Drilling Data Science unit. Working in one of the largest companies in the world is a dream come true for many, for Majed Alzahrani, things couldn't be better. Research Interest Majed's research interests were in machine learning, structural bioinformatics, synthetic biology.

Hiroyuki Kuwahara

Hiroyuki Kuwahara got his Ph.D. degree in Computer Science from the University of Utah in 2008. He was then a junior researcher at Microsoft Research - Trento during 2007 and 2009. During 2009 and 2012, he was a Ray and Stephanie Lane Fellow at the School of Computer Science at Carnegie Mellon University. Since 2012, he joined the SFB group as a Research Scientist. Research Interests ​Hiroyuki's area of research is broadly in computational systems and synthetic biology. His main research focus is on the theoretical understanding of how various uncertainties contribute to the relation between
<> AI for healthcare (3) <> applied geometry (3)

Workshop on Applied Geometry and Visual Computing

-

B4 L5 R5209

The “KAUST Workshop on Applied Geometry and Visual Computing” brings together leading scientists from Europe and the United States, presenting their latest results in - Applied and Discrete Differential Geometry - Geometry Processing - Computational Fabrication The talks are related to various problems in Applied Mathematics in general and to further areas of Visual Computing such as Computer Graphics, Physical Simulation and Scientific Visualization. The workshop provides a great opportunity to learn about latest developments and to discuss ongoing work with top researchers in the field.

Victor Ceballos Inza

Ph.D. Student, Computer Science
Victor Ceballos Inza is a Ph.D. student under the supervision of Prof. Helmut Pottmann at the Visual Computing Center (VCC) in King Abdullah University of Science and Technology (KAUST).

Anthony Ramos

Anthony Ramos is an MS/PhD Student at Visual Computing Center (VCC) in King Abdullah University of Science and Technology (KAUST), studying under the supervision of Professor Helmut Pottman in his research group. Education and Early Career Anthony have obtained Bachelor's degree in Physicist from Yachay Tech University, Urcuqui, Ecuador - government project with the idea of making an international university for the country, from which he was part of the second generation of students. Research Interest Anthony Ramos is passionate about geometry and programming. He loves to bring problems to
<> combinatorial optimization (3)

Extensions of Dynamic Programming for Combinatorial Optimization and Data Mining

-

KAUST

Dynamic programming is an efficient technique to solve optimization problems. It is based on decomposing the initial problem into simpler ones and solving these sub-problems beginning from the simplest ones. A conventional dynamic programming algorithm returns an optimal object from a given set of objects. We developed extensions of dynamic programming which allow us (i) to describe the set of objects under consideration, (ii) to perform a multi-stage optimization of objects relative to different criteria, (iii) to count the number of optimal objects,(iv) to find the set of Pareto optimal points for the bi-criteria optimization problem, and (v) to study the relationships between two criteria.

Dynamic Programming Multi-Objective Combinatorial Optimization

-

KAUST

In this dissertation, we consider extensions of dynamic programming for combinatorial optimization. We introduce two exact multi-objective optimization algorithms: the multi-stage optimization algorithm that optimizes the problem relative to the ordered sequence of objectives (lexicographic optimization) and the bi-criteria optimization algorithm that simultaneously optimizes the problem relative to two objectives (Pareto optimization).

New Book "Extensions of Dynamic Programming for Combinatorial Optimization and Data Mining" of Professor Moshkov and His Former Students is Published by Springer

1 min read ·
A new book - "Extensions of Dynamic Programming for Combinatorial Optimization and Data Mining" by Hassan AbouEisha, Talha Amin, Igor Chikalov, Shahid Hussain, and Mikhail Moshkov - was recently published by Springer.
<> computation (3) <> computer networking and systems (3)

Saverio Pasqualoni

M.S. Student, Computer Science
Saverio is a Master’s student pursuing graduate studies (M.S. and Ph.D.) in Computer Science at KAUST, working in the SANDS research group on high-performance computing and collective communications, with research interests that bridge systems-level computer science and large-scale simulation through a strong mathematical foundation.

Ziyi Yang

Ph.D. Student, Computer Science
Ziyi Yang is a PhD student in the Accelerated Connected Computing Lab at KAUST. She works on the networked integration of FPGA-based accelerators. She received her Bachelor of Science degree in Telecommunications Engineering with Management from the Beijing University of Posts and Telecommunications, China and Queen Mary University of London in 2021. She completed her MS in Computer Science at KAUST in 2022.

Enas Ahmad

Enas Ahmad obtained her Master's degree in Computer Science under the supervision of Professor Basem Shihada at King Abdullah University of Science and Technology (KAUST). Research Interests Enas' research interests included the area of computer networking and systems, specifically software-defined networking, data centers, the internet of things, and participatory sensing. Thesis title: " Energy Efficient Smartphones: Minimizing the Energy Consumption of Smartphone's GPU using DVFS Governors". Education Profile M.sc. in Computer Science, King Abdullah University of Science and Technology
<> Computer simulations (3)

Introduction to Computer Simulation - A short course - Lecture 2

Michal A. Mankowski, Assistant Professor, Erasmus School of Economics, Erasmus University Rotterdam, Netherlands

-

B1 L4 R4102

This course aims to familiarize students with the Computer Simulation tools for complex problems. The course will introduce the basic concepts of computation through modeling and simulation that are increasingly being used in industry and academia. The basic concepts of Discrete Event Simulation will be introduced along with the reliable methods of random variate generation. Later in the course, the concept of simulation-based optimization will be discussed, introducing an overview of various optimization approaches. The example of simulation (and optimization) applied to design an optimal organ allocation policy in the US will be discussed. The last lecture will be devoted to the contemporary topics in simulation.

Introduction to Computer Simulation - A short course - Lecture 1

Michal A. Mankowski, Assistant Professor, Erasmus School of Economics, Erasmus University Rotterdam, Netherlands

-

B1 L4 R4102

This course aims to familiarize students with the Computer Simulation tools for complex problems. The course will introduce the basic concepts of computation through modeling and simulation that are increasingly being used in industry and academia. The basic concepts of Discrete Event Simulation will be introduced along with the reliable methods of random variate generation. Later in the course, the concept of simulation-based optimization will be discussed, introducing an overview of various optimization approaches. The example of simulation (and optimization) applied to design an optimal organ allocation policy in the US will be discussed. The last lecture will be devoted to the contemporary topics in simulation.

Introduction to Computer Simulation - A short course - Lecture 3

Michal A. Mankowski, Assistant Professor, Erasmus School of Economics, Erasmus University Rotterdam, Netherlands

-

B1 L4 R4102

This course aims to familiarize students with the Computer Simulation tools for complex problems. The course will introduce the basic concepts of computation through modeling and simulation that are increasingly being used in industry and academia. The basic concepts of Discrete Event Simulation will be introduced along with the reliable methods of random variate generation. Later in the course, the concept of simulation-based optimization will be discussed, introducing an overview of various optimization approaches. The example of simulation (and optimization) applied to design an optimal organ allocation policy in the US will be discussed. The last lecture will be devoted to the contemporary topics in simulation.
<> computing (3) <> Cryptography (3)

mR_LWE-CP-ABE: a Recoverable CP-ABE protocol for Post-quantum Cryptography

-

B9 L2 R2325

This talk presents a novel lattice-based revocable CP-ABE scheme built upon lattice-based cryptography to addresses the challenge of efficient user revocation in post-quantum secure cloud environments by leveraging semi-trusted mediators to enable multi-step decryption without costly re-encryption.

Practical Cryptographic Framework to Manage Security and Privacy for IoT Endpoint devices

-

B1 L4 R4214

In this talk, the speaker will provide a high-level introduction to his recent research on IoT endpoint security. Firstly, he will introduce requirements followed by a discussion on cryptographic algorithm implementation. He will mainly focus on an overview of efficient cryptography for IoT endpoints and system privacy issues. Then he will discuss security management approaches, positives, negatives and challenges to resolve, linking to the endpoint device security section with regards to realistic device needs/capabilities.

Elmootazbellah Elnozahy

Professor (former), Computer Science
Elmootazbellah (Mootaz) Elnozahy is a renowned computer scientist who has filed, individually and with colleagues, 58 U.S. patents. He has successfully secured research and development funding grants of ~$320M.
<> cyber threats (3) <> discrete differential geometry (3)

Workshop on Applied Geometry and Visual Computing

-

B4 L5 R5209

The “KAUST Workshop on Applied Geometry and Visual Computing” brings together leading scientists from Europe and the United States, presenting their latest results in - Applied and Discrete Differential Geometry - Geometry Processing - Computational Fabrication The talks are related to various problems in Applied Mathematics in general and to further areas of Visual Computing such as Computer Graphics, Physical Simulation and Scientific Visualization. The workshop provides a great opportunity to learn about latest developments and to discuss ongoing work with top researchers in the field.

Victor Ceballos Inza

Ph.D. Student, Computer Science
Victor Ceballos Inza is a Ph.D. student under the supervision of Prof. Helmut Pottmann at the Visual Computing Center (VCC) in King Abdullah University of Science and Technology (KAUST).

Anthony Ramos

Anthony Ramos is an MS/PhD Student at Visual Computing Center (VCC) in King Abdullah University of Science and Technology (KAUST), studying under the supervision of Professor Helmut Pottman in his research group. Education and Early Career Anthony have obtained Bachelor's degree in Physicist from Yachay Tech University, Urcuqui, Ecuador - government project with the idea of making an international university for the country, from which he was part of the second generation of students. Research Interest Anthony Ramos is passionate about geometry and programming. He loves to bring problems to
<> discrete optimization (3)

Shahid Hussain

Ph.D. Student, Computer Science
Research Interests Design and analysis of decision trees based on dynamic programming and greedy approaches Machine learning Discrete optimization Selected Publications Azad, M., Chikalov, I., Hussain, S., and Moshkov, M. Restricted multi-pruning of decision trees, In Machine Learning and Data Analytics Symposium as plenary talk (2016) (Awarded best paper). Busbait, M., Chikalov, I., Hussain, S., and Moshkov, M. Diagnosis of constant faults in read-once contact networks over finite bases. Discrete Applied Mathematics, 184 (2015), pp. 76–88. AbouEisha, H., Hussain, S., Lozin, V., Monnot, J

Michal A. Mankowski

Postdoctoral Research Fellow, Computer Science
As a member of the KAUST Extensions of Dynamic Programming, Machine Learning, Discrete Optimization research group (TREES), Mankowski is currently developing an algorithmic and theoretical framework for combinatorial optimization. The application side of his research centers on healthcare analytics and operations research applied to the healthcare domain. Research Interests Dynamic programming Combinatorial optimization Complexity of algorithms​ Healthcare Analytics Education Profile Ph.D. (Computer Science), King Abdullah University of Science and Technology, Thuwal, Saudi Arabia, 2020. M.S.

Mikhail Moshkov

Professor Moshkov specializes in various areas of discrete applied mathematics, theoretical computer science and operations research. He is the author or co-author of more than 200 research publications, including 10 books published by Springer.
<> drug effects (3)

AI4GH Seminar Series - Genome-scale Regression Analysis Reveals a Linear Relationship for Promoters and Enhancers After Combinatorial Drug Treatment

-

B2 R5220

Drug combination therapy for the treatment of cancers and other multifactorial diseases has the potential of increasing the therapeutic effect while reducing the likelihood of drug resistance. In order to reduce the time and cost spent on comprehensive screens, methods are needed which can model additive effects of possible drug combinations.

Computational Analysis of Transcriptional Regulation after Single and Multiple Drug Administration.

-

B3 L5 R5209

With the advances in transcriptomic analysis, the monitoring of genome-wide gene expression provides a powerful approach for determining the action of drugs. In this thesis, we analyzed the transcriptional responses of cells treated with drugs either alone or in combinations to explore their effects in two different applications: breast cancer therapy and cell conversion.

One size does not fit all: an innovative analytical tool will help pave the way for tailor made health care

1 min read ·
It is estimated that each year, around eight million children worldwide are born with a serious genetic condition that is either life-threatening or debilitating. These disorders are caused by underlying mutations affecting the genetic makeup contained in our cells, and according to experts, half of the variations responsible for these diseases are still unknown. Because of the lack of information on these disorders, physicians are often unable to pinpoint the exact molecular cause of the disease or opt for the most appropriate treatment.
<> Dynamic programming (3)

Extensions of Dynamic Programming for Combinatorial Optimization and Data Mining

-

KAUST

Dynamic programming is an efficient technique to solve optimization problems. It is based on decomposing the initial problem into simpler ones and solving these sub-problems beginning from the simplest ones. A conventional dynamic programming algorithm returns an optimal object from a given set of objects. We developed extensions of dynamic programming which allow us (i) to describe the set of objects under consideration, (ii) to perform a multi-stage optimization of objects relative to different criteria, (iii) to count the number of optimal objects,(iv) to find the set of Pareto optimal points for the bi-criteria optimization problem, and (v) to study the relationships between two criteria.

Ph.D. Student’s Research Listed in The American Journal of Transplantation’s “Top 10 Articles of 2019”

1 min read ·
Research work carried out by Michał Mańkowski, a Ph.D. student in the KAUST Computer, Electrical and Mathematical Sciences and Engineering (CEMSE) Division, was recently selected for inclusion by the editors of The American Journal of Transplantation (AJT) in their “Top 10 Articles of 2019.

Michal A. Mankowski

Postdoctoral Research Fellow, Computer Science
As a member of the KAUST Extensions of Dynamic Programming, Machine Learning, Discrete Optimization research group (TREES), Mankowski is currently developing an algorithmic and theoretical framework for combinatorial optimization. The application side of his research centers on healthcare analytics and operations research applied to the healthcare domain. Research Interests Dynamic programming Combinatorial optimization Complexity of algorithms​ Healthcare Analytics Education Profile Ph.D. (Computer Science), King Abdullah University of Science and Technology, Thuwal, Saudi Arabia, 2020. M.S.
<> Dynamical Systems (3) <> electrical engineering (3) <> energy harvesting (3) <> extreme computing (3) <> Generative AI and LLMs (3) <> generative models (3)

KAUST Workshop on Distributed Training in the Era of Large Models

-

Auditorium between B4 & 5, L0, R0215

Join leading researchers and innovators to explore how distributed training is reshaping the next generation of large-scale AI models.

Xiaoqian Shen

Education Xiaoqian Shen is a Master's student at Vision-CAIR group in Visual Computing Center (VCC), King Abdullah University of Science and Technology (KAUST). • 2018-2022: BSc in Computer Science & Technology Dept. of Computer Science and Technology, Jilin University, China Research Interest • My research mainly focuses on leveraging natural language to facilitate better visual representation in a low-resource setting. Work Experience • Medical relation extraction for Chinese medicine instructions, 2021, Tsinghua University, China • Self-supervised Learning for medical image segmentation

Ivan Skorokhodov

Ph.D. Student, Computer Science
Ivan Skorokhodov is a Ph.D. candidate in the Computer Science Program under the supervision of Professor Peter Wonka at Visual Computing Center (VCC) at King Abdullah University of Science and Technology (KAUST). His research interests include such areas of deep learning as generative models, hypernetworks and neural rendering. Ivan Skorokhodov has obtained his Ph.D degree and graduated in March 2023. Education and Early Career Ivan obtained his bachelor's degree in Management from the Moscow Engineering Physics Institute in 2014. He continued his studies there and received his master's degree
<> geometric computing (3)

5-axis flank CNC machining of free-form surfaces using custom-shaped tools

-

B4 L5 R5209

In this talk, I will discuss our recent advances in approximation of free-form surfaces by motions of curvature varying tools in the context of 5-axis flank CNC machining. In particular, I will discuss path-planning strategies using fixed tools, or custom-shaped ones, and on an example of spiral bevel gears will demonstrate even more efficient variant of flank machining, called double-flank.

Daoming Liu

Postdoctoral Research Fellow, Computer Science
Daoming Liu is a Postdoctoral Research Fellow working with Professor Helmut Pottmann at the Visual Computing Center (VCC) in King Abdullah University of Science and Technology (KAUST). Education and Early Career Daoming Liu obtained his Ph.D. degree from the University of Chinese Academy of Sciences (UCAS). During his Ph.D., he spent one year at TUDelft as a visiting doctoral student. Before joining VCC/KAUST, he worked at ShanghaiTech University as a Research Assistant Professor. Research Interest Daoming Liu’s research was focused on physical simulation, geometric computing and their

Cheng Wang

Ph.D. Student, Computer Science
Cheng Wang received his PhD in the Computer Science Program under the supervision of Professor Helmut Pottmann at the Visual Computing Center (VCC). He is now an Assistant Professor at the University of East Anglia in the United Kingdom Education and Early Career Cheng received his Bachelor's Degree in Automation from Tsinghua University, China in 2016. He joined KAUST to continue his studies and received his Master's Degree in Computer Science in 2018. Research Interest Cheng is mainly interested in Computer Graphics, Geometric Computing, and Machine Learning. Education Profile M.S., Computer
<> haps (3)

Bang Huang

Postdoctoral Research Fellow, Electrical and Computer Engineering
Bang Huang works as a postdoctoral fellow at the Computer Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology (KAUST), under the supervision of Prof. Mohamed-Slim Alouini in the Communication Theory Lab (CTL). Education and Early Career Bang Huang received the M.S. degree (with honors) in electrical engineering and Ph.D degree in information and communication engineering from the School of Information and Communication Engineering (SICE), University of Electronic Science and Technology of China (UESTC), Chengdu, China, in

Xiaowei Pang

Postdoctoral Research Fellow, Electrical and Computer Engineering
Xiaowei Pang is currently a Postdoctoral Research Fellow at the Computer Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology (KAUST), working with Professor Mohamed-Slim Alouini in the Communication Theory Lab (CTL). Education and Early Career Xiaowei Pang received her B.S. degree in Telecommunication Engineering from Northwestern Polytechnical University, Xi'an, China, in 2018, and her Ph.D. degree in Information and Communication Engineering from Dalian University of Technology, Dalian, China, in 2024. From 2021 to 2022
H

Hussein Al-Shatri

I chose KAUST because of its reputation for excellence in research and its recent emphasis on applied research. With my extensive background in both academic research and industrial development, I am excited to contribute my experience and ambition. My goal is to foster new ideas and develop innovative prototypes in the field of wireless communications, which will undoubtedly enhance people's lives.
<> intrusion detection (3) <> intrusion tolerance (3) <> inverse problems (3)

Space-Time Tomographic Reconstruction of Deforming Objects

-

B1 L2 R2202

In this thesis, a variety of applications in computer vision and graphics of inverse problems using tomographic imaging modalities will be presented: (i) The first application focuses on the CT reconstruction with a specific emphasis on recovering thin 1D and 2D manifolds embedded in 3D volumes. (ii) The second application is about space-time tomography (iii) Base on the second application, the third one is aiming to improve the tomographic reconstruction of time-varying geometries undergoing faster, non-periodic deformations, by a warp-and-project strategy. Finally, with a physically plausible divergence-free prior for motion estimation, as well as a novel view synthesis technique, we present applications to dynamic fluid imaging which further demonstrates the flexibility of our optimization frameworks

Ramzi Idoughi

Research Scientist, Computer Science
Ramzi Idoughi is a Research Scientist in the Computational Imaging Group (VCCIMAGING) working with Professor Wolfgang Heidrich at King Abdullah University of Science and Technology (KAUST). Education and Early Career Ramzi obtained his engineering degree in Space System and Image Processing from National Higher French Institute of Aeronautics and Space (ISAE/SUPAERO) in France in 2011. Later, he received his master degree in Signal, Image, Acoustics and Optimization (SIAO) from Higher Educational Institution in Toulouse (ENSEEIHT) in France in 2011. After that in 2015, he received his doctoral

Guangming Zang

Research Engineer, Computer Science
Guangming Zang is a research engineer in the Computational Imaging Group (VCCIMAGING) under the supervision of Professor Wolfgang Heidrich at King Abdullah University of Science and Technology (KAUST). Education and Early Career Guangming obtained his bachelor degree in Software Engineering from China University of Geosciences in Wuhan, China in 2013. He received his master degree in Computer Science from University of Chinese Academy of Sciences in China. Before joining KAUST, Guangming was a research assistant (2013 – 2014) at The National Space Science Center at Chinese Academy of Sciences
<> knowledge discovery (3)

AI4GH Seminar Series | Predicting Protein Function and Phenotype Associations

-

B2 R5220

The amount of available protein sequences is rapidly increasing, mainly as a consequence of the development and application of high ​throughput sequencing technologies in the life sciences.

CEMSE Big Data Open Day shows off fascinating discoveries

1 min read ·
The fifth-anniversary event marked CEMSE's biggest successes and featured 20 KAUST discoveries, with more than 1,000 visitors from the community attending the event."Big data has many applications: to understand medicine better; to manage food supplies, and to connect objects. Data is at the center of everything," said Dean Mootaz Elnozahy of the University's Computer, Electrical, Mathematical Science and Engineering (CEMSE) Division at the CEMSE Big Data Open Day held on December 4, 2016.

New Book "Extensions of Dynamic Programming for Combinatorial Optimization and Data Mining" of Professor Moshkov and His Former Students is Published by Springer

1 min read ·
A new book - "Extensions of Dynamic Programming for Combinatorial Optimization and Data Mining" by Hassan AbouEisha, Talha Amin, Igor Chikalov, Shahid Hussain, and Mikhail Moshkov - was recently published by Springer.
<> Knowledge representation and reasoning (3)

Xi Peng

Ph.D. Student, Computer Science
Xi Peng likes pop music and doing sports. He graduated from SUSTech in 2021 and planning to continue his academic career at KAUST under the supervision of Professor Robert Hoehndorf. "He says KAUST has the best environment to do research. Life in KAUST is also comfortable. I believe I can achieve a lot in KAUST". Research Interest applications of machine learning and logic integration in biology Education Profile B.Sc, Computer Science, Southern University of Science and Technology, Shenzhen, China, 2017-2021 M.Sc, Computer Science, King Abdullah University of Science and Technology, Thuwal

Jun Chen

Ph.D. Student, Computer Science
Jun Chen is a Ph.D. candidate in the Computer Science Program under the supervision of Professor Mohamed Elhoseiny at King Abdullah University of Science and Technology (KAUST). Education and Early Career Jun obtained his bachelor's degree in Computer Science from Xi’an Jiaotong-Liverpool University in China, 2018. He joined KAUST as a Master student under the supervision of Prof. Robert Hoehndorf and received his master's degree in Computer Science in 2019. Research Interests Jun's research interests include machine learning, artificial intelligence, natural language processing, knowledge

Fernando Patricio Zhapa-Camacho

Ph.D. Student, Computer Science
Fernando Patricio Zhapa Camacho is an M.S./Ph.D. candidate in the KAUST Bio-Ontology research group under the supervision of Professor Robert Hoehndorf. Before joining KAUST, Fernando obtained a bachelor's degree in Information Technology from Yachay Tech University, Ecuador. Research Interests Fernando’s research interests include knowledge representation and reasoning, machine learning and bioinformatics. He is interested in artificial intelligence and logic integration with applications in biology. Professional Profile: • 2020 to present: Graduate Student, KAUST, Thuwal, Saudi Arabia. •
<> Large Language Models (3) <> LiDAR (3) <> Linux (3)

Security analysis of Docker-based containerized environments

Operating System (OS) virtualization, also known as container-based virtualization, has gained momentum over the past few years thanks to its lightweight nature and support for agility. However, its compelling features come at the price of a reduced isolation level compared to the traditional host-based virtualization techniques, exposing workloads to various faults, such as container escape. Those faults might be manifested as host OS bugs, container runtime vulnerabilities, and/or poor container deployment choices and profile configuration. The latter aspect is particularly critical as

Monitoring containerized environments for security state error detection

Operating System (OS) virtualization, also known as container-based virtualization, has gained momentum over the past few years thanks to its lightweight nature and support for agility. However, its compelling features come at the price of a reduced isolation level compared to the traditional host-based virtualization techniques, exposing workloads to various threats, such as container escape. In those threats, compromised or rogue containers might exploit existing vulnerabilities or poor container deployment choices to successfully inject security state errors (e.g., breaking out of the

Ali Charara

Ali Charara obtained both, his MS Degree and PhD Degree from Computer Science at KAUST in 2011 and 2018 respectively. His master thesis supervisor was Alyn Rockwood and his PhD thesis supervisor was David Keyes. Ali's research interests were in High Performance Computing with a focus on parallel computing and algorithms using multicore and manycore Computer Graphics Units. Education Profile MS Degree, Computer Science, KAUST (2011) PhD Degree, Computer Science, KAUST (2018)
<> malware (3)
Ali Hassan

Ali Hassan

Instructional Professor, Computer Science
Ali Hassan is an instructional professor in the Computer, Electrical, and Mathematical Sciences and Engineering (CEMSE) Division at KAUST.

BGP hijacks: the next generation stealthy Command and Control for botnets

Dr. Marc Dacier, Chair of the Digital Security department and a full Professor at Eurecom, France

-

B9 L2 H1 R2322

Abstract It is well known that malware spreading over the Internet aim at transforming vulnerable devices into bots that can be misused by attackers. These armies of bots constitute what is commonly called "botnets" and they are given tasks (such as spamming, dosing, etc..) to do through a "command and control" infrastructure (C2C). Identifying and neutralizing these C2C has been the subject of an arms race between white and black hats for years. In this talk, we will briefly explain how C2C works and how they have been (and still are being) detected. We will then present some very strange

Ali Shoker

Research Associate Professor, Computer Science
Ali Shoker, a Research Associate Professor at KAUST leading the Cyber Security and Resilience Technology lab. His research is focused on Applied Cyber Security and Resilience for real-world applications including SOC (SIEM, SOAR, XDR, IDS, IPS), Trustworthy AI, satellite systems, autonomous vehicles, fintech, Blockchain, RF Resilience, etc.
<> marine science (3) <> MATLAB (3) <> multi-scale 3D visualization (3)

Modeling and Automated Storytelling of Mesoscale Molecular Models

-

KAUST

In my talk, I will present techniques that allow biologists to model a mesocale entity in a rapid way in the timeframe of a few minutes to hours. This way we have created the first complete atomistic model of the SARS-CoV-2 virion that we are these days sharing with the worldwide scientific community. Mesoscale represents a scalar gap that is currently not possible to accurately image with neither microscopy nor X-ray crystallography approaches. For this purpose, scientists characterize it by observations from the surrounding nanoscale and the microscale. From this information, it is possible to reconstruct a three-dimensional model of a biological entity with a full atomistic model. The problem is that these models are enormously large and are not possible to model with traditional methods from computer graphics within a reasonable time.

Making the invisible, visible

1 min read ·
As bioscience and medicine progress, we are now able to live with diseases, which were once a death sentence. And we are rapidly discovering new interactions at the microscopic level that give us insight into the engines of life. However, as research gets more complicated, the layperson gets left further and further behind. Even those who trust the work of scientists can feel overwhelmed when attempting to read the latest research.

Ivan Viola

Professor, Computer Science
Professor Viola’s expertise lies in scientific visualization and visual computing. His research focuses on multiscale visualization and modeling of complex biological systems, ranging from cellular organisms to atomistic-level details.
<> Nanyang Technological University (3)

Convolutional Neural Networks on Graphs

-

B9 H2

In the past years, deep learning methods have achieved unprecedented performance on a broad range of problems in various fields from computer vision to speech recognition. So far research has mainly focused on developing deep learning methods for grid-structured data, while many important applications have to deal with graph-structured data.

Day 2 - Deep learning and the latest algorithms in artificial intelligence

-

B4 B5 A0215

The ML Hub offers a 2-day short course on deep learning and the latest algorithms in artificial intelligence. The course will be given by Professor Xavier Bresson from the Nanyang Technological University (NTU) in Singapore, who is a leading researcher in the field of deep learning. The course will include the theory of deep learning techniques as well as practical exercises. Prerequisite knowledge: Basic knowledge of linear algebra (e.g. matrix multiplication) and script programming (e.g. Python, Matlab, R) are needed. The coding will be done in Python. Note, that this course has limited seating and filling registration form does not guarantee acceptance. If you are selected, you will receive a confirmation e-mail.

Day 1 - Deep learning and the latest algorithms in artificial intelligence

-

B4 B5 A0215

The ML Hub offers a 2-day short course on deep learning and the latest algorithms in artificial intelligence. The course will be given by Professor Xavier Bresson from the Nanyang Technological University (NTU) in Singapore, who is a leading researcher in the field of deep learning. The course will include the theory of deep learning techniques as well as practical exercises. Prerequisite knowledge: Basic knowledge of linear algebra (e.g. matrix multiplication) and script programming (e.g. Python, Matlab, R) are needed. The coding will be done in Python. Note, that this course has limited seating and filling registration form does not guarantee acceptance. If you are selected, you will receive a confirmation e-mail.
<> Nonlinear Optics (3) <> numerical analysis (3) <> operating systems (3)

Security analysis of Docker-based containerized environments

Operating System (OS) virtualization, also known as container-based virtualization, has gained momentum over the past few years thanks to its lightweight nature and support for agility. However, its compelling features come at the price of a reduced isolation level compared to the traditional host-based virtualization techniques, exposing workloads to various faults, such as container escape. Those faults might be manifested as host OS bugs, container runtime vulnerabilities, and/or poor container deployment choices and profile configuration. The latter aspect is particularly critical as

Monitoring containerized environments for security state error detection

Operating System (OS) virtualization, also known as container-based virtualization, has gained momentum over the past few years thanks to its lightweight nature and support for agility. However, its compelling features come at the price of a reduced isolation level compared to the traditional host-based virtualization techniques, exposing workloads to various threats, such as container escape. In those threats, compromised or rogue containers might exploit existing vulnerabilities or poor container deployment choices to successfully inject security state errors (e.g., breaking out of the

An Overview of Systems Research at TU Munich

-

B4 L5 R5209

In this talk, Professor Pramod Bhatotia will give an overview of systems research at TU Munich. He will cover his teaching and ongoing research projects. And will conclude the talk with a brief overview of his ERC project.
<> optics (3) <> Parallel and Distributed Computing (3)

PhD Defense of Tariq AlTurkestani

1 min read ·
Maximizing I/O Bandwidth for Out-of-Core HPC Applications on Heterogeneous Large-Scale Systems PhD Dissertation Defense by Tariq Alturkestani PhD Student, Computer Science Thursday, July 9, 16:00 - 17:00, https://kaust.zoom.us/j/94054511362 Contact Person: Tariq Alturkestani The execution rate of floating-point operations has typically increased by an order of magnitude every four years during the last 30 years of modern comput ing. This exponential growth in terms of computational power has benefited from the hardware technology scaling. However, memory and storage systems have not maintained

Malek Smaoui

Instructional Associate Professor, Computer Science
Malek Smaoui is dedicated to making learning computing accessible to students from all backgrounds, by enhancing their computing learning experiences, via modern teaching approaches and technologies.

Majed Sahli

Majed Sahli obtained his Ph.D. degree in Computer Science under the supervision of Professor Panagiotis Kalnis from King Abdullah University of Science and Technology (KAUST). Research Interest Majed's Research interests included Parallel and distributed computing, large data management, string processing, and graph theory. Education Profile Ph.D. in Computer Science at King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi Arabia. (2010-2015) Masters Degree in Computer Science with Distinction from NU, San Diego, CA, USA. (2008-2010) Bachelor's Degree in Computer Science
<> personalized recommendations (3) <> physical simulation (3)

Robust Geometry Processing for Physical Simulation

-

B4 L5 R5209

I will discuss the limitations of the current state of the art, and present a proposal for an integrated pipeline, considering data acquisition, meshing, basis design, and numerical optimization as a single challenge, where tradeoffs can be made between different phases to increase automation and efficiency. I will demonstrate that this integrated approach offers many advantages, while opening exciting new geometry processing challenges, and that a fully opaque meshing and analysis solution is already possible for heat transfer and elasticity problems with contact. I will present a set of applications enabled by this approach in reinforcement learning for robotics, force measurements in biology, shape design in mechanical engineering, stress estimation in biomechanics, and simulation of deformable objects in graphics.

Torsten Hadrich

Ph.D. Student, Computer Science
Torsten Hadrich is a Ph.D. candidate at Visual Computing Center (VCC) in King Abdullah University of Science and Technology (KAUST), studying under the supervision of Professor Dominik Michels in Computational Sciences Group (CSG). Education and Early Career Torsten Hadrich obtained his bachelor degree in Computer Science and Media from Stuttgart Media University in Germany in 2010. After that, he received his master degree in Information Engineering from the University of Konstanz in Germany in 2014. Torsten started his career life early in 2002. He was an IT Specialist for Application

Daoming Liu

Postdoctoral Research Fellow, Computer Science
Daoming Liu is a Postdoctoral Research Fellow working with Professor Helmut Pottmann at the Visual Computing Center (VCC) in King Abdullah University of Science and Technology (KAUST). Education and Early Career Daoming Liu obtained his Ph.D. degree from the University of Chinese Academy of Sciences (UCAS). During his Ph.D., he spent one year at TUDelft as a visiting doctoral student. Before joining VCC/KAUST, he worked at ShanghaiTech University as a Research Assistant Professor. Research Interest Daoming Liu’s research was focused on physical simulation, geometric computing and their
<> point cloud (3)

Point cloud and volume data reconstruction and visualization

Dr. Ciril Bohak, Postdoctoral Researcher, Faculty of Computer and Information Science, University of Ljubljana, Slovenia

-

B1 L2

Abstract Our ongoing research on the reconstruction of aerial point cloud data includes reconstructing the parts of the data that are not captured by the airplane mounted LiDAR system due to the shadowing effect and lack of reflections. We are developing methods for reconstructing (1) building walls, (2) reconstruction of bridges and underlying terrain; (3) reconstruction of water surfaces of lakes and rivers, and (4) reconstruction of terrain overhangs. In all the cases we are merging the point cloud data with cadaster data or digital terrain model data for filling the gaps in the point cloud

Gordon Guocheng Qian

Guocheng Qian is currently working towards an MS/Ph.D. degree in the Department of Computer Science at King Abdullah University of Science and Technology (KAUST). He is part of the Image and Video Understanding Lab (IVUL), supervised by Prof. Bernard Ghanem. During his Ph.D. studies, he interned at several leading institutions including Snap Research, Meta Reality Lab, and MEGVII research. His primary research interest lies in 3D vision. Education and Early Career Guocheng obtained his bachelor's degree in Engineering with first-class honors from Xi’an Jiaotong University (XJTU) in China in

Ciril Bohak

Research Scientist, Computer Science
Ciril Bohak was a Research Scientist in the NANOVIS Group, working with Professor Ivan Viola at King Abdullah University of Science and Technology (KAUST). He was a member of the Nanovisualization Research Group and works on development of novel rendering and visualization methods for visualizing data at the nano scale. Education and Early Career Ciril obtained his B.Sc., M.Sc. and Ph.D. in Computer Science from University of Ljubljana. He started his career as researcher in Laboratory for Computer Graphics and Multimedia researching in fields Music Information Retrieval, Computer Graphics and
<> precision medicine (3) <> protein structures (3)

The awesome scope of big data

1 min read ·
Sifting through huge amounts of data may bring a better understanding of whale shark social structures, protein targets for drug therapies and disease-causing genes.

Islam Almasri

Islam Almasri obtained his Master's degree in Computer Science under the supervision of Professor Xin Gao at Structural and Functional Bioinformatics Group (SFB) at King Abdullah University of Science and Technology (KAUST). Currently, Islam is a Ph.D. candidate in the Computer Science program under the supervision of Prof. Nina Fedoroff. at Fedoroff Research Group. Islam is specialized in developing various software tools for solving problems in other scientific domains, including Image Processing, Medical Imaging, Chemical Networks, and Protein Structure. Selected Publications Almasri, Islam

Gian Marco Messa

Ph.D. Student, Computer Science
Gian Marco is a Ph.D. student at the Structural and Functional Bioinformatics Group (SFB) under the supervision of Professor Xin Gao at King Abdullah University of Science and Technology (KAUST). Gian Marco, upon finishing high school in Lecce (Italy), applied to the Politecnico of Milan in the year 2009 in Physics engineering. Due to personal issues, he came back to his hometown to complete the Bachelor's Degree at the University of Salento in Biotechnology. For his master's degree, seeking innovation and cutting edge knowledge, he moved to the University of Bologna, which offered an M. Sc
<> reliability testing (3)

Reproducibility in Computer Science - Part 1

-

B9 L3 R3223

Roy Maxion will give three lectures focusing broadly on different aspects of an increasingly important topic: reproducibility. Reproducibility tests the reliability of an experimental result and is one of the foundations of the entire scientific enterprise. We often hear that certain foods are good for you, and a few years later we learn that they're not. A series of results in cancer research was examined to see if they were reproducible. A startling number of them - 47 out of 53 - were not. Matters of reproducibility are now cropping up in computer science, and given the importance of computing in the world, it's essential that our own results are reproducible -- perhaps especially the ones based on complex models or data sets, and artificial intelligence or machine learning. This lecture series will expose attendees to several issues in ensuring reproducibility, with the goal of teaching students (and others) some of the crucial aspects of making their own science reproducible. Hint: it goes much farther than merely making your data available to the public.

Reproducibility in Computer Science - Part 2

-

B9 L3 R3223

Roy Maxion will give three lectures focusing broadly on different aspects of an increasingly important topic: reproducibility. Reproducibility tests the reliability of an experimental result and is one of the foundations of the entire scientific enterprise. We often hear that certain foods are good for you, and a few years later we learn that they're not. A series of results in cancer research was examined to see if they were reproducible. A startling number of them - 47 out of 53 - were not. Matters of reproducibility are now cropping up in computer science, and given the importance of computing in the world, it's essential that our own results are reproducible -- perhaps especially the ones based on complex models or data sets, and artificial intelligence or machine learning. This lecture series will expose attendees to several issues in ensuring reproducibility, with the goal of teaching students (and others) some of the crucial aspects of making their own science reproducible. Hint: it goes much farther than merely making your data available to the public.

Reproducibility in Computer Science - Part 3

-

B9 L3 R3223

Roy Maxion will give three lectures focusing broadly on different aspects of an increasingly important topic: reproducibility. Reproducibility tests the reliability of an experimental result and is one of the foundations of the entire scientific enterprise. We often hear that certain foods are good for you, and a few years later we learn that they're not. A series of results in cancer research was examined to see if they were reproducible. A startling number of them - 47 out of 53 - were not. Matters of reproducibility are now cropping up in computer science, and given the importance of computing in the world, it's essential that our own results are reproducible -- perhaps especially the ones based on complex models or data sets, and artificial intelligence or machine learning. This lecture series will expose attendees to several issues in ensuring reproducibility, with the goal of teaching students (and others) some of the crucial aspects of making their own science reproducible. Hint: it goes much farther than merely making your data available to the public.
<> reproducibility issues (3)

Reproducibility in Computer Science - Part 1

-

B9 L3 R3223

Roy Maxion will give three lectures focusing broadly on different aspects of an increasingly important topic: reproducibility. Reproducibility tests the reliability of an experimental result and is one of the foundations of the entire scientific enterprise. We often hear that certain foods are good for you, and a few years later we learn that they're not. A series of results in cancer research was examined to see if they were reproducible. A startling number of them - 47 out of 53 - were not. Matters of reproducibility are now cropping up in computer science, and given the importance of computing in the world, it's essential that our own results are reproducible -- perhaps especially the ones based on complex models or data sets, and artificial intelligence or machine learning. This lecture series will expose attendees to several issues in ensuring reproducibility, with the goal of teaching students (and others) some of the crucial aspects of making their own science reproducible. Hint: it goes much farther than merely making your data available to the public.

Reproducibility in Computer Science - Part 2

-

B9 L3 R3223

Roy Maxion will give three lectures focusing broadly on different aspects of an increasingly important topic: reproducibility. Reproducibility tests the reliability of an experimental result and is one of the foundations of the entire scientific enterprise. We often hear that certain foods are good for you, and a few years later we learn that they're not. A series of results in cancer research was examined to see if they were reproducible. A startling number of them - 47 out of 53 - were not. Matters of reproducibility are now cropping up in computer science, and given the importance of computing in the world, it's essential that our own results are reproducible -- perhaps especially the ones based on complex models or data sets, and artificial intelligence or machine learning. This lecture series will expose attendees to several issues in ensuring reproducibility, with the goal of teaching students (and others) some of the crucial aspects of making their own science reproducible. Hint: it goes much farther than merely making your data available to the public.

Reproducibility in Computer Science - Part 3

-

B9 L3 R3223

Roy Maxion will give three lectures focusing broadly on different aspects of an increasingly important topic: reproducibility. Reproducibility tests the reliability of an experimental result and is one of the foundations of the entire scientific enterprise. We often hear that certain foods are good for you, and a few years later we learn that they're not. A series of results in cancer research was examined to see if they were reproducible. A startling number of them - 47 out of 53 - were not. Matters of reproducibility are now cropping up in computer science, and given the importance of computing in the world, it's essential that our own results are reproducible -- perhaps especially the ones based on complex models or data sets, and artificial intelligence or machine learning. This lecture series will expose attendees to several issues in ensuring reproducibility, with the goal of teaching students (and others) some of the crucial aspects of making their own science reproducible. Hint: it goes much farther than merely making your data available to the public.
<> resilient cyber-physical (3) <> RNA genes (3)

Promoters identification and analysis

-

B1 L2 R2202

Promoter is a key region that is involved in differential transcription regulation of protein-coding and RNA genes. The gene-specific architecture of promoter sequences makes it extremely difficult to devise the general strategy for their computational identification.

Computational Analysis of Transcriptional Regulation after Single and Multiple Drug Administration.

-

B3 L5 R5209

With the advances in transcriptomic analysis, the monitoring of genome-wide gene expression provides a powerful approach for determining the action of drugs. In this thesis, we analyzed the transcriptional responses of cells treated with drugs either alone or in combinations to explore their effects in two different applications: breast cancer therapy and cell conversion.

Novel computational methods for promoter identification and analysis

-

B2 L5 R5209

In this dissertation, I present the methods I have developed for prediction of promoters for different organisms. Instead of focusing on the classification accuracy of the discrimination between promoter and non-promoter sequences, I predict the exact positions of the TSS inside the genomic sequences, testing every possible location. The developed methods significantly outperform the previous promoter prediction programs by considerably reducing the number of false positive predictions. Specifically, to reduce the false positive rate, the models are adaptively and iteratively trained by changing the distribution of samples in the training set based on the false positive errors made in the previous iteration. The new methods are used to gain insights into the design principles of the core promoters. Using model analysis, I have identified the most important core promoter elements and their effect on the promoter activity. I have developed a novel general approach to detect long range interactions in the input of a deep learning model, which was used to find related positions inside the promoter region. The final model was applied to the genomes of different species without a significant drop in the performance, demonstrating a high generality of the developed method.
<> saudi vision 2030 (3) <> scientific enterprise (3)

Reproducibility in Computer Science - Part 1

-

B9 L3 R3223

Roy Maxion will give three lectures focusing broadly on different aspects of an increasingly important topic: reproducibility. Reproducibility tests the reliability of an experimental result and is one of the foundations of the entire scientific enterprise. We often hear that certain foods are good for you, and a few years later we learn that they're not. A series of results in cancer research was examined to see if they were reproducible. A startling number of them - 47 out of 53 - were not. Matters of reproducibility are now cropping up in computer science, and given the importance of computing in the world, it's essential that our own results are reproducible -- perhaps especially the ones based on complex models or data sets, and artificial intelligence or machine learning. This lecture series will expose attendees to several issues in ensuring reproducibility, with the goal of teaching students (and others) some of the crucial aspects of making their own science reproducible. Hint: it goes much farther than merely making your data available to the public.

Reproducibility in Computer Science - Part 2

-

B9 L3 R3223

Roy Maxion will give three lectures focusing broadly on different aspects of an increasingly important topic: reproducibility. Reproducibility tests the reliability of an experimental result and is one of the foundations of the entire scientific enterprise. We often hear that certain foods are good for you, and a few years later we learn that they're not. A series of results in cancer research was examined to see if they were reproducible. A startling number of them - 47 out of 53 - were not. Matters of reproducibility are now cropping up in computer science, and given the importance of computing in the world, it's essential that our own results are reproducible -- perhaps especially the ones based on complex models or data sets, and artificial intelligence or machine learning. This lecture series will expose attendees to several issues in ensuring reproducibility, with the goal of teaching students (and others) some of the crucial aspects of making their own science reproducible. Hint: it goes much farther than merely making your data available to the public.

Reproducibility in Computer Science - Part 3

-

B9 L3 R3223

Roy Maxion will give three lectures focusing broadly on different aspects of an increasingly important topic: reproducibility. Reproducibility tests the reliability of an experimental result and is one of the foundations of the entire scientific enterprise. We often hear that certain foods are good for you, and a few years later we learn that they're not. A series of results in cancer research was examined to see if they were reproducible. A startling number of them - 47 out of 53 - were not. Matters of reproducibility are now cropping up in computer science, and given the importance of computing in the world, it's essential that our own results are reproducible -- perhaps especially the ones based on complex models or data sets, and artificial intelligence or machine learning. This lecture series will expose attendees to several issues in ensuring reproducibility, with the goal of teaching students (and others) some of the crucial aspects of making their own science reproducible. Hint: it goes much farther than merely making your data available to the public.
<> semantic analysis (3) <> simulation (3)

KAUST Ph.D. student Lukas Larisch wins the PACE 2017 Challenge

1 min read ·
Lukas Larisch, a KAUST Ph.D. student in Computer Science working under the supervision of Professor Gabriel Wittum, won the PACE 2017 Parameterized Algorithms and Computational Experiments Challenge. The award ceremony that took place in Vienna, Austria, at the beginning of September this year has been held during the ALGO Congress at the International Symposium on Parameterized and Exact Computation (IPEC 2017).

Lukas Larisch

Ph.D. Student, Computer Science
Lukas Larisch is a Phd candidate in Computer Science. He is studying under the supervision of Professor Gabriel Wittum. Lukas has a bachelor degree in Computer Science from the Goethe University of Frankfurt, Germany. Education Profile B.Sc. in Computer Science from the Goethe University of Frankfurt, Germany. Awards and Distinctions Winner of the PACE 2017 Challenge

Libo Huang

Ph.D. Student, Computer Science
Libo Huang is a Ph.D. candidate at Visual Computing Center (VCC) in King Abdullah University of Science and Technology (KAUST), studying under the supervision of Professor Dominik Michels in Computational Sciences Group (CSG). Education and Early Career Libo Huang obtained his bachelor degree in Geophysics from Peking University in China in 2015. After that, he joined KAUST and received his master degree in Earth Science and Engineering in 2016. Education Profile M. Sc., Earth Science and Engineering , King Abdullah University of Science and Technology (KAUST), Saudi Arabia, 2016 B. Sc
<> Video Understanding (3) <> virtual reality (3)

Thoughts on how to Effectively Explore Visual Representations in Mixed Reality

-

B9 L2 R2322 H1

In this talk I will report on various research projects that I carried out with my students to better understand the interaction landscape and will report on lessons we learned. I will focus mostly on AR-based setups with application examples from physical flow visualization, molecular visualization, visualization of particle collisions, biomolecular dynamics in cells, and oceanography. I will show interaction techniques that rely on purely gestural interaction, phones or tablets as input and control devices, and hybrid setups that combine traditional workstations with AR views. I will discuss navigation, data selection, and visualization system control as different interaction tasks. With this overview I aim to provide an understanding of typical challenges in immersive visualization environments and how to address some of these challenges.

Peter Rautek

Research Scientist, Computer Science
Peter Rautek is a Research Scientist in the High-Performance Visualization Group working with Professor Markus Hadwiger at King Abdullah University of Science and Technology (KAUST).

Alexandre A. Kouyoumdjian

Research Scientist, Computer Science
Dr. Alexandre A. Kouyoumdjian has joined the Nanovisualization Research Group as a Research Scientist working with Professor Ivan Viola. His main research interests are Visualization & Computer Graphics, Human-Computer Interaction & Virtual Reality, and Microarchitecture. Dr. Alexandre A. Kouyoumdjian has also worked in the industry as an R&D Consultant for a start-up that develops VR applications meant to ease chronic pain and a graphics programmer for a game studio. Education Profile Ph.D., Computer Science, Université Paris-Saclay,FRANCE, 2018 M.S., Computer Science (Bioinformatics and
<> wireless communication (3) <> Wireless Communications (3) <> 3D Shape Creation (2)

Mohamed Ibrahim

Postdoctoral Research Fellow, Computer Science
Mohamed Ibrahim is a Postdoctoral Research Fellow in High-Performance Visualization Group (VCCVIS) working with Prof. Markus Hadwiger at King Abdullah University of Science and Technology (KAUST). Education and Early Career He earned his Bachelor’s degree in Computer Engineering from the American University in Cairo (AUC) in 2010. Later on, he obtained a Master’s degree in Computer Science from KAUST in 2012. He graduated from KAUST with a Ph.D. in Computer Science in 2019. Research Interest Mohamed Ibrahim's research is concerned with Large-Scale data visualization. He's especially interested

Ibraheem Alhashim

Ibraheem Alhashim is a Remote Researcher working with Professor Peter Wonka. Education and Early Career Ibraheem Alhashim completed his B.Sc. with honors in Computer Science at the Portland State University in 2008, followed by his M.Sc. in Computer Science in 2011 under the supervision of Prof. Hao Zhang and his Ph.D. in Computer Science in 2016 under the supervision of Prof. Hao Zhang and Prof. Ghassan Hamarneh at Simon Fraser University in Canada. During both his Master and Ph.D., Alhashim was working at the GrUVi Lab at Simon Fraser University in Canada. Dr. Alhashim joined KAUST in 2017
<> 6G (2) <> Acoustics (2) <> Advanced Perception (2) <> Affective Captioning (2) <> AI4Science (2) <> algorithmics (2) <> applied statistics (2) <> augmented reality (2) <> Automous Vehicles (2) <> big data analytics (2) <> bio-ontology (2) <> biomedical devices (2) <> Biomedical Signal Processing (2) <> biotechnology (2) <> C++ (2)

Security analysis of Docker-based containerized environments

Operating System (OS) virtualization, also known as container-based virtualization, has gained momentum over the past few years thanks to its lightweight nature and support for agility. However, its compelling features come at the price of a reduced isolation level compared to the traditional host-based virtualization techniques, exposing workloads to various faults, such as container escape. Those faults might be manifested as host OS bugs, container runtime vulnerabilities, and/or poor container deployment choices and profile configuration. The latter aspect is particularly critical as

Monitoring containerized environments for security state error detection

Operating System (OS) virtualization, also known as container-based virtualization, has gained momentum over the past few years thanks to its lightweight nature and support for agility. However, its compelling features come at the price of a reduced isolation level compared to the traditional host-based virtualization techniques, exposing workloads to various threats, such as container escape. In those threats, compromised or rogue containers might exploit existing vulnerabilities or poor container deployment choices to successfully inject security state errors (e.g., breaking out of the
<> ChatGPT (2) <> cheminformatics (2) <> cloud storage (2)

Keynote Speaker | The 8th BEAR PGR Conference & Users Forum 2018

-

The University of Birmingham in the United Kingdom

Abstract KAUST Assistant Professor Robert Hoehndorf will be a keynote speaker at the 8th BEAR PGR Conference & Users Forum​ at the University of Birmingham in the United Kingdom. This event focuses on, but not limited to, computational analysis and numerical modeling the conference will cater to researchers of all schools interested in BEAR facilities. Such as the use of the high-performance computing (HPC) system, BlueBEAR, cloud storage or data visualization.​

End-to-Same-End Encryption: Modularly Augmenting an App with an Efficient, Portable, and Blind Cloud Storage

-

B4 L5 R5220.

Cloud storage is pervasive nowadays; surprisingly, how to secure cloud storage that is usable in the real world is in fact still open. In this work, we propose a novel system called End-to-Same-End Encryption (E2SEE) that can be deployed directly on existing infrastructure and provide both security and usability. Our system can be flexibly used to augment any App with secure storage, for users to create a personal digital lockbox, and for the cloud to provide secure storage service. A preliminary version of E2SEE was deployed in Snapchat, serving hundreds of millions of users, and the research result was published at USENIX Security 22.
<> Combinatorial machine learning (2) <> combustion (2) <> communication (2) <> compilation techniques (2) <> computation techniques (2)

Computational Methods for ChIP-seq Data Analysis and Applications

-

B3 L5 5209

Abstract The development of Chromatin immunoprecipitation followed by sequencing (ChIP-seq) technology has enabled the construction of genome-wide maps of protein-DNA interaction. Such maps provide information about transcriptional regulation at the epigenetic level (histone modifications and histone variants) and at the level of transcription factor (TF) activity. This dissertation presents novel computational methods for ChIP-seq data analysis and applications. The work of this dissertation addresses four main challenges. First, I address the problem of detecting histone modifications from

Ontology Design Patterns for Combining Pathology and Anatomy: Application to Study Ageing and Longevity in Inbred Mouse Strains

-

B9 R3120

Abstract In biomedical research, ontologies are widely used to represent knowledge as well as annotate datasets. Many of the existing ontologies cover a single type of phenomena, such as a process, cell type, gene, pathological entity or anatomical structure. Consequently, it is required to use multiple ontologies to fully characterize the observations in the datasets. Although this allows precise annotation of different aspects of a given dataset, it limits our ability to use the ontologies in data analysis, as the ontologies are usually disconnected and their combination cannot be exploited
<> computational design (2) <> Computational Neuroscience (2) <> computational science and engineering (2) <> CVPR (2) <> data management (2) <> Deep Reinforcement Learning (2) <> dense linear algebra (2)