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.
MTN Group has begun rolling out MTN One TV, a new entertainment proposition designed to make digital video content more accessible, relevant, and flexible for customers across African markets.
Introduced in line with MTN’s Ambition 2030 strategy, MTN One TV brings together local storytelling, live channels, international programming, and market-specific viewing options tailored to how customers across the continent access and pay for digital entertainment.
The proposition is designed to give customers greater choice in how they watch content, with viewing models that may vary by market and can include free-to-view content, advertising-funded experiences, pay-as-you-watch access, and subscription offerings.
Depending on local availability, customers may also be able to pay through airtime, Mobile Money, and other locally supported payment methods, helping to reduce common barriers to streaming access.
Beyond enhancing customer experiences, MTN One TV creates new opportunities for African creators, broadcasters, advertisers, and ecosystem partners by helping connect content to wider audiences through MTN’s scale across connectivity, payments, and digital services.
By bringing together a broad mix of content experiences under a single proposition, MTN aims to support greater content discovery, broader audience reach, and sustainable growth across Africa’s digital entertainment ecosystem.
Anchored in MTN’s strategic platforms of Connectivity, Fintech, and Digital Infrastructure, MTN One TV forms part of the Group’s broader ambition to build digital experiences that create value for customers while enabling participation and growth across Africa’s digital economy.
“Entertainment is increasingly becoming an important gateway to digital participation,” said Selorm Adadevoh, MTN group chief commercial, strategy and transformation officer.
“Through MTN One TV, we are leveraging the scale of our connectivity, fintech, and digital capabilities to make relevant content more accessible while creating new opportunities for Africa’s creative and digital economies. This is aligned with our ambition to deliver digital solutions for Africa’s progress.”
MTN One TV is being introduced progressively across MTN markets through a phased rollout approach that reflects local market needs, existing services, and partnership opportunities.
Over time, MTN will bring together a combination of video capabilities, content partnerships, and customer experiences under the MTN One TV brand to create a more consistent and scalable entertainment proposition across its footprint.
Through MTN One TV, MTN continues to extend its role beyond connectivity by combining entertainment, payments, and digital services to deliver experiences tailored to the needs of African consumers.
The rollout supports MTN’s Ambition 2030 vision of leading digital solutions for Africa’s progress while expanding access to digital entertainment across the continent.
International Air Transport Association (IATA) has identified Nigeria as one of the most expensive countries in the world for airline operations, citing high taxes, charges and operational costs that continue to weigh heavily on local carriers.
IATA’s Regional Vice President for Africa and the Middle East, Kamil Al-Awadhi, disclosed this during the association’s Annual General Meeting held in Rio de Janeiro.
Al-Awadhi said that although Nigeria’s Minister of Aviation and Aerospace Development, Festus Keyamo, had been pursuing reforms aimed at improving the aviation sector, airlines operating in the country still faced enormous cost pressures.
According to him, the high-cost operating environment has continued to affect the profitability and competitiveness of Nigerian airlines, making it difficult for the industry to realise its full potential.
He noted that excessive taxes, regulatory charges and other operating expenses remained major obstacles to airline growth across the region, with Nigeria ranking among the most challenging markets from a cost perspective.
Al-Awadhi urged member states of the Economic Community of West African States to adopt a proposed 25 per cent reduction in aviation taxes and charges to ease the burden on airlines and passengers.
According to him, lowering taxes and charges would reduce airfares, stimulate passenger traffic and strengthen the competitiveness of carriers operating within West Africa.
He stressed that a more supportive policy environment was critical to unlocking the economic benefits of aviation, including increased trade, tourism and regional integration.
Industry stakeholders have consistently advocated lower taxes and regulatory fees, arguing that the current cost structure makes air travel less affordable and limits the growth of the sector.
IATA’s latest remarks add to calls for governments in West Africa to implement policies that will promote a more sustainable and competitive aviation industry across the region.
Broadcasting
NASENI Trains 50 Women in Kano on Renewable Energy Technologies Under She-Powers Initiative
The National Agency for Science and Engineering Infrastructure (NASENI), under the leadership of its Executive Vice Chairman/CEO, Khalil Suleiman Halilu, has trained 50 women in Kano State on inverter and battery technologies through its She-Powers Energy Initiative.
The three-day programme, held at the Technology Incubation Centre, Farm Centre, Kano which ended yesterday, was designed to equip participants with practical renewable energy skills, promote women-led enterprises, and enhance sustainable livelihoods.
The initiative forms part of NASENI’s broader commitment to empowering women, creating economic opportunities, and expanding participation in Nigeria’s growing clean energy sector. It also aligns with the Renewed Hope Agenda of President Bola Ahmed Tinubu by supporting job creation, entrepreneurship, and inclusive economic development.
Through targeted interventions such as the She-Powers Energy Initiative, NASENI continues to demonstrate its commitment to leveraging technology and innovation to improve lives and drive sustainable development across the country.
Photos: Participants at the She-Powers Energy Initiative training organised by the National Agency for Science and Engineering Infrastructure (NASENI) held at the the Technology Incubation Centre, Farm Centre, Kano yesterday.
Galaxy Backbone @ 20, Pledges Nationwide Connectivity, Data Sovereignty
KidsCook Showdown 2.0 Set to Empower Public School Pupils with Culinary, Life Skills
CBN Orders Banks, Fintechs to Host Payment Data Locally
PalmPay Joins Industry Leaders @ Digital Pay Expo 2026
UK Bans TikTok, Instagram, Facebook for Under-16s in Landmark Crackdown
CBN Extends PoS Geo-Fencing Enforcement Deadline to August 2026
NCC Drafts New Rules for Virtual Mobile Operators
TD Africa, HPE Drive Conversations on the Future of Intelligent Networking
London Strengthens Global Investment Ties with Africa @ First Ever London-Africa Business Summit
Easybuy Partners WAWUAfrica to Upskill 10 Million Youths and Women, Boosting Nigeria’s Economic and Financial Inclusion
E-Business1 day agoAI-Powered Cyber Threats Put Nigerian Banks on Alert
E-Business2 days agoCSOs Raise Alarm over Nigeria’s Data Protection Crisis
General News2 days ago₦5m up for Grabs as 10 Startups Clash at the Gathering on 100 Pitchathon Aba
E-Financial2 days agoCBN to Expand eNaira for Salaries, Pensions and Welfare Payments
General News2 days agoCBN Moves to Stop Banks From Using Customers’ Money for Fintech Subsidiaries
E-Financial2 days agoCBN to Bar HoldCos from Influencing Banks’ Lending Decisions
Telecom2 days agoNITDA Reveals Why AI Could Be Nigeria’s Biggest Wealth Creator, Not Oil
Telecom2 days agoNASENI Unveils Ambitious Plan to Produce 600 Million Diagnostic Kits Annually