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.
National Identity Management Commission (NIMC) has launched the NIMC Pre-Enrolment Portal to revolutionise the National Identification Number (NIN) enrolment process, enabling applicants within Nigeria and in the Diaspora to capture biodata online prior to biometric verification at enrolment centres.
NIMC
Accessible via penrol.nimc.gov.ng, the platform allows users to fill enrolment forms, schedule appointments, upload supporting documents securely, and manage personal details directly, thereby slashing congestion, minimising wait times, boosting data accuracy and enhancing overall service efficiency at centres nationwide.
NIMC Director-General and CEO, Engr. (Dr) Abisoye Coker-Odusote, spearheaded the initiative as part of the Commission’s technology-driven strategy to fortify institutional performance, aligning with President Bola Ahmed Tinubu’s Renewed Hope Agenda that emphasises digital transformation, efficient public service delivery and inclusive national development.
Dr Kayode Adegoke, Head of Corporate Communications, highlighted key benefits including simplified biodata handling, confidential data protection through robust security measures, reduced physical centre visits and heightened operational effectiveness, urging all prospective enrollees to adopt the portal for a faster, citizen-friendly experience.[conversation_history]
The move underscores NIMC’s mandate under the NIMC Act No. 23 of 2007 to manage the National Identity Database, issue NINs and foster a reliable digital identity ecosystem vital for national planning, with users advised to complete pre-enrolment online before heading to selected centres for biometrics.
MultiChoice Talent Factory (MTF), a Pan-African film and television training institution, has announced the opening of applications for its 2026 intake.
MultiChoice
The fully funded programme is open to African graduates aspiring to become directors, filmmakers, scriptwriters, producers and storytellers.
According to MultiChoice, the nine-month accredited curriculum combines online learning with intensive in-person training, and is designed to balance theoretical knowledge with practical immersion.
MTF academies are located in Kenya, Nigeria and Zambia, and serve aspiring filmmakers from 14 African countries. Since its inception in 2018, the initiative has trained 296 filmmakers, with graduates producing more than 42 movies aired on DStv, GOtv and Showmax platforms.
Organisers said alumni of the programme have gone on to establish over 50 production companies, while many continue to work within the MultiChoice ecosystem.
Graduates have also won accolades at the Africa Magic Viewers’ Choice Awards, Kalasha Awards, Uganda Film Festival and Women in Film Awards.
Applications for the 2026 intake close on Feb. 27, 2026. Interested candidates can visit https://apo-opa.co/3XW53oE for programme requirements.
Broadcasting
Davido, Babajide Sanwo-Olu, Karl Toriola, Others To Be Honoured At The Most Influential People of African Descent Awards In Lagos
Most Influential People of African Descent (MIPAD) is excited to announce the Lagos Diaspora Experience 2025, a week-long celebration of African art, culture, innovation, and connection, culminating in the End of the Year Awards & Celebration on Sunday, December 21st, 2025, in Lagos, Nigeria.
The Most Influential People of African Descent Awards
This historic occasion marks the first time the world-famous Most Influential 100 Recognition & Awards Ceremony—traditionally held in New York on the sidelines of the United Nations General Assembly (UNGA)—will be hosted in Lagos, Nigeria.
The week will feature events such as Diaspora Day at the Fela Exhibition (Afrobeat Meets Diaspora), Cultural Heritage Day, and Business Leadership Luncheons, all culminating in the awards celebration.
The evening will honor the Best & Brightest of the Year, recognizing exceptional individuals and institutions whose work has advanced Global African Achievement and Black Excellence across business, government, media, culture, and technology.
Key Recognitions for 2025
– Governor of the Year & City of the Year: His Excellency Babajide Sanwo-Olu, Governor of Lagos State, honored alongside Lagos as City of the Year for its global leadership in culture, innovation, tourism, and diaspora engagement.
– Her Excellency Hannatu Musa Musawa, Minister of Art, Culture, Tourism and Creative Economy, will be honoured as Minister of the Year for her contribution to the creative economy’s role in nation branding and cultural diplomacy.
– Most Influential Woman of the Year: Olorì Atúwàtse III, Queen Consort of the Warri Kingdom
– Most Influential Man of the Year: Adewale Tinubu, Group Chief Executive, OANDO
– CEO of the Year: Karl Toriola, Chief Executive Officer of MTN Nigeria; who will deliver a keynote address, recognized for his transformative leadership and impact on Nigeria’s telecommunications and digital economy.
Others include; Karl Toriola of MTN as CEO of the year, Uche Pedro of Bella Naija as Lifestyle Personality Of The Year, Ojy Okpe of Artise News as Most Influential News Anchor Of The Year, Stephanie Busari as Media Executive of the Year, Kayode Okikiolu as Pressman of the year, Davido as Artist of the year and several others.
In celebrating this year’s honorees, Michael Ehindero, Managing Director, Pernod Ricard Nigeria, owners of Martell Cognac, who emerged as Brand Of The Year expressed deep appreciation for the brand’s continued global recognition, saying: “It’s a great reward for the team who’s delivered Martell excellently in Nigeria over the years.
“We say thank you to the teams, we say thank you to our consumers and we say thank you to MIPAD.
“Martell has a lot of promising experiences in the years to come in Nigeria and with this we invite you over to Nigeria to experience Detty December”.
The ceremony will also celebrate the achievements of the Class of 2025 Honorees, alongside past Nigerian honorees who were unable to attend their year of recognition in New York.
“For the first time, we’re bringing our world-famous recognition platform home to celebrate excellence within the Global Africa Family — right here in Lagos,” said Kamil Olufowobi, Founder & Chairman of MIPAD. “This is more than an event; it’s a movement uniting the best of us — connecting, collaborating, and working together to change the world.”
Event Details
📍 Lagos, Nigeria
– Friday, Dec 19 – #DettyDec Diaspora Day at Fela Exhibition FREE
– Sunday, Dec 21 – End of Year Recognition & Award Ceremony STRICTLY BY INVITATION
🎟️ RSVP: https://rsvp.oakenevents.com/mipad
Access Holdings Shareholders Approved to Raise N40bn Capital Through Private Placement
Jumia Kicks Off December Holiday Sale, Bringing Festive Deals to Shoppers Nationwide
Dangote, Monopoly Power, and Political Economy of Failure
OAU, Baptist Day School Oluponna honour Akano with Distinguished Alumnus Awards
NIMC rolls out Pre-Enrolment Portal for seamless NIN registration
Nigeria Records Highest Weekly Cyberattacks in Africa — Report
Cyber Tsunami Hits Nigeria as Breaches Surge 1,047%, esentry Q3 Report Reveals
Jumia’s Data Shows Nigerians Turning to Digital Retail to Navigate Inflation Pressures
How Insecurity is Bleeding Nigeria about $15bn Annually and Destroying Its Economic Future
GenAI Adoption Among African workers Outpace Global Peers
General News2 days agoFirstCap Acts as Joint Issuing House on Veritasi Homes & Properties Plc’s ₦30 Billion Bond Programme
News2 days agoPalmPay Launches N400 Million World Travel Carnival, Rewarding Users with Free Global Trips
Telecom2 days agoQualcomm Completes Third Edition of Make in Africa Startup Mentorship Program
E-Business2 days agoNigeria Takes the Lead in the Global WSIS+20 Digital Agenda
Telecom2 days agoMastercard Expands Africa Acceptance Network by 45% in 2025, Driving Digital Economy Growth
Telecom2 days agoFynd Expands Global Footprint, Adds Africa With Surtee Group Partnership
Telecom2 days agoAI Meets Governance: Anambra Rolls Out SmartGov for Seamless Citizen Interaction
E-Business1 day agoNigeria Police Arrest Okitipi, Nigerian Allegedly Linked to Microsoft 365 Hack