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

• Data Science
• Network Science
• Social Media Analytics
• +۳ مورد دیگر

Rabeeh Ayaz Abbasi is a Professor at the Department of Computer Sciences , Quaid-i-Azam University, Islamabad. With a PhD in Computer Science from the University of Koblenz, Germany (2010), and an MS from FAST-NU, Pakistan (2004), he has over 20 years of academic and research experience. Education : PhD (Computer Science, University of Koblenz), MS (Computer Science, FAST-NU) Research Interests span Data Science , Network Science , Social Media Analytics , and Social Network Analysis . His work focuses on: Twitter data mining for societal challenges Network-based approaches to knowledge discovery Machine learning for social behavior modeling Event detection in social streams Bibliometric and scientometric analysis Scientific Awards include: Tenured Professor (2023, Quaid-i-Azam University) Best Teacher Award (2017, King Abdul Aziz University) HEC Approved PhD Supervisor (2012) PetaMedia European scholarship (2010) Grants and Projects involve leading 7 funded initiatives totaling over PKR 1,235,000, including: Large Scale Machine Learning for Real-Life Problems (2024-2025, Quaid-i-Azam University) Social Media Analytics Tool (2020, IGNITE) Stress Monitoring System (2020, IGNITE) Advising has mentored 87 students across: PhD (2 ongoing) MSc (21 graduated) MPhil (18 graduated) BS (5 graduated) Labs and Teams include: Supervising social media mining projects at Quaid-i-Azam University Collaborating with international teams (Germany, Saudi Arabia, Austria) Leading data science workshops (e.g., Python for Social Scientists 2023)

Osman Hasanمشاهده پروفایل

استاد

• Formal Methods
• Theorem Proving
• Hardware Verification
• +۷ مورد دیگر

Professor Dr. Osman Hasan is a faculty member at the School of Electrical Engineering & Computer Science (SEECS) , National University of Sciences & Technology (NUST) , Islamabad, where he currently serves as Pro-Rector (Academics). His research primarily lies in formal methods, hardware verification, reliability analysis, and embedded systems, with applications in smart grids, robotics, and cybersecurity. His research interests include: Formal Methods and Theorem Proving Hardware and Software Verification Reliability and Safety Analysis of Critical Systems Smart Grids and Power Systems Approximate Computing and Energy-Efficient Design Robotics and Biomedical Systems His recent publications show a strong trend toward formal verification of hardware and cyber-physical systems, integration of machine learning with formal methods, and applications in power systems and robotics. He frequently employs higher-order logic theorem proving (e.g., HOL, ACL2) and model checking to ensure correctness and reliability. He has been actively involved in numerous international conferences such as FMCAD, FSEN, CICM, and ICTAC, serving on program committees and organizing workshops. His leadership as Pro-Rector highlights his commitment to enhancing academic quality and research excellence at NUST. He has supervised numerous students who have co-authored papers with him, indicating an active research group. His work bridges theoretical formal methods with practical engineering applications, particularly in safety-critical domains.

Rabaab Zahraمشاهده پروفایل

استاد

• Antibiotic Resistance
• Epidemiology
• Neonatal Infections
• +۳ مورد دیگر

Dr. Rabaab Zahra serves as a Professor in the Department of Microbiology at Quaid-i-Azam University, Islamabad, Pakistan, actively contributing to antimicrobial resistance research with a focus on public health implications in South Asia. Her academic credentials include a B.Sc. in Medical Laboratory Technology, M.Sc. in Biotechnology, and Ph.D. in Cell & Molecular Biology, establishing her expertise in molecular mechanisms of infectious diseases. Dr. Zahra's research centers on antibiotic resistance epidemiology , investigating transmission dynamics between clinical and environmental reservoirs in Pakistan. She specializes in neonatal infection outcomes, hospital-community resistance transmission links, and environmental persistence of resistant pathogens, with particular emphasis on Enterobacteriaceae and Staphylococcus aureus mechanisms. Analysis of her 15 most recent publications reveals dominant themes in carbapenemase-producing organisms (NDM-1, OXA-181), molecular epidemiology of pathogens across human-animal-environment interfaces, and virological surveillance for diseases like Foot and Mouth and PPRV. Over 60% of her work addresses Pakistan-specific public health challenges in vulnerable neonatal populations. No scientific awards were documented in the provided materials. As Principal Investigator, she directs major funded projects including the Bill & Melinda Gates Foundation's BARNARDS initiative on neonatal resistance burden, HEC Pakistan grants on MRSA resistance mechanisms, and international collaborations with Cardiff University on environmental reservoirs and genomic epidemiology of carbapenem-resistant Enterobacteriaceae. 2011-2012: agr system/autophagy in MRSA resistance (HEC Pakistan) 2013-2016: S. aureus autophagy/resistance mechanisms (HEC Pakistan) 2015-2018: BARNARDS neonatal resistance project (Gates Foundation) 2015: Gram-negative neonatal infection genetics (UK-Cardiff) 2016-2018: BARNARDS Community Project (Gates Foundation) 2016-2017: E. coli environmental sequence typing (Commonwealth Fellowship) 2017-2020: CPE genomic comparison (Pak-France PERIDOT) She leads a multidisciplinary research team at QAU collaborating with the BARNARDS Network and European antimicrobial resistance initiatives (https://antimicrobialresistance.eu/team/), with laboratory facilities focused on molecular characterization of resistant pathogens and environmental sampling methodologies.