Bachelor of Science in Software Engineering (BSSE)
Bachelor in computer science (BSCS)
Bachelor of Science in Information Technology (BSIT)
Master in Computer Sciences (MCS)
Master in Information technology (MIT)
Procedure of Admission
Why Join Lahore Leads?
Funding and Awards
Workshops & Seminars
Our artificial intelligence research addresses the central challenges of machine cognition, both from a theoretical perspective and from an empirical,
Generic Programs, Partial Evaluation, Design Representation, Inference, Programming Interfaces.
Simplification; Induction; Concept-formation; Lemma discovery; User interfaces; Hardware and software modeling and verification.
Object and activity recognition; Content-based retrieval; Learning and vision; Robot vision; biologically inspired vision.
Database search and mining; Large-scale data analysis; Social network analysis; Network estimation.
Supervised learning; Reinforcement learning; Transfer learning; Active learning; Online learning; Statistical relational learning; Optimization; Graphical
models; Nonparametric models; Probabilistic inference.
Our systems research focuses on building large prototype software systems that convincingly demonstrate novel design principles and implementation
techniques using realistic workloads.
Concurrency control. Storage systems. Virtualization. Transactions.
Mandatory access control. Information flow. Secure cloud computing.
Resource scheduling, wireless control, virtualization, resource security, timing specification and semantics
Replicated state machines. Fault tolerance. Gossip algorithms. Game theory. Failure detectors.
Network architecture and algorithms. Network measurement, management, and security. Network protocol design. Network applications and services. Social and
Wireless mesh, vehicular, sensor, cognitive, and mobile social networks. Wireless network design, measurement, analysis, optimization, and management.
Our research focuses on the theoretical foundations of computer science and related applications. Our methods frequently rely on rigorous mathematical
Graph algorithms, parallel and distributed algorithms, cache-efficient algorithms, algorithmic game theory.
Circuit lower bounds, communication complexity, hardness of approximation.
Randomized algorithms, pseudorandomness, expander graphs, error-correcting codes.
Learning theory, Cryptography, Computational Biology.
The research is directed towards improvement of processes, methods and techniques by reusing artifacts from existing legacy applications. We focus research
both in forward and reverse engineering domains. The field of reverse engineering has gone through a number of revolutions in last decade, but it still
faces key challenges.
Other Topics of Interest: