Buletin INFIBII
Juli 2008
BULETIN
INFIBII Redaksi
Vo l u m e 1 N o m o r 1 , J u l i 2 0 0 8
Thompson S.N., S.Kom., M.Sc. Viany U.T., S.Kom. M.M.,M.Com. Sigit Birowo, S.Kom., MCP Danel Gunardi, S.Kom., S.E. Christine Sanjaya, S.Kom. Eik Zulfikar Fahmi, S.T. M. Annas Haqiqi, S.T. Ferdy Firmansyah, S.T. Lay out & Grafis Hendri T.L., S.Sn Andry, S.Ds.
Pembaca yang budiman, tulisan yang sedang Anda baca ini adalah edisi perdana Buletin INFIBII. Buletin ini diterbitkan dengan tujuan sebagai media edukasi dan komunikasi program studi Sistem Informasi (SI) dan Teknik Informatika (TI) IBII, baik bagi mahasiswa maupun siswa SMA/SMU yang tertarik dengan bidang teknologi informasi dan komunikasi (TIK). Buletin ini direncanakan menyajikan sejumlah artikel ilmiah populer bidang TIK yang antara lain mencakup: sains komputer, pemrograman, sistem informasi, web dan Internet, teknologi komunikasi, dan komunitas TIK. Kiranya buku kecil ini memberi manfaat bagi pembaca.
Thompson Susabda Ngoen
Buletin INFIBII
Juli 2008
DAFTAR ISI
Volume 1 Nomor 1, Juli 2008
Menukar Isi Dua Variabel Thompson Susabda Ngoen
Berponsel Ria di Angkasa Ferdy Firmahsyah
Web Browsing Eik Zulfikar Fahmi
Photo Embed Code di Friendster Christine Sanjaya
A.M. Turing Award 2007 Thompson Susabda Ngoen
Profil Informatika IBII Tim Redaksi
Buletin INFIBII
3
5
7
12
14
16
Juli 2008
Sains Komputer |
3
MENUKAR ISI DUA VARIABEL Thompson Susabda Ngoen
Salah satu kegiatan pengolahan data adalah menukar isi dua variabel, misalnya pada sorting (proses pengurutan). Terdapat beberapa cara untuk menukar isi variabel: 1) dengan bantuan dua variabel perantara dan 2) dengan bantuan sebuah variabel perantara. Kedua cara ini kita contoh dari pengalaman hidup sehari-hari. Untuk menukar isi wadah A dan B, mula-mula kita mengeluarkan isi wadah A dan menaruhnya di tempat lain misalnya wadah C. Kemudian isi wadah B dipindahkan ke wadah A. Terakhir isi wadah C (yang semula berasal dari wadah A) dipindahkan ke wadah B. Gambar 1 mengilustrasikan tahap penukaran isi variabel a dan b, dengan bantuan variabel c dan d. c = a;
c = a;
d = b;
a = b;
a = d;
b = c;
b = c;
Gambar 1 Pertukaran Data Dengan Bantuan Dua dan Satu Variabel Perantara
Cara kedua lebih baik daripada cara pertama karena lebih sedikit menggunakan memori komputer dan instruksinya lebih sedikit meskipun tidak signifikan. Selain kedua cara di atas terdapat satu cara lain yang tidak memerlukan bantuan variabel perantara seperti ditunjukkan oleh Tabel 1. Kok bisa ya? Apa dasar berpikirnya? Apakah ide ini diambil dari pengalaman hidup sehari-hari? Tabel 1 Pertukaran Data Tanpa Bantuan Variabel Perantara Instruksi
Isi Variabel a
b
10
15
a = a + b;
25
15
b = a - b;
25
10
a = a - b;
15
10
Instruksi a = a + b menyatakan pendekatan yang digunakan adalah dengan penjumlahan. Seperti kita ketahui setiap tipe data mempunyai batas nilai minimum dan maksimum. Jika nilai yang dimasukkan ke dalam sebuah variabel lebih besar daripada daya tampung variabel tersebut (yang sesuai dengan tipe data variabel tersebut) maka akan menyebabkan overflow. Buletin INFIBII
Juli 2008
Sains Komputer |
4
Pada cara ketiga apabila variabel a dan b bernilai relatif besar maka ada kemungkinan terjadi overflow apabila dijumlahkan. Bilangan terbesar yang dapat ditampung variabel bertipe char pada bahasa C adalah 127. Hasil run program berikut masih benar meskipun terjadi overflow. Bagaimana menjelaskan kejanggalan ini? # include <stdio.h> int main () { char a = 50, b = 100;
1 2 3 4 5 6 7 8 9
a = a + b; // overflow b = a - b; a = a - b; printf(“%d %d\n”, a, b); return 0;
}
123456789012345
100 50
Untuk menjelaskan kejanggalan ini kita perlu memahami cara komputer merepresentasi bilangan. Komputer merepresentasi (menyimpan di memori) bilangan baik integer maupun char dengan format binary digit 2’s complement. Nilai absolut bilangan dikonversi menjadi digit biner. Jika bilangan bernilai negatif maka ubah semua bit 0 menjadi 1 dan sebaliknya, kemudian tambahkan nilai 1. Sebagai contoh 50 direpresentasi dengan 00110010 dan -50 direpresentasi dengan 11001110. Komputer menginterpretasi bit dengan cara yang sama. Bit yang paling kiri menandakan jenis bilangan, 0 berarti positif dan 1 berarti negatif. Jika bit terkiri bernilai 0 maka nilai bilangan adalah hasil konversi langsung. Jika bit terkiri bernilai 1 maka ubah semua bit 0 menjadi 1 dan sebaliknya, kemudian tambahkan nilai 1. Digit biner 11001110 akan diubah menjadi 00110001 lalu menjadi 00110010 yang artinya bernilai -50. Tabel 2 Representasi Bilangan Instruksi
Representasi Internal a
b
Isi Variabel a
b
00110010
01100100
50
100
a = a + b;
10010110
01100100
-106
100
10010110
00110010
-106
50
a = a - b;
01100100
00110010
100
50
b = a - b;
Instruksi a = a + b menyebabkan a bernilai 150, direpresentasikan dengan 10010110 yang juga diartikan sebagai -106. Instruksi b = a - b menyebabkan b bernilai -206,direpresentasi dengan 00110010 yang juga diartikan sebagai 50. Instruksi a = a - b menyebabkan a bernilai -156,direpresentasi dengan 01100100 yang juga diartikan sebagai 100. Apakah cara ketiga ini dapat diterapkan di dalam kehidupan nyata? Misalkan kita mempunyai dua kardus yang masing-masing di dalamnya terdapat sejumlah buku. Isi kedua kardus dapat saling ditukar jika total buku kedua kardus dapat muat di dalam satu kardus, dengan perkataan lain tidak menimbulkan overflow. Anda mempunyai dua gelas. Di dalam kedua gelas terdapat cairan sejenis. Total volume cairan kedua gelas dapat ditampung di dalam satu gelas. Dapatkan Anda menukar isi kedua gelas tersebut tanpa bantuan gelas lain sebagai perantara? Rasanya tidak dapat kecuali jika pada kedua gelas tersebut terdapat skala ukuran. Di manakah “skala ukuran” pada program komputer?
Buletin INFIBII
Juli 2008
Teknologi Komunikasi |
5
BERPONSEL RIA DI ANGKASA Ferdy Firmansyah
Pemakaian telepon seluler (ponsel) di dalam pesawat terbang dilarang baik ketika pesawat akan lepas landas, selama penerbangan, dan ketika pesawat melakukan pendaratan. Larangan ini diberlakukan karena sinyal yang dipancarkan ponsel dapat mengganggu sinyal yang digunakan untuk navigasi pesawat terbang. Kini penggunaan ponsel di dalam pesawat terbang yang melintasi angkasa negara-negara Uni Eropa mulai diijinkan dengan mengikuti ketentuan baru dari European Commission. Dengan ketentuan ini ponsel boleh dihidupkan setelah pesawat terbang mencapai ketinggian minimum 3 km. Keputusan ini diambil setelah dilakukan konsultasi selama enam bulan oleh pembuat regulasi di Eropa dan rencananya akan diluncurkan dalam waktu dekat. Viviane Reding, salah seorang anggota komisi EU telecoms, telah memperingatkan para operator ponsel agar memanfaatkan kesempatan ini untuk menyediakan jasa panggilan dengan biaya yang terjangkau. “Sekiranya pengguna fasilitas ini menerima tagihan ponsel yang mengejutkan maka layanan ini tidak mungkin dilanjutkan. Saya juga mensyaratkan maskapai penerbangan dan operator ponsel untuk menciptakan kondisi yang benar di dalam pesawat terbang agar penumpang yang menggunakan layanan ini tidak mengganggu penumpang lain”, katanya. European Commission telah memperkenalkan ketentuan baru untuk mengharmoniskan kebutuhan teknis agar keamanan pengunaan ponsel di dalam pesawat terbang terjamin. Komisi ini sedang mengupayakan agar lisensi yang diberikan kepada penyelenggara jasa ini diakui oleh dan berlaku di semua negara Uni Eropa. Keputusan untuk menawarkan layanan ini diberikan langsung kepada masing-masing maskapai penerbangan, bukan negara. Masih terdapat masalah regulasi untuk diatasi sebelum teknologi ini dapat diterima oleh semua negara Uni Eropa. European Aviation Safety Agency masih memerlukan bukti bahwa perangkat keras yang akan di-instal di dalam pesawat terbang menjamin tidak akan menimbulkan interferensi atau gangguan terhadap sistem penerbangan lainnya.
Gambar 2 Cara Kerja Sistem Komunikasi Ponsel di Dalam Pesawat Terbang
Buletin INFIBII
Juli 2008
6
Teknologi Komunikasi |
Cara Kerja Rencananya akan di-instal base station telepon seluler berukuran kecil, disebut pico cells, di dalam pesawat terbang. Alat ini akan diaktifkan setelah pesawat lepas landas. Base station ini membentuk sejumlah wilayah cakupun di dalam dan di sekitar pesawat terbang. Panggilan telepon melalui pico cell akan di-routing ke jaringan terestrial melalui hubungan satelit. Spektrum gelombang radio yang akan digunakan teknologi ini telah disediakan di negara Eropa. Layanan ini terhenti ketika pesawat terbang meninggalkan udara Eropa. Martin Selmayr juru bicara kantor Reding mengatakan bahwa pilot pesawat terbang dapat mematikan layanan ini bila diperlukan. Pada awalnya hanya jaringan telepon seluler generasi kedua yang ditawarkan layanan ini tetapi keinginan yang terus berkembang berarti generasi ketiga 3G akan segera menyusul. Penerbangan pertama yang menyediakan layanan ini akan segera tersedia. Air France dipercayai siap menerapkan teknologi ini ketika Ryanair diharapkan untuk mengajukan permohonan. Biaya untuk melakukan pembicaraan di dalam pesawat akan lebih mahal daripada panggilan dari darat. Di Inggris regulator Ofcom menyatakan bahwa mereka akan melakukan investigasi dan memberi informasi bila terjadi pelanggaran tarif percakapan dan persaingan tidak sehat oleh maskapai penerbangan dan jaringan komunikasi mobile. Reding mengatakan Uni Eropa tidak berencana menetapkan tarif panggilan ponsel dari pesawat terbang. Dukungan dari European Commission akan berimplikasi kepada pesawat yang terdaftar di satu negara dapat menawarkan layanan komunikasi mobile ketika terbang di udara negara uni Eropa lainnya tanpa harus mengajukan lisensi tambahan pada negara lain tersebut.
Buletin INFIBII
Juli 2008
Internet & Web |
7
WEB BROWSING Eik Zulfikar Fahmi
Istilah Internet sering kita dengar di dalam pergaulan sehari-hari. Internet sebenarnya adalah sebuah jaringan virtual yang terdiri atas komputer-komputer yang saling terhubung melalui kabel atau nirkabel (frekuensi radio) sehingga dapat saling berkomunikasi. Setiap komputer yang terhubung ke dalam Internet mempunyai identitas berupa nomor yang unik dan berkomunikasi dengan bahasa yang sama. Bahasa komunikasi Internet dikenal dengan istilah protocol. Protocol yang digunakan di Internet adalah TCP/IP (Transmission Control Protocol / Internet Protocol). Fasilitas Internet Secara garis besar Internet memiliki beberapa fasilitas. Fasilitas tersebut banyak digunakan oleh pengguna untuk berbagai kepentingan. Diantara fasilitas tersebut adalah: • World Wide Web (WWW), kumpulan situs dan halaman web • Electronic Mail (E-Mail), mengirim surat elektronis • Mailing List (Milis), forum diskusi memanfaatkan e-mail • Bulletin Board System (BBS), pengarsipan file pertopik • Telnet, mengakses komputer dari jarak jauh • Chatting, mengobrol secara elektronis • Newsgroup, konferensi jarak jauh • File Transfer Protocol, pengiriman file secara elektronis • Gopher, pencarian informasi Kelebihan dan Kekurangan Internet Berbagai kelebihan dan keunggulan yang diberikan Internet sebagai sarana pendukung kebutuhan masyarakat khususnya di dalam riset dan bisnis antara lain: • Konektivitas dan jangkauan global. Dalam Internet jaringan yang terbentuk bersifat global tanpa mengenal ruang dan birokrasi. Akses data dan informasi melampaui batas-batas negara dan protokoler. • Akses 7 x 24 jam seminggu. Akses Internet tidak dibatasi waktu karena di manapun dan kapanpun dunia maya (akses Internet) tidak pernah terlelap tidur. Perbedaan zona waktu pada belahan bumi tidak dikenal dalam menjelajah Internet. • Kecepatan. Dengan satu klikan mouse, informasi yang berada di komputer berjarak ratusan ribu kilometer dapat diunduh (down-load) dalam hitungan detik. • Interaktivitas dan fleksibilitas. Komunikasi Internet bersifat real time (waktu nyata) sehingga memberikan interaktivitas yang sangat tinggi, misalnya melalui Internet Relay Chat. Di samping keunggulan Internet juga memiliki kelemahan. Kelemahan tersebut bersifat relatif, timbul berdasarkan sudut pandang pengguna. • Ancaman virus komputer. Virus boncengan melalui file yang diunduh atau dikirim melalui e-mail. • Ketergantungan pada saluran komunikasi data dan informasi. Terputusnya jaringan kabel laut lintas negara, rusaknya satelit penyampai data atau komputer server pada Internet Service Provider akan melumpuhkan Internet. Buletin INFIBII
Juli 2008
Internet & Web |
8
Browsing Browsing adalah menjelajah dunia maya (Internet) untuk mendapatkan informasi yang terkini
tanpa batas dan birokrasi. Untuk mendapatkan informasi tersebut diperlukan piranti lunak yang disebut browser dan komputer yang digunakan harus terhubung ke Internet. Berbagai browser yang tersedia saat ini: Internet Explorer, Netscape Communicator, Opera, Mozilla Firefox, dll. Browser yang paling banyak digunakan adalah Internet Explorer disusul Mozilla Firefox. Internet Explorer terinstal otomatis ketika sistem Operasi Windows diinstal. Mozilla Firefox adalah freeware, mudah digunakan, dan relatif cepat di dalam mengunduh (down load) halaman web. Untuk menjelajahi atau menelusuri sebuah situs web kita harus mengetahui alamatnya. Situs web IBII beralamat http://www.ibii.ac.id. Situs harian kompas beralamat http://www. kompas.com. Jika kita tidak mengetahui alamat situs web yang mau kita kunjungi, kita dapat menggunakan bantuan mesin pencari (search engine). Mesin pencari yang banyak digunakan adalah Google dengan alamat http://www.google.com atau http://www.google.co.id dan Yahoo dengan alamat http://www.yahoo.com. Browsing Dengan Internet Explorer Langkah untuk mengunjungi situs web tertentu dengan mengunakan browser Internet Explorer: 1. arahkan mouse pointer pada task bar di bagian bawah layar dan klik icon Internet Explorer
2. ketik alamat situs web yang ingin dikunjungi pada bagian Address, misalnya situs Google di www.google.co.id kemudian tekan Enter atau klik tombol Go.
Buletin INFIBII
Juli 2008
Internet & Web |
9
Browsing Efektif Dengan Internet Explorer Untuk mencari informasi di internet, baik informasi yang ringan, informasi referensi dan berbagai informasi lain serta melakukan penjelajahan secara efektif, lakukan hal-hal berikut : 1. aktifkan Internet Explorer 2. ketikkan alamat situs web pada bagian Address, misalnya http://www.catcha.co.id 3. sambil menunggu informasi dari situs web catcha.co.id ditampilkan (di-loading), Anda dapat mengaktifkan Internet Explorer kedua sehingga di layar monitor terdapat dua Internet Explorer 4. pada Address Internet Explorer yang kedua ketikkan alamat situs web lain sesuai dengan keinginan, misalnya http://www.yahoo.com 5. Anda dapat membuka situs web lain sesuai keinginan 6. aktifkan Internet Explorer pertama dan klik link-link yang terdapat pada halaman web tersebut. Link adalah teks pada halaman web yang dapat diklik. Jika mouse pointer berada di atas link maka bentuk mouse pointer akan berubah dari bentuk panah menjadi bentuk jari telunjuk. Menyimpan Informasi Ke Dalam Disk Setelah informasi yang Anda inginkan terlihat di layar secara lengkap, maka akan lebih baik apabila informasi tersebut disimpan dalam harddisk. Langkah yang digunakan untuk menyimpan dokumen tersebut adalah sebagai berikut : 1. pilih menu File, Save As dan dialog box akan ditampilkan 2. tentukan nama folder dan nama file dari dokumen/informasi yang akan Anda simpan, misalnya folder My Documents dan nama file beasiswa 3. klik tombol Save
Buletin INFIBII
Juli 2008
Internet & Web |
10
Menghentikan dan Mengulangi Loading Halaman Web Proses loading suatu halaman web adakalanya terlalu lama karena banyaknya grafik dan animasi pada halaman web tersebut atau karena mengalami masalah. Proses loading yang belum selesai tersebut dapat kita hentikan dengan memilih menu View, Stop, atau dengan menekan tombol Esc, atau dengan mengklik icon stop yang terletak di bagian atas browser. Untuk me-load ulang halaman web yang sama pilih menu View, Refresh, atau menekan tombol F5 pada keyboard, atau mengelik icon refresh yang terletak di bagian atas browser.
icon stop
icon refresh
Menyimpan Gambar Halaman Web Pada halaman web terdapat gambar (image). Gambar ini dapat disimpan ke dalam harddisk dengan cara: 1. tempatkan mouse pointer di atas gambar yang akan disimpan 2. klik kanan mouse dan di layar akan muncul menu pop up 3. pilih Save Picture As dengan mengklik kiri mouse
4. ketikkan nama file untuk gambar tersebut atau menggunakan nama asli file. Menggunakan Seach Engine (Mesin Pencari) Search engine adalah situs web yang dirancang khusus untuk menyimpan katalog dan menyusun daftar alamat berdasarkan topik tertentu. Dengan menggunakan search engine kita dapat menemukan alamat situs web tertentu sesuai dengan kata kunci yang diisikan atau dengan
memilih topik tertentu.
Tabel 1 Daftar Search Engine Nama Engine
Alamat
Yahoo!
http://www.yahoo.com
Altavista
http://www.altavista.com
Google
http://www.google.com
Lycos
http://www.lycos.com
Info Seek
http://www.infoseek.com
Excite
http://www.excite.com
Catcha
http://www.catcha.co.id
AOL Anywhere
http://www.aol.com
Buletin INFIBII
Juli 2008
Internet & Web |
11
Cara menggunakan fasilitas pencarian data pada Internet Explorer: 1. klik tombol Search pada bagian atas browser, jendela browser akan terbagi dua 2. ketikkan kata atau kalimat yang akan dicari, lalu klik Search di bagian bawah 3. Internet Explorer akan menggunakan Microsoft Live Search untuk melakukan pencarian dan menampilkan hasilnya
Jendela di sebelah kiri dapat disembunyikan dengan cara mengelik tombol Search di bagian atas
Buletin INFIBII
Juli 2008
12
Internet & Web |
Photo Embed Code di Friendster Christine Sanjaya
Photo Embed Code dari citra (image) di atas adalah:
Ketika Anda melihat foto teman Anda di Friendster, di bawah foto tersebut terdapat Photo Embed Code. Pernahkah Anda menggunakan Photo Embed Code ini? Photo Embed Code memudahkan kita untuk sharing foto bersama teman-teman kita. Kalian dapat memajang foto yang sama dengan foto teman kalian dengan cara meng-copy Photo Embed Code ini ke blog kalian. Tapi ingat ketika kalian melakukan paste Photo Embed Code ini ke blog kalian, pastikan kalian sedang berada di mode HTML, bukan di mode Visual. Apa sebenarnya arti dari kode aneh yang kita copy itu? Kode tersebut terdiri atas dua tag utama HTML, yaitu : 1. Tag
Tag digunakan untuk membuat link. Link biasanya dipakai bila hendak membuat beberapa halaman yang dihubungkan satu sama lainnya. Penghubung itulah yang disebut link. Terdapat tiga jenis link pada halaman web: a) Hyperlink: untuk membentuk hubungan ke halaman web lain Contoh: IBII b) E-mail Link: untuk mengirim e-mail Contoh :
Contact Me c) Anchor: untuk berhubungan dengan bagian lain pada halaman web yang sama Contoh:
Back to Top 2. Tag
![]()
Tag
![]()
digunakan untuk memasukkan gambar ke dalam halaman HTML kita. Properties yang penting dari image : - src : path letak file image - border : menampilkan border di sekeliling image - width : menentukan lebar image
Buletin INFIBII
Juli 2008
Internet & Web | - height - alt - align - hspace dan vspace
13
: menentukan tinggi image : teks pengganti bila image tidak bisa di-load : mengatur perataan image : mengatur margin kiri-kanan dan margin atas-bawah image
Tips & Trick
1. Jangan menggunakan ukuran width dan height pada tag
![]()
yang lebih besar daripada ukuran lebar dan tinggi gambar yang sebenarnya karena hal ini akan menyebabkan gambar ”pecah”. Gunakan ukuran width dan height sesuai dengan lebar dan tinggi gambar aslinya. 2. Membuat image Rata Kiri / Rata Kanan Image Rata Kiri
Udara panas
menyengat yang sudah mencapai ubun-ubun seketika mereda dengan sajian segar ini. Rasa asam manis segar buah segar yang diracik dengan bahan alami membuat ...
Image Rata Kanan
Udara panas
menyengat yang sudah mencapai ubun-ubun seketika mereda dengan sajian segar ini. Rasa asam manis segar buah segar yang diracik dengan bahan alami membuat ...
Buletin INFIBII
Juli 2008
14
Komunitas IT |
A. M. TURING AWARD 2007 Thompson Susabda Ngoen
A. M. Turing Award adalah anugerah ilmiah tertinggi di bidang komputasi dan teknologi informasi dan komunikasi. Anugerah ini diambil dari nama Alan Mathison Turing, seorang matematikawan Inggris yang menciptakan komputer teoritis yang disebut Turing Machine. Mesin teoritis ini bekerja berdasarkan sejumlah instruksi atau ketentuan. Cara kerja mesin ini menjadi ide pengembangan komputer digital yang melakukan proses berdasarkan algoritma. Turing Award merupakan anugerah sains komputer yang sangat berAlan M. Turing (1912-1954) gengsi, diberikan kepada akademisi atau praktisi yang memberikan sumbangsih besar bagi dunia teknologi informasi dan komunikasi. Anugerah ini dapat disetarakan dengan hadiah Nobel Fisika atau Kimia. Pakar komputer penerima Turing Award antara lain Edgar F. Codd (relational database), Richard Hamming (metode koreksi kerusakan data), Marvin Minsky (intelegensia semu), E.W. Dijkstra (bahasa pemrograman), dan Vinton Cerf (Internet). Turing Award untuk tahun 2007 dianugerahkan kepada tiga pakar teknologi informasi: Edmund M. Clarke, Ernest A. Emerson, dan Joseph Sifakis. Anugerah diberikan atas sumbangsih mereka di bidang penjaminan kualitas hardware dan software yang dikenal dengan nama Model Checking. Inovasi yang mereka lakukan adalah melakukan transformasi teknik teoritis menjadi cara verifikasi yang sangat efektif sehingga memungkinkan hardware engineer dan software engineer secara efisien menemukan kesalahan pada rancangan sistem yang kompleks. Karya mereka bertiga memberikan dampak luas kepada perancang dan pembuat chip semikonduktor seperti perusahaan Intel. Hadiah Turing Award senilai USD 250.000 tahun ini disumbangkan oleh Intel Corporation dan Google Inc. Edmund Melson Clarke, Jr Carnegie Mellon University (CMU) Dr. Clarke adalah profesor di bidang sains komputer, elektrikal, dan rekayasa komputer di CMU. Beliau terlibat di dalam penyuntingan berbagai jurnal ilmiah diantaranya Formal Methods in Systems Design dan salah seorang pencetus International Conference on Computer Aided Verification (CAV). Beliau menerima sejumlah penghargaan seperti Technical Excellence Award dari Semiconductor Research Corporation pada tahun 1995, IEEE Harry M. Goode Memorial Award pada tahun 2004. Beliau diangkat sebagai fellow oleh ACM dan IEEE, terpilih sebagai anggota National Academy of Engineering pada tahun 2005. Dr. Clarke menyelesaikan pendidikan di bidang matematika di University of Virginia (B.A.), bidang matematika di Duke University (M.A.), dan bidang sains komputer di Cornell University. Beliau pernah mengajar di Duke University dan Harvard University.
Buletin INFIBII
Juli 2008
Komunitas IT |
15
Ernest Allen Emerson, II University of Texas, Austin Dr. Emerson adalah profesor sains komputer di University of Texas di Austin. Bersama rekannya Chin-Laung Lei, beliau menerima Test-ofTime Award yang dianugerahkan IEEE Symposium on Logic in Computer Science (LICS) untuk penelitian mereka tentang Model Checking yang efisien pada propositional mu-calculus, sejenis temporal logic berekspresif tinggi. Dr. Emerson menjabat sebagai anggota dewan penyunting beberapa jurnal ilmiah terkemuka di bidang applied logic dan formal method, termasuk ACM Transactions on Computational Logic, Formal Aspects of Computing, dan Formal Methods in Systems Design. Beliau melayani sebagai anggota komite pengarah International Symposium on Automated Technology for Verification and Analysis (ATVA) dan juga International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Dr. Emerson meraih gelar B.S. di bidang matematika dari University of Texas, Austin, dan gelar Ph.D di bidang matematika terapan dari Harvard University. Joseph Sifakis Centre National de la Recherche Scientifique (CNRS) Verimag Laboratory Dr. Sifakis adalah pendiri Verimag Laboratory, salah satu pusat penelitian terkemuka di bidang embedded system di Grenoble, Perancis. Beliau pernah menjadi direktur penelitian pada Centre National de la Recherche Scientifique dan direktur pada CARNOT Institute on Intelligent Software and Systems di Grenoble. Dr. Sifakis menjadi anggota dewan penyunting beberapa jurnal ilmiah dan koordinator saintifik untuk Artist2 dan ArtistDesign European Networks of Excellence on Embedded Systems Design. Bersama dengan Edmund Clarke, Robert Kurshan, dan Amir Pnueli (pemenang Turing Award 1996) mendirikan forum ilmiah CAV. Dr. Sifakis menyelesaikan studi teknik elektro di Technical University of Athens dan Ph.D di bidang sains komputer dari University of Grenoble.
Buletin INFIBII
Juli 2008
16
Internet & Web | Thompson Susabda Ngoen Thompson datang ke Jakarta untuk melanjutkan studi dan mendaftar di program studi Manajemen Informatika jenjang DIII, AMIK Bina Nusantara (BiNus) pada tahun 1986. Sejak semester III kuliah beliau direkrut menjadi asisten praktikum di laboratorium pemrograman BiNus. Pagi kuliah, siang sampai malam masuk lab untuk bekerja menyebabkan dia adakalanya tertidur di ruang kuliah karena kelelahan.
Dengan berbekal filosofi bahwa hidup adalah untuk berkarya dan berprestasi demi kemuliaan nama Tuhan, tantangan demi tantangan dijalankan meskipun berat. Setelah menyelesaikan DIII dalam waktu tepat tiga tahun (1989) dia dipercayakan menjadi asisten dosen pemrograman. Ketika masuk ke ruang kuliah para mahasiswa bingung, dosennya kok muda amat, tampangnya culun, dan tidak dianggap. Tetapi ketika dia mulai menerangkan algoritma untuk memecahkan masalah, keraguan mahasiswa menjadi sirna. Gelar S.Kom. diraihnya di STMIK BiNus pada tahun 1991 dengan prestasi sebagai lulusan dengan nilai tertinggi dan kepadanya dipercayakan jabatan kepala laboratorium BiNus. Pada tahun 1994 beliau mendapat beasiswa dari Asian Institute of Technology (AIT) Bangkok untuk melanjutkan studi S2 di bidang sains komputer. Kembali ke Jakarta pada akhir tahun 1995 Thompson ditugaskan mengelola program studi Sistem Informasi. Pada tahun 2000 beliau dipercayakan mengelola Fakultas Ilmu Komputer BiNus dalam jabatan sebagai dekan fakultas. Salah satu obsesi beliau ialah menguasai algoritma pemrograman. Selain memberi kuliah dan membimbing penelitian skripsi, beliau menjadi pelatih tim pemrograman BiNus untuk perlombaan ICPC (International Collegiate Programming Contest), lomba pemrograman komputer bagi mahasiswa yang diselenggarakan oleh ACM. Beberapa prestasi internasional diraih tim pemrograman BiNus di bawah bimbingan Thompson. Setelah 17 tahun berkarya di Binus, pada tahun 2005 bersama dengan beberapa dosen tetap senior BiNus yang berprestasi, beliau pindah ke IBII untuk merintis program studi Sistem Informasi dan Teknik Informatika dengan tujuan menjadikan SI dan TI IBII sebagai program studi unggulan dan menghasilkan lulusan yang bermutu. Josephine (55060065) Josi (demikian panggilannya) adalah lulusan SMAK 2 BPK Penabur Jakarta. Pada bulan September 2006 Josi mendaftar di program studi Teknik Informatika IBII, mengikuti jejak kakaknya yang lebih dahulu kuliah di program studi Akuntansi IBII. Sejak SMA Josi berencana kuliah di bidang teknologi informasi. Sebagai pribadi yang senang belajar dan tekun, semua mata kuliah dapat diikuti dengan baik. “SI dan TI IBII memang masih baru tetapi menimbang lulusan akuntansi dan manajemen IBII yang bermutu maka saya mendaftar ke TI IBII. Saya senang kuliah di IBII karena jumlah mahasiswa perkelas tidak banyak, teman-teman pada baik-baik, suasana perkuliahan kondusif, dan dosen-dosennya cukup jelas menerangkan pelajaran”, demikian komentar Josi. Pada semester Genap 2007/2008 lalu Josi dianugerahi Medali Tri Prestasi atas prestasi yang dicapainya untuk kali ketiga, yang disertai dengan beasiswa studi.
Buletin INFIBII
Juli 2008
Buletin INFIBII
Juli 2008
