29 Jun 2026Open access
Soil microbial community functioning as indicators of alpine soil health in the northern Maloti–Drakensberg, South AfricaPublisher siteKoedoe, Soil Carbon and Nitrogen Dynamics
Active, last published 2026
In formal methods in verification
Alec
Edwards
Scholar“Research focused on Formal Methods in Verification and adjacent fields.”
University of the Free State
South Africa3
H-index
99
Citations
Alec has not officially claimed their profile. If you are Alec, claim it free.
Claim Your Profile
Pioneer
LOCKED
Pathfinder
LOCKED
Scholar
EARNED
Innovator
LOCKED
Inventor
LOCKED
Catalyst
LOCKED
Expert
UPGRADE
01 · About the work
What I study
lec Edwards is a researcher working on Formal Methods in Verification. A fuller summary will appear once they update their profile.
02 · Reach
Publication output and reach
Alec's work has been cited 99 times across 1 active year. Bars show publications per year; the line shows cumulative citation totals across publications first appearing in each year.
03 · Research focus
Topics
Formal Methods in Verification×9Model Reduction and Neural Networks×7Adversarial Robustness in Machine Learning×6Neural Networks and Applications×5Real-time simulation and control systems×3
04 · Where I am
Affiliations
Affiliation on published researchUniversity of the Free State, South AfricaDrawn from the institution listed on this researcher’s published work.
05 · Selected work
Recent publications
1 workExpert Academic Profiles go further
Citation trend analytics, exportable publication records, and direct enquiry routing from industry and funders.
Are you Alec?
Claim it to verify your details, connect with industry partners, and explore Fractional Domain Expert opportunities through MARATTO™.
African researchers are full of potential that too often goes unrecognised. Your MARATTO™ profile gives your work the commercial pathway it deserves.
Claim Your Profile
Free to claim · takes a minute to verify it’s you