جست‌وجوی استاد و پژوهشگر

• 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.