Ikhwan I. Profile

0,0

(0 ulasan)

Sekarang Anda mengikuti

Kesalahan mengikuti pengguna.

Pengguna ini tidak mengizinkan pengguna mengikuti dia.

Anda sudah mengikuti pengguna ini.

Paket keanggotaan Anda hanya boleh punya 0 follow. Tingkatkan di sini.

Berhasil berhenti mengikuti

Kesalahan mengikuti pengguna.

Anda telah berhasil merekomendasikan

Kesalahan merekomendasikan pengguna.

Ada sesuatu yang salah. Silakan muat ulang halaman dan coba lagi.

Email berhasil diverifikasi.

$15 USD / jam

surabaya,

indonesia

$15 USD / jam

Saat ini 1:06 AM di sini

Bergabung Mei 18, 2013

0 Rekomendasi

Ikhwan I.

@ikhwandevi

0,0

(0 ulasan)

0,0

$15 USD / jam

surabaya,

indonesia

$15 USD / jam

N/A

Pekerjaan Selesai

N/A

Sesuai Anggaran

N/A

Tepat Waktu

N/A

Tingkat Rekrut Ulang

Programmer

I am a graduate student in Electronic and Computer Engineering at National Taiwan University of Science and Technology (NTUST). My interest research fields are Model-Checking, Formal Verification, Symbolic Execution, Binary Analysis, Graph Mining, Network Analysis, Machine Learning and Computational Mathematics. Currently, I have been working as a part-time researcher in Industrial Technology Research Institute (Hsinchu, Taiwan). I was an alumnus of Institut Teknologi Sepuluh Nopember (Surabaya, Indonesia) in Department of Mathematics.

Lihat semua PHP Developers in Indonesia

Hubungi Ikhwan I. mengenai pekerjaan Anda

Portofolio

salah satu website berita di Taiwan berbahasa Indonesia, dibuat menggunakan CMS Wordpress dan beberapa tambahan plugin buatan sendiri untuk melakukan analisa terhadap kinerja penulis serta sistem penggajian freelance. Serta tak lupa saya menambahkan beberapa teknik SEO yang bertujuan untuk meningkatkan popularitas web nihao pada mesin pencari.

Tertarik mencoba silakan klik link berikut ini :
https://www.nihaoindo.com/

News Website

Program POS untuk restaurant dilengkapi dengan berbagai layanan seperti memilih meja, memilih semua driver printer, mengatur pajak, mengatur laporan, membedakan harga delivery go-jek, dan masih banyak lagi.
Hubungi : Ikhwan (+886) 986618314 or (+62) 85132618314

Tertarik mencoba ? silakan klik link berikut ini :
http://140.118.122.182/pos/

Restaurant POS (Point of Sales)

Aplikasi mini ERP untuk perusahaan printing rokok.

Tertarik mencoba ? silakan klik link berikut ini :
http://mj.indiglobal.co.id

Mini ERP Printing Company

News Website

Restaurant POS (Point of Sales)

Mini ERP Printing Company

Ulasan

Perubahan tersimpan

Tidak ada ulasan terlihat di sini!

Pengalaman

Industrial Technology Research Institute

Jul 2017 - Sekarang

Working on Laboratory of Information and Communication. Division for Data Center System. Research focus on Symbolic Execution and Binary Analysis

PT. Edulab Kreasi Indonesia

Agu 2016 - Jan 2017 (5 bulan, 1 hari)

Mathematics and Phisycs educator

PT. Dutacipta Konsultama

Jul 2015 - Sep 2015 (2 bulan, 1 hari)

web programming training lecturer assistant, develop application web based platform

Edukasi

M.Sc

National Taiwan University of Science and Technology,

Taiwan

2017 - 2018

(1 tahun)

S.Si

Institut Teknologi Sepuluh November,

Indonesia

2012 - 2016

(4 tahun)

Publikasi

Using k-means++ algorithm for researchers clustering

American Institute of Physics (AIP)

The Clustering of researchers based on publications is one of identifying community of researchers in a research environment. The researchers will know the relationships with other researchers regarding the similarity of topics and disciplines of publications based on the research community. The clustering will perform the extraction and analysis of the concept, topic detection and clustering of researchers.

Formal Verification of Automated Teller Machine Systems using SPIN

American Institute of Physics (AIP)

Formal verification is a technique for ensuring the correctness of systems. This work focuses on verifying a model of the Automated Teller Machine (ATM) system against some specifications. We construct the model as a state transition diagram that is suitable for verification. The specifications are expressed as Linear Temporal Logic (LTL) formulas. We use Simple Promela Interpreter (SPIN) model checker to check whether the model satisfies the formula.