Broadcasting
Formal Methods and Program Verification

In software engineering, a seemingly insignificant mistake in the code can cause substantial problems. Regular testing helps find some errors, but it can’t guarantee the absence of errors at all. For critical systems such as those used in aviation, financial institutions, or healthcare devices, that’s too risky. So, there’s a new approach in software engineering: using math to prove the accuracy of software, guaranteeing its proper functioning, under all circumstances.

This job needs someone who can write code proficiently but also create code provable mathematically. Hameed Abdulrahaman, a senior software engineer, is great at this. He doesn’t just build software; he ensures the most important parts of his products are reliable and error-free.
He understands that for some systems, flawless operation is not just a desirable feature, it’s imperative.
Hameed believes that software can be just as reliable as all other products that engineers build. He and his teams apply mathematical methods to verify if software is accurate and reliable. They commence by defining the system requirements like ensuring a security system never allows unauthorized access or a bank transaction is always accurate. Then, they use math to prove that the code does the intended operations. This is a firm guarantee that it is error-free in that critical component of the system.
A notable part of Hameed’s major tools is model checking. This entails creating a mathematical model of a software system and then using an algorithm to examine every possible situation the system may reach. With this approach, the program can detect all conditions that malfunction. For a complex system in which a bug may only appear in a rare situation, model checking can find the error quickly. This is an effective method to eliminate many errors that might prove hard to find with conventional testing.
For very tricky algorithms, Hameed’s teams use theorem proving. This means writing a proper, logical proof that a piece of code works correctly. Unlike model checking, which can only handle a limited number of cases, theorem proving can assess if an algorithm is correct for all inputs it is presented with. This is time-consuming, but it’s important for things like security codes or agreement systems where an error has the potential to create big security or data integrity issues. He ensures his company uses these methods when they make the most sense.
Finally, Hameed understands how to implement these methods in a large organization. He uses static analysis on a large scale. This involves computer programs that check the code without running it. These tools can find common mistakes, security weaknesses, and potential issues before they cause problems. Incorporating these tools into the software development lifecycle, he establishes a culture where quality is ensured continuously. This ensures that even small code alterations are checked, identifying problems early and keeping the codebase robust across the whole system.
Hameed Abdulrahaman’s work demonstrates a better way to do software engineering. He moves beyond merely implementing features and focuses on ensuring that processes are correct and reliable. His skill with formal methods enables him to build products that are not only fast and useful but also demonstrably credible. He is a visionary leader who proves that in today’s digital world, the best products are those developed with a firm commitment to impeccable execution.
Broadcasting
NFVCB Boss Urges Stronger Distribution Channels @ Coal City Film Festival 2026

Dr.Shaibu Husseini, the Executive Director/Chief Executive Officer of the National Film and Video Censors Board (NFVCB), has called for stronger distribution frameworks within Nigeria’s film industry to ensure that locally produced content achieves global visibility.

He urged film festivals across the country to evolve beyond networking platforms into active marketplaces where filmmakers could secure distribution deals. He stressed that festivals must attract distributors, exhibitors, streaming platforms, and marketers to create tangible opportunities for filmmakers.
Husseini made this call while delivering the keynote address at the opening ceremony of the 2026 edition of the Coal City Film Festival held in Enugu.
“Film festivals must become gateways to distribution where filmmakers leave not just with applause, but with real opportunities,” he said.
Husseini expressed personal delight at hosting the event in Enugu, his birth state, noting the city’s rich cultural heritage and longstanding contribution to Nigeria’s creative landscape.
He commended the festival organisers, particularly the Festival Director, Uche Agbo, for their resilience and commitment in sustaining the
initiative. According to him, the Coal City Film Festival has grown into a significant cultural platform and a must-attend cinematic event in South East Nigeria.
Speaking on the festival’s theme, “Local Stories, Global Screens,” Husseini emphasised the importance of authenticity in storytelling. He noted that films rooted in local realities, languages, and cultural truth often resonate more strongly with global audiences.
He cited notable Nigerian productions such as King of Boys by Kemi Adetiba, The Wedding Party by Mo Abudu, Anikulapo by Kunle Afolayan,
“Black Book” by Editi Effiong, and “Lionheart” by Genevieve Nnaji as examples of culturally grounded stories that have gained international recognition on platforms such as Netflix and at global film festivals.
While acknowledging the growth in film production across Nigeria, the NFVCB boss identified distribution as a major bottleneck in the industry. He observed that many high-quality films struggle to reach audiences both locally and internationally due to limited distribution channels.
Reaffirming the Board’s commitment to industry development, Husseini stated that the NFVCB has continued to reposition itself as a partner in progress by engaging stakeholders, improving classification processes, and promoting a balance between creative freedom and social responsibility.
However, he raised concerns over increasing non-compliance with regulatory requirements, noting that some filmmakers bypass the Board by releasing unclassified films or operating without proper licensing.
He said all films and video works must be submitted to the NFVCB for classification and registration before being released on any platform, including digital platforms such as YouTube.
“This is a legal obligation, and the Board will not hesitate to take decisive action against defaulters,” he warned, adding that regulation is essential for protecting the industry, audiences, and national values.
Looking ahead, Husseini assured stakeholders of the Board’s continued collaboration with filmmakers and festival organisers to build a structured, sustainable, and globally competitive Nigerian film industry.
He concluded by commending the organisers of the Coal City Film Festival for their vision and contribution to Nigeria’s cultural economy, urging filmmakers to continue telling authentic stories that can resonate across global screens.
Broadcasting
NBC Boss Urges Content Ceators to Participate in DSO

