Engr. Gullelala Jadoon
Lecturer | Research Associate | Software Engineer
Innovating with purpose, educating with passion, leading with integrity.
- gullelalajadoon@gmail.com
- 0995 615395
About me
An Educator, Researcher, and Mentor Dedicated to Building the Future of Software Engineering
Who I Am – In a Few Words
With over 10 years of experience in academia and industry, I specialize in formal methods, model-driven engineering, and intelligent software systems. Currently serving as a Lecturer at the University of Haripur and a Research Associate at the Italian National Research Council (CNR), my passion lies in mentoring, research, and shaping the future of sustainable computing.
- 🥇 Gold Medalist in Software Engineering
- 🌍 Research Associate at CNR, Pisa – Italy
- 📚 Supervised 200+ Undergraduate Final Year Projects
Academic Profile
My academic path reflects a deep commitment to advancing software engineering through rigorous study, international collaboration, and research excellence.
Ph.D. in Smart Computing
University of Florence, Italy (2020 – 2025)
- Focus: Formal Methods, Model Transformation, Software Property Preservation
- Research Collaboration: National Research Council (CNR), Pisa
- Merit Scholarship recipient – ranked 12th globally
- Thesis in progress
MS in Computer Software Engineering
UET Peshawar, Pakistan (2016 – 2019)
- CGPA: 3.77 / 4.00
- Thesis: A Traceability Model for Requirements Management (CMMI Level 2)
- Session Topper, awarded distinction
BS in Computer Software Engineering
UET Peshawar, Pakistan (2010 – 2014)
- CGPA: 3.79 / 4.00
- Final Year Project: Campus Wi-Fi Device Locator using Air Magnet Enterprise
- Awarded Gold Medal
- Multiple merit-based scholarships
Professional Experience
2016-Present
University of Haripur, Pakistan
Lecturer
Teach core courses in SE, FM, and QA. Supervised over 200 final year projects. Served as Academic Advisor and Assistant Controller of Examinations
2021-Present
National Research Council (CNR), Pisa – Italy
Research Associate
Collaborative research in formal verification, model transformation, and intelligent systems. Published in top journals: IEEE, ACM, Elsevier
2015-2016
Ghulam Ishaq Khan Institute (GIKI), Pakistan
Computer Engineer
Conducted lab sessions and technical lectures. Supported undergraduate project development and academic research
2014-2015
GoSign.de (Germany-based firm, Islamabad Branch)
Software Developer & Researcher
Developed responsive front-end components using React.js, Bootstrap. Worked in Agile international teams, focused on user-centric design and quality
Research & Publications
My research spans software modeling, formal methods, AIoT systems, and sustainable computing. Through international collaboration and deep inquiry, I aim to solve real-world problems with rigorous, theory-backed solutions.
Dynamic Property Preservation in AIoT
IEEE Access, 2024
A machine learning approach to efficient model transformation in AI-driven systems.
Goal Modeling and Non-Functional Requirements
ACM SPLC 2024, New York
Proposed meta-models for handling non-functional goals in software product lines.
RDF Engine for Web Semantics
IJWET, 2024 – Inderscience
Addresses NFRs in RDF engine design with an intelligent architecture approach.
Teaching & Supervision
Teaching is at the heart of my academic mission. With a focus on mentorship, innovation, and applied learning, I guide students through complex software engineering concepts and help them build impactful real-world projects.
Courses Taught
- Formal Methods in Software Engineering (FMiSE)
- Software Requirement Engineering
- Software Design & Architecture
- Software Quality Assurance
- Introduction to Computing
- Advanced Software Engineering (PG level)
“Teaching is not about transferring information — it’s about inspiring transformation.”
Final Year Projects Supervised
Research Mentorship
Academic Advisor Role
I’d Love to Hear from You
Let’s Connect
For academic collaborations, research inquiries, or student guidance, feel free to reach out