Otras habilidades populares
Trabajos destacados
Explora nuestra lista actual de principales proyectos destacados.
Encontrar concursos
Descubre tu talento y encuentra concursos de freelancer en los cuales participar.
Otros trabajos populares
Encuentra trabajos en diferentes idiomas
Empresarial
Potencia tu ventaja competitiva con Freelancer Enterprise.
Servicios de campo
Ofrece tu experiencia en cualquier lugar del mundo a gran escala y bajo demanda.
IA para negocios
Deja que los expertos en lo último en tecnología transformen tu negocio.
Productos de Freelancer
Innovation Challenges
Turn challenges into breakthroughs with the largest innovation hub.
API de Freelancer
Utiliza la API de Freelancer para acceder a una fuerza laboral en la nube de freelancers expertos.
Trabajos locales
Recibe ayuda en cualquier lugar del mundo.
Servicios de freelancers
Cómo funciona
Obtén ideas
Recursos
Ahora estás siguiendo a
Error al seguir a usuario.
Este usuario no permite que los usuarios lo sigan.
Ya estás siguiendo a este usuario.
Tu plan de membresía solo permite 0 seguimientos. Mejora tu membresía aquí.
Dejaste de seguir correctamente a
Error al dejar de seguir al usuario.
Has recomendado exitosamente a
Error al recomendar al usuario.
Algo salió mal. Por favor, actualiza la página e intenta de nuevo.
Email verificado correctamente.
Muhammad Rizwan A.
@razihvl
5,0
1
1,6
1,6
100%
IBM-Certified Full Stack Developer, PhD Scholar
$10 USD / hora
・
Norway (12:23 p. m.)
・
Se unió el diciembre 10, 2019
$10 USD / hora
・
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.
Cambios guardados
Efficient work on time delivery
Iemal K.
@abdullahkhan5911
•
Islamabad, Pakistan
•
Compartir
Experiencia
Research Fellow
oct, 2019 - Presente
•
5 años, 3 meses
Høgskolen i Bergen
oct, 2019 - Presente
•
5 años, 3 meses
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.
oct, 2019 - Presente
•
5 años, 3 meses
Lecturer
sept, 2014 - oct, 2019
•
5 años, 1 mes
University of Central Punjab, Pakistan
sept, 2014 - oct, 2019
•
5 años, 1 mes
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.
sept, 2014 - oct, 2019
•
5 años, 1 mes
Educación
Høgskolen i Bergen
2019 - 2024
•
5 años
PhD
Norway
2019 - 2024
•
5 años
COMSATS Institute of Information Technology
2015 - 2017
•
2 años
MS Computer Science
Pakistan
2015 - 2017
•
2 años
University of the Punjab, Lahore
2010 - 2014
•
4 años
BS Computer Science
Pakistan
2010 - 2014
•
4 años
Calificaciones
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
Publicaciones
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.
Verificaciones
A tiempo
100 %
Dentro del presupuesto
100 %
Aceptar tarifa
100 %
¡Invitación enviada correctamente!
¡Gracias! Te hemos enviado un enlace para reclamar tu crédito gratuito.
Algo salió mal al enviar tu correo electrónico. Por favor, intenta de nuevo.
Freelancer
Información
Términos
Socios
Apps
Falló el copiado al portapapeles. Intenta de nuevo después de ajustar tus permisos.
Copiado al portapapeles.
Cargando visualización previa
Permiso concedido para Geolocalización.
Tu sesión de acceso ha expirado y has sido desconectado. Por favor, inica sesión nuevamente.