System Analysis and Verification Lab, , focuses research on using formal methods, which are based on mathematical techniques and thus unlike simulation ensure complete results, for the analysis and verification of hardware, software, and embedded systems.
The Data Engineering for Large Scale Applications, , research group explores semantics, databases, and interoperable systems in scientific and business domains. The research group aims at broadening the focus of database and data management techniques beyond their traditional scope.
Smart Machines And Robotics Technology (SMART) Lab
is currently working on developing a training system for laparoscopic and robotic tele-surgery in collaboration with Holy Family Hospital, Pakistan. Other areas of research include simulator design, intelligent robots and vision based algorithms for mobile robots. Some projects include a speech controlled robotic arm, an autonomous robotic platform and a robotic soccer environment for LEGO Mindstorms.
Research laboratory for Communication, Networks & Multimedia (Connekt)
Research laboratory for Communication, Networks & Multimedia, , addresses research problems arising in three areas: Multimedia Communications, Wireless Networks and the Internet. Areas of particular interest include Networking, Applied Information Theory and Network Performance Analysis. Lab's current research interest spans the theory and design of novel algorithms and frameworks for reliable multimedia transmission, processing and ubiquitous communication over Internet and wireless networks.
International Collaborations
SEECS has developed partnerships with a number of international companies including Microsoft which has awarded NUST the status of Authorized Academic Training Program Institute, Intel and other educational organization such as ACM, IEEE and IAESTE. SEECS also has been awarded the status of "Associate Research Institute" of CERN, the European Organization for Nuclear Research in Geneva, Switzerland. Since 2000, NUST-SEECS has been working on collaborative on distributed computing problems relating to GRID problems.
Other Activities
In February 2014, SEECS signed a mutual agreement with Pak-Finland council to cooperate in the fields of healthcare, energy, IT and telecommunication. In March 2014, SEECS launched a greenhouse center with in order to promote entrepreneurship activities in the campus. It also plans to launch the first science and technology park of Pakistan with the aim to strengthen linkages among academia, researchers and the industrial sector.