Quantum Theory (which describes interactions at small scales) and General Relativity (which describes gravity at large scales) - the two pillars of modern physics - are very successful in describing phenomena in their respective domains. However in regions like the very early universe, or black holes, where both theories are expected...
Groups
-
-
Discovery of Higgs boson has two notable implications. First, the current Standard Model of particle physics is not a wrong choice for low energy phenomenology. Second, other scalar particles may also exist which are required for various beyond Standard Model interactions among quantum fields. It naturally necessitates thoro... -
Recent advances in nanoscience, two-dimensional materials, photonics and the applications as well as our understanding of the physics of carbon-based materials open exciting opportunities for multi-disciplinary applied (chemical/biological sensors, optical-sources, photovoltaics) and fundamental physical research. Of particular intere... -
Life is beautifully complex, encourges to study it and purify it. Numerical solution for life (NumLife) is a research group which is formed to build a team of numerical computationist of various fields to address the tremendous problem of immense importance. NumLife primarily bridges the area of Computational Fluid... -
The Cloud Computing Research Group (CCRG) focuses on topics in distributed and cloud computing. Current research involves Web services and Internet-of-Things based business process management on the cloud. This includes topics such as cloud based e-government architectures and processes, security and privacy concerns in distributed an... -
The Energy Informatics Group carries out interdisciplinary research in the area of renewable energy analytics, smart grids, and energy efficiency. The broader goal of EIG is to make Pakistan use 100% renewable sources for generating electricity by 2050. To this end, the group caries out research in short, medium and long term forecast... -
The program analysis group focuses on automated verification using program analysis techniques to build reliable and secure programs with an emphasis on parallel, distributed, and concurrent systems software. PAG is currently exploring program analysis techniques for analyzing MPI programs, database applications, and web applications... -
Data Mining involves extracting informative patterns from large scale data-sets. The rapid growth in this field is fuelled by increasing demand for automated data analysis and the rise in computation power. The Computer Science Department at SBASSE is currently undertaking research in the realm of parallel algorithms for data mining,... -
The area of networked systems explores how computing devices communicate and deals with the design of network architectures, protocols, and applications that enable such communication. The focus is on fundamental theoretical concepts in computer networks as well as its applications especially in the developing world. In particular, NS...