Aliyu Agboola Alege

+** ********, +234********** ad3z4z@r.postjobfree.com

https://www.linkedin.com/in/aliyu-alege-88171595/

SUMMARY

Aliyu is a passionate computer scientist and dedicated AI researcher with profound expertise in crafting cutting-edge AI models and algorithms while ensuring scalable systems. He possesses the remarkable ability to work both independently and as a collaborative team player. His inquisitive nature and a keen eye for detail allow him to discern subtle nuances that often elude others. Aliyu's extensive experience in the intersection of Artificial Intelligence and Software Verification equips him with a multifaceted perspective, enabling him to tackle complex research challenges with precision. He values the opportunity to collaborate with experts from diverse fields, all driven by a shared vision of creating a better future for humanity.

EDUCATION

MSc. Computing, National University of Singapore 2022 to 2023

• MSc. thesis on “Improving the Dependability of Autoproof”, helping axiomatic proof engines to identify contradictions in their proof files, and developing a new sanity check method for Autoproof.

• Worked with Professor Chin Wei Ngan and Professor Bertrand Meyer on this research, making important discoveries and improving the Eiffel-AutoProof system. M.Sc. Computer Science and Software Engineering, Constructor University, Switzerland Campus 2020 to 2022

• MSc. thesis on “Improving the Dependability of Autoproof”, helping axiomatic proof engines to identify contradictions in their proof files, and developing a new sanity check method for Autoproof.

• I was selected among 4 other top students in my cohort to get a second master's degree at NUS. During this period, I conducted research with Professor Bertrand Meyer, which I continued at NUS.

B.Sc. Chemical Engineering, Kazan National Research Technological University 2013 to 2017

• Honors (Distinction). CAP: 4.94/5.0

• Completed an undergraduate research module investigating the synthesis of thin polyethylene films from composites.

PROFESSIONAL EXPERIENCE

Chief Technology Officer, Smofas June 2023 to present

• I build and maintain all products of smofas, which include a website, 2 mobile apps, and an Artificial Intelligence API.

AI Research Intern, Acronis June 2022 to Oct 2023

• Continued work with Professor Andrey Ustyuzhanin to explore the modeling of three body systems in Physics. The goal was to build an AI for drug discovery. AI Research Intern, Acronis-SIT Autonomous July 2021 to June 2022

• Worked with Professor Andrey Ustyuzhanin to explore Symbolic Regression, a budding research area in Artificial Intelligence research. Lead AI and RPA Developer, IT-Wize Technology Sep 2018 to Aug 2020

• Developed RPA (Robotic Process Automation) robots, using different RPA platforms such as Blue Prism and UiPath. I also developed AI solutions for different clients, especially building training and deploying machine learning models, as well as writing Python scripts for clients’ automation needs. Our clients included all the top financial institutions (banks and insurance companies) in Nigeria, including the Central Bank of Nigeria.

Data Analyst, Kwara State FADAMA Dec 2017 to Aug 2018

• analysis of chemical data of various soil samples obtained from Nigerian rural areas. TEACHING AND MENTORING EXPERIENCE

Mentor, mentorcruise.com 2020 to present

• Mentored people in AI, Software Engineering, and Computer Science. One of my mentees from the USA secured a research role at Apple Inc. TECHNICAL SKILLS AND LANGUAGES

Technical Skills

• Expert in Python, Eiffel, C/C++, Scala, and JavaScript.

• Good with other programming languages, like PHP, and Haskel. I can learn any new language quickly.

• Expert in using ML frameworks like PyTorch, and TensorFlow; and web frameworks like Flask, FastAPI, Django, Laravel, etc.

• Expert with web scrapping, database programming (SQL, NoSQL), and many other technical skills.

• Critical thinker, which makes me able to come up with new algorithms and system architectures.

Languages

• Professional proficiency in English, Russian, and Yoruba.

• Intermediate proficiency in Arabic.

• Basic proficiency in French and German.

PUBLICATIONS

1. Aliyu Alege, Improving the dependability of AutoProof, 2023, Master thesis 2. Lessons from Formerly Verified Deployed Software Systems by Li Huang, Sophie Ebersold, Alexander Kogtenkov, Yinling Liu, and Bertrand Meyer, 2023, not an author but acknowledged in the publication, as I was a major part of the work. LICENCES AND CERTIFICATIONS

● Machine Learning in High Energy Physics from the Higher School of Economics, Yandex, School of Data Analysis, EPFL, and Constructor.

● Regularization Methods for Machine Learning from Universita di Genova and Machine Learning Genoa Center.

● Deep Learning from Universita di Genova and Machine Learning Genoa Center.

● AWS Machine Learning from Udacity.

● Google Project Management Professional Certificate.

● Project Execution: Running Project.

● Foundation of Project Management,

● Capstone: Applying Project Management in the Real World.

● Agile Project Management.

● Blockchain Basics.

● Blockchain Platforms.

● Blockchain Specialization.

● Decentralized Applications (Dapps).

● Smart Contracts.

● Introduction to Quantum Computing (IBM and the Coding School Certification).

● BluePrism Developer Certification.

AWARDS AND SCHOLARSHIPS

● Constructor University Double Degree Scholarship 2022 to present

● Constructor University Scholarship 2020 to 2022

● Federal Government of Nigeria Scholarship 2012 to 2017

● KNRTU’s Best Final Year Project, Chemical Technology Category 2017

● Award of Excellence from the Mayor of Kazan 2017

● Award of Excellence from the Rector of KNRTU 2016

● Laureate of ‘the International Student of the Year Award 2013, 2015

● First Place in KNRTU’s Physical Chemistry Olympiad 2014

● Second Place in KNRTU’s Physical Chemistry Olympiad 2015

● Gold medal with ‘Team Africa’ in the Students' football tournament 2013, 2014, 2015

● Kazan State Science Center Award for Young Talents in collaboration with Innovative techno-park ‘Idea’. Computer Engineering Drawing Category; Physical Chemistry Category. 2014

REFEREES

1. Professor Bertrand Meyer, ad3z4z@r.postjobfree.com

2. Professor Chin Wei Ngan, ad3z4z@r.postjobfree.com 3. Architect Ahmed Saefullahi Alege, ad3z4z@r.postjobfree.com, +234********** 4. Sanni Amir (Lead Software Engineer), ad3z4z@r.postjobfree.com, +234********** ADDITIONAL INFORMATION

Aliyu believes in active learning and improvement. He works hard and tries his best to produce work of the highest quality.

Contact this candidate