ทักษะอื่นๆ ที่ยอดนิยม
งานเด่น
โปรเจกต์ในปัจจุบันที่น่าสนใจของเรา
ค้นหาการแข่งขัน
ปลดปล่อยความสามารถและค้นหาการแข่งขันฟรีแลนซ์เพื่อเข้าร่วม
งานยอดนิยมอื่น ๆ
องค์กรธุรกิจ
เพิ่มความได้เปรียบทางการแข่งขันของคุณด้วย Freelancer Enterprise
บริการภาคสนาม
ความเชี่ยวชาญ0kdทุกที่ในโลกได้ตามที่ต้องการ
AI สำหรับธุรกิจ
ให้ผู้เชี่ยวชาญด้านเทคโนโลยี AI ที่ทันสมัยช่วยเปลี่ยนแปลงธุรกิจของคุณ
สินค้าของ Freelancer
Innovation Challenges
เปลี่ยนความท้าทายให้กลายความล้ำหน้าด้วยศูนย์กลางนวัตกรรมที่ใหญ่ที่สุด
Freelancer API
ใช้ Freelancer API เพื่อเข้าถึงเหล่าฟรีแลนซ์ผู้มีทักษะ
งานในพื้นที่
รับความช่วยเหลือได้ทุกที่ในโลก
บริการต่างๆ ของ Freelancer
มันทำงานอย่างไร
รับไอเดียใหม่ๆ
ทรัพยากร
คุณกำลังติดตาม
มีข้อผิดพลาดติดตามผู้ใช้
ผู้ใช้รายนี้ไม่อนุญาตให้ติดตามได้
คุณได้ติดตามผู้ใช้รายนี้อยู่ก่อนแล้ว
แพ็กเกจสมาชิกของคุณให้สิทธิคุณติดตามได้ไม่เกิน0 คน เท่านั้น อัปเกรดแพ็กเกจสมาชิกได้ที่นี่
เลิกติดตาม สำเร็จแล้ว
มีข้อผิดพลาดในการเลิกติดตามผู้ใช้
คุณได้แนะนำ
มีข้อผิดพลาดในการแนะนำผู้ใช้
มีบางอย่างผิดพลาด โปรดรีเฟรชหน้าแล้วลองอีกครั้ง
ยืนยันอีเมลเรียบร้อยแล้ว
Muhammad Rizwan A.
@razihvl
5.0
1
1.6
1.6
100%
IBM-Certified Full Stack Developer, PhD Scholar
$10 USD / ชั่วโมง
・
Norway (4:49 หลังเที่ยง)
・
เข้าร่วมเมื่อ ธันวาคม 10, 2019
$10 USD / ชั่วโมง
・
As an IBM-certified Full Stack Developer and academic with teaching and research experience, I specialize in bridging theoretical knowledge with practical expertise. With a forthcoming PhD, I bring a deep understanding of computer science principles to freelance projects, delivering innovative solutions that meet both academic rigour and industry standards.
บันทึกการเปลี่ยนแปลง
Efficient work on time delivery
Iemal K.
@abdullahkhan5911
•
Islamabad Pakistan
•
แชร์
ประสบการณ์
Research Fellow
ต.ค., 2019 - ปัจจุบัน
•
5 ปี, 3 เดือน
Høgskolen i Bergen
ต.ค., 2019 - ปัจจุบัน
•
5 ปี, 3 เดือน
At Høgskolen i Bergen, I am currently serving as a research fellow. During this tenure, I have made significant contributions, including the definition of Rpl, a Java-like formal modelling language for business workflows. Additionally, I have developed RplTool, a simulation and static analysis tool tailored for Rpl models. These endeavours showcase my commitment to advancing research and innovation within the field.
ต.ค., 2019 - ปัจจุบัน
•
5 ปี, 3 เดือน
Lecturer
ก.ย., 2014 - ต.ค., 2019
•
5 ปี, 1 เดือน
University of Central Punjab, Pakistan
ก.ย., 2014 - ต.ค., 2019
•
5 ปี, 1 เดือน
At UCP (2014-2019), as a Lecturer, I specialized in C++ and Java courses (ITC, PF, OOP, DSA, OOAD), supervised bachelor's projects, and engaged in administrative roles, enhancing academic and operational excellence.
ก.ย., 2014 - ต.ค., 2019
•
5 ปี, 1 เดือน
การศึกษา
Høgskolen i Bergen
2019 - 2024
•
5 ปี
PhD
Norway
2019 - 2024
•
5 ปี
COMSATS Institute of Information Technology
2015 - 2017
•
2 ปี
MS Computer Science
Pakistan
2015 - 2017
•
2 ปี
University of the Punjab, Lahore
2010 - 2014
•
4 ปี
BS Computer Science
Pakistan
2010 - 2014
•
4 ปี
คุณสมบัติ
IBM Full Stack Software Developer Professional Certificate
2023
IBM
I am also professionally certified by IBM, having successfully cleared the IBM Full Stack Software Developer Professional Certificate. This certification underscores my comprehensive skills and knowledge in full-stack development, further enhancing my technical expertise in this field.
2023
สิ่งตีพิมพ์
A Static Analyser for Resource Sensitive Workflow Models
Lecture Notes in Computer Science, vol 13931. Springer
Cross-organizational workflows are complex and prone to negative impacts from minor modifications. This paper introduces a tool, RplTool, that enables planners to model and simulate these workflows using a resource-sensitive formal language. Equipped with a static analyzer, the tool approximates worst-case execution time, aiding decision-making to prevent deadline violations.
Petri Net based modeling and analysis for improved resource utilization in cloud computing
2021, PeerJ Computer Science
Cloud computing provides vast resources but faces challenges like data replication costs. CAROM, a hybrid system, combines replication and erasure codes to lower latency and bandwidth use. This research formally analyses the CAROM model and provides the first formal performance analysis, enhancing cloud resource utilization.
Towards a Resource-Aware Formal Modelling Language for Workflow Planning
Communications in Computer and Information Science, vol 1481, 2021, Springer.
In healthcare, digitalizing workflows is crucial. Yet, manual planning persists due to domain-specific knowledge needs. This paper proposes automating workflow planning using a resource-sensitive modelling language, enabling efficient cross-organizational workflow management through static analyses.
การยืนยัน
ตรงเวลา
100%
ตามงบประมาณ
100%
อัตราการตอบรับ
100%
ส่งคำเชิญเรียบร้อยแล้ว
ขอบคุณ! เราได้ส่งลิงก์สำหรับเครดิตฟรีให้คุณทางอีเมลแล้ว
เกิดข้อผิดพลาดขณะส่งอีเมลของคุณ กรุณาลองอีกครั้ง
Freelancer
เกี่ยวกับ
ข้อกำหนด
หุ้นส่วน
แอป
ไม่สามารถคัดลอกไปยังคลิปบอร์ดได้ โปรดลองอีกครั้งหลังปรับเปลี่ยนการอนุญาต
คัดลอกไปยังคลิปบอร์ดแล้ว
กำลังโหลดตัวอย่าง
ได้รับอนุญาตสำหรับตำแหน่งทางภูมิศาสตร์
เซสชั่นการเข้าสู่ระบบของคุณหมดอายุและคุณได้ออกจากระบบแล้ว กรุณาเข้าสู่ระบบอีกครั้ง