Naslovnica Pretraživanje AAA
 

 


Broj posjeta:
2606089
 
HRVATSKA SEKCIJA - ODJELI DRUŠTAVA

Odjel za računarstvo

Područje rada odjela za računarstvo obuhvaća sve aspekte teorije, oblikovanja, prakse i primjene metoda i sustava vezanih uz računarstvo i obradu informacija. Djelovanje odjela usmjereno je na znanstvenu, stručnu, obrazovnu i društvenu komponentu. Kroz razmjenu tehničkih informacija i znanstvenih spoznaja, odjel teži unaprijeđenju struke i održavanju visoko profesionalnog položaja među članovima. S druge strane, kroz organizaciju znanstvenih i stručnih predavanja i rasprava te izdavanje tehničkih časopisa, promiče se višedisciplinarna suradnja s drugim strukama i otvorenom društvenom zajednicom.


Objavljeno: 7. 3. 2018. u 14:55
Uređeno: 8. 3. 2018. u 09:12
Poziv na predavanje: “Formalne metode...

Udruga Alumni FER, u suradnji s Odjelom za pouzdanost i Odjelom za računarstvo Hrvatske sekcije IEEE, poziva Vas na predavanje

 

Formalne metode - mitovi i stvarnost

 

koje će održati prof. dr. sc. Nikola Bogunović, u srijedu 14. ožujka 2018. u 17.00 sati u Sivoj vijećnici Fakulteta elektrotehnike i računarstva Sveučilišta u Zagrebu, Unska 3.

Predavanje će biti na hrvatskom jeziku, predviđeno trajanje s raspravom je 60 minuta, otvoreno je za sve zainteresirane te se posebno pozivaju studenti.

Predavanje možete pratiti i putem Interneta. Nakon predavanja, druženje će se nastaviti u Alumni klubu.

Više o predavanju i predavaču pročitajte u opširnijem sadržaju obavijesti.

Sažetak predavanja

S povećanjem složenosti sklopovskih i programskih računalnih artefakata tradicijska provjera ispravnosti rada ispitivanjem (testiranjem) i simulacijom više nije dovoljna. Postoji uvjerenje da uporaba formalnih metoda može ostvariti valjano pronalaženje duboko skrivenih pogrešaka a bez bitnog produljenja vremena od zamisli do stavljanja proizvoda na tržište. U ovom prikazu definirat će se formalne metode kao matematičke tehnike specifikacije i verifikacije složenih računalnih sustava. Prikazat će se nekoliko najpopularnijih metoda bez dubokih i detaljnih razmatranja teoretskih temelja. Pokušat će se odgovoriti na pitanje oko mogućeg normativnog prihvaćanja formalnih metoda u okviru uobičajenih modela procesa oblikovanja sklopovskih i programskih artefakata. Navest će se neke formalne metode koje su danas u standardnoj uporabi u najvećim svjetskim informatičkim tvrtkama.

 

O predavaču

Nikola Bogunović je diplomirao (1963.) i magistrirao (1971.) na polju elektrotehnike te doktorirao (1984.) u polju računarstva na Elektrotehničkom fakultetu Sveučilišta u Zagrebu. Od 1968. do 1999. bio je zaposlen na Institutu Ruđer Bošković u Zagrebu kao voditelj Zavoda za elektroniku i Laboratorija za informacijske sustave. Kao gostujući znanstvenik od 1971. do 1972. boravio je u Culham Laboratoryju u Ujedinjenom Kraljevstvu te od 1985. do 1987. kao gostujući profesor na Sveučilištu Vanderbilt u SAD-u. Tijekom 1999. godine prelazi na Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, gdje je izabran u znanstveno-nastavno zvanje "redoviti profesor". Postaje nositeljem više predmeta na dodiplomskom i poslijediplomskom (doktorskom) studiju. Sadržaji predmeta usmjereni su na postupke oblikovanja složenih računalnih sustava te na tehnike predstavljanja, obrade i uporabe znanja. Bio je mentorom brojnih završnih, diplomskih, magistarskih i doktorskih radova. Znanstveni interesi fokusirani su na formalne metode u provjeri programskih artefakata te na otkrivanje znanja u skupovima podataka i signala s primjenom u biomedicinskoj i financijskoj domeni. Nikola Bogunović objavio je preko 100 znanstvenih i stručnih radova te održao više javnih predavanja. Doživotni je član IEEE udruge te član emeritus Akademije tehničkih znanosti Hrvatske.

Danko Ivošević
Popis obavijesti
FORUM

>> / Sve diskusijske grupe / Kurikulum za srednje tehničke škole

Br. poruka:    Prikaz: (1 - 50)  Ukupno: 50

Sortiraj prema: naslovu | vremenu zadnjeg odgovora | autoru

Napomena:
* - oznaka za nove poruke

KONTAKTI
 
Mandatno razdoblje
do 31. 12. 2018.
 

Daniel Hofman
predsjednik odjela
e-mail
 

 
Danko Ivošević
dopredsjednik odjela

e-mail
 
Poziv za predavače:
Sve zainteresirane predavače koji bi željeli održati predavanje iz područja računarstva pozivamo da se jave na e-mail kako bi dobili više informacija.

REPOZITORIJ