Mr. Charles Ebuebu, director General of the National Broadcasting Commission (NBC), has called on Nigerian content creators to actively participate in the country’s Digital Switchover (DSO), describing the transition as a major opportunity for visibility, revenue growth, and industry collaboration.

Mr. Charles Ebuebu, DG, NBC
Speaking as Special Guest of Honour at the induction ceremony of the Electronic Media Content Owners Association of Nigeria (EMCOAN) in Lagos, Ebuebu stressed that the success of the DSO depends on engaging content to populate the nation’s new digital channels.
“Without content, the DSO’s success would be incomplete. We are urging content owners to collaborate with the Commission to ensure Nigeria’s digital future is rich, diverse, and sustainable,” he said.
The NBC boss highlighted that the upcoming FreeTV Direct-to-Home (DTH) platform, along with its mobile applications, would provide content creators with nationwide reach, advanced analytics, and brand partnership opportunities.
Nigeria’s DSO, which marks the shift from analogue to digital broadcasting, is being implemented by the NBC using the Nigcomsat satellite infrastructure. The programme aims to deliver over 100 nationwide channels and expand access to Nigerians in remote areas via hybrid decoders, addressing long-standing infrastructure and funding challenges. The project, which has experienced delays since 2012, now has strong government backing and is scheduled for launch in April 2026.
Ebuebu commended EMCOAN members for their contributions to strengthening Nigeria’s creative economy and encouraged them to leverage the opportunities offered by the DSO to promote local stories, culture, and creativity on both national and global stages.
During the ceremony, EMCOAN honoured its distinguished members, naming Wale Adenuga, MFR, as Grand Patron and Mr. Yinka Adebayo as Patron.
Prominent figures in the broadcasting content industry, including Wale Adenuga, Opa Williams, Agatha Amata, Jibe Ologeh, High Chief Emeka Ossai, Debbie Odetayo, Amina Mohammed, and Frank Elaboya, attended the event.
Representing the NBC at the event was Mr. Ralph Akpan, director of the Lagos Zone, while EMCOAN president, Mr. Adeniji Omirin, MD of ADNOM Media, urged members to fully engage in the digital switchover.
Broadcasting
Canal+ to Cut Jobs as Part Sweeping Restructuring

Canal+ is to cut jobs at MultiChoice as part of a sweeping restructuring plan aimed at stabilising the African pay-TV operator, following years of operational and financial pressure.

The move comes alongside a planned $115 million capital injection, underscoring the urgency of efforts to revive the business after the French media group took control.
The planned layoffs are expected to form a core element of a broader cost-cutting and efficiency drive, as Canal+ seeks to streamline MultiChoice’s operations and improve profitability.
The restructuring signals a shift toward leaner operations, with a focus on eliminating redundancies and optimising the company’s cost base.
MultiChoice has struggled in recent years with declining subscriber numbers across key African markets, weighed down by macroeconomic pressures, currency volatility, and changing consumer behaviour.
The rise of global streaming platforms has intensified competition, chipping away at the company’s traditional pay-TV dominance.
Canal+’s intervention marks a pivotal moment for MultiChoice, reflecting a more aggressive approach to repositioning the business.
By combining fresh capital with structural reforms, the new owners are aiming to both stabilise short-term performance and lay the groundwork for longer-term growth.
The $115 million injection is expected to provide immediate financial relief, supporting operations and potential strategic initiatives.
However, the accompanying job cuts highlight the depth of the challenges facing the company and the scale of transformation required to restore competitiveness.
E-Financial3 days agoCBN bars large‑ticket loan defaulters from banking services in tough new crackdown
General News3 days agoARN Rejects Medical Bill over Attempt to ‘Scrap’ Profession
Telecom3 days agoNIGCOMSAT Supports Startups Growth with the Launch of Accelerator 3.0
News3 days agoMeningitis Kills a Quarter Million People a Year -Study
Telecom3 days agoFG Unveils Digital Economy Research Fund Scheme
News3 days agoStakeholder says AI is Crucial to Nigerian Data Centres Amid Persistent Grid Collapse
E-Financial2 days agoNGX REGCO Fines 5 Firms N291m for Market Manipulation
News2 days agoDangote Refinery Debunks Speculations on IPO













