OU > O univerzitě > Struktura univerzity > Fakulty a ústavy > Přírodovědecká fakulta > Součásti fakulty > Katedra informatiky a počítačů
Hashim Habiballa
titul, jméno, příjmení:
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
místnost, podlaží, budova:
C 102, budova C
funkce:
vedoucí katedry, garant SP AI Bc., člen vědecké rady PřF OU
obor činnosti:
logika, umělá inteligence, didaktika informatiky
katedra / středisko (fakulta):
telefon, mobil:
553 46 2170
553 46 2174
553 46 2174
osobní WWW stránka:
Vzdělání
1997 – 1999
Ostravská univerzita, Přírodovědecká fakulta (Mgr.- "Informační systémy")
1994 – 1997
Ostravská univerzita, Přírodovědecká fakulta (Bc. -"Informatika")
Kvalifikace
2013
Univerzita Hradec Králové, Fakulta informatiky a managementu, (Doc. - Systémové inženýrství a informatika)(habilitační řízení úspěšně ukončeno 12/2012)
2007
Ostravská univerzita, Přírodovědecká fakulta (Ph.D.- "Informační systémy")
2006
Ostravská univerzita, Přírodovědecká fakulta (RNDr. - "Informační systémy")
2004
Univerzita Konštantína Filozofa, Slovenská rep., (PhD. - "Teória vyučovania informatiky")
2003
Univerzita Konštantína Filozofa, Slovenská rep.(PaedDr. - "Učitelství informatiky")
Další vzdělávání, kurzy
2002
Univerzita Palackého, Kurz realizátorů distančního vzdělávání, UPOL
2001 – 2003
Doplňující pedagogické studium (DPS), Ostravská univerzita, Pedagogická fakulta
Zaměstnání, praxe
2012 – 2015
vědecký pracovník (částečný úvazek), Ústav pro výzkum a aplikace fuzzy modelování, Ostravská univerzita
2000 – 2004
vědecký pracovník (částečný úvazek), Ústav pro výzkum a aplikace fuzzy modelování, Ostravská univerzita
1999 – dosud
Docent, Katedra informatiky a počítačů, Přírodovědecká fakulta, Ostravská univerzita
Odborné zaměření
Umělá inteligence
Teoretická informatika
Didaktika informatiky
Akademické funkce a členství v orgánech
2015 – dosud
vedoucí katedry, katedra informatiky a počítačů, Přírodovědecká fakulta, Ostravská univerzita
Členství v profesních organizacích, redakčních radách a poradních orgánech
Vědecká rada, Přírodovědecká fakulta, Ostravská univerzita
Vědecká rada, Filozoficko-přírodovědecká fakulta, SLU
Oborová rada, Aplikovaná informatika, Přírodovědecká fakulta, Ostravská univerzita
Oborová rada, ICT ve vzdělávání, Pedagogická fakulta, Ostravská univerzita
Oborová rada, Autonomní systémy, FPF SLU Opava
Hodnotitel NAÚVŠ, 14 Informatika
Působení v zahraničí
2006 – 2008
Univerzita Konštantína Filozofa/SK/Výuka Umělé inteligence v LS
10/1998 – 1/1999
University of Liverpool/UK/Studijní pobyt
Jazykové znalosti
Angličtina
Zkratka
Název předmětu
DUINT
PREKL
QDEXS
QEXPS
QQEXS
UVDIN
UVDOI
XGRAJ
XPREK
XUVDI
XUVDN
Y2ZIN
2GRAJ
2UVDI
2UVDN
3UVDI
7GRAJ
7UVDI
Autor
Název práce
Typ
Rok
Pektor Ondřej
Systém pro hodnocení kompetencí
disertační
2022
Hapl Lukáš
Vliv multiparadigmatického programování na výuku číslicových systémů
disertační
2021
Jendryščík Radek
Konstruktivismus ve výuce teoretické informatiky
disertační
2021
Muchová Gabriela
Fuzzy logika v rozpoznávání webových struktur
diplomová
2022
Botor Tomáš
Mutliplatformní optimalizace zdrojového kódu
diplomová
2017
Ertel Tomáš
Fuzzy logická analýza ve zpracování zvuku
diplomová
2017
Hložanka Ondřej
Aplikace NP-úplných problémů v reálných úlohách
diplomová
2016
Hireš Matěj
Paralelizace fuzzy logické analýzy
diplomová
2015
Mejzlíková Martina
Rozpoznávání struktur v kategorizaci webových dokumentů
diplomová
2015
Buroň Tomáš
Internetová kriminalita a bezpečnost ve výuce informatiky na středních školách
diplomová
2014
Bobřík Michal
E-learning jako podpora studia na waldorfské škole
diplomová
2013
Hromada Jiří
Využití výukové aplikace z oblasti teoretické informatiky na SŠ
diplomová
2013
Potyšová Zuzana
Řešení úloh umělé inteligence pomocí deklarativního paradigmatu
diplomová
2013
Schenk Jiří
Automatizace syntaktické analýzy
diplomová
2013
Stupka Tomáš
Systémy automatizovaného dokazování vět
diplomová
2013
Mráz Pavel
Analýza metod vyučování informatiky na středních školách
diplomová
2012
Fojtíková Veronika
Softwarová podpora komunikačních schopností osob se specifickými poruchami
diplomová
2011
Kaloč Jakub
Algoritmy pro inferenční systémy založené na fuzzy teorii typů
diplomová
2011
Kalusková Zuzana
Problémové úlohy z oblasti teorie vyčíslitelnosti
diplomová
2011
Slovák Zdeněk
Informační systém pro generování textu
diplomová
2011
Šlachta Radek
Vývoj nástrojů pro adresářové služby
diplomová
2011
Macoszková Silvie
Efektivita rezolučních strategií ve dvouhodnotové logice
diplomová
2010
Mokrý Vojtěch
Aplikace fuzzy logiky
diplomová
2010
Novosád Tomáš
Užití teoretické informatiky v praxi
diplomová
2010
Búran Peter
Inferenční systém pro fuzzy deskripční logiku
diplomová
2009
Janošec Lukáš
Ekvivalence výpočetních modelů
diplomová
2009
Jendryščík Radek
Efektivita inference ve fuzzy deskripční logice
diplomová
2009
Klapper Martin
Experimentální výuka logiky na střední škole
diplomová
2009
Ohlídal Jaroslav
Analýza chyb při učení teorie formálních jazyků a automatů
diplomová
2009
Sulír Miroslav
Experimentální výuka teorie formálních jazyků a automatů na středních školách
diplomová
2009
Turček Tomáš
Efektivita inference ve fuzzy predikátové logice
diplomová
2009
Günther Pavel
Aplikace automatizovaného dokazování vět ve fuzzy predikátové logice
diplomová
2008
Holubová Zuzana
Experimentální výuka informatiky na základní škole
diplomová
2008
Juřica Tomáš
Fuzzy deduktivní databáze - Implementace pomocí rezolučního principu
diplomová
2008
Kubala Jan
Využití animace při výuce vyčíslitelnosti a složitosti
diplomová
2008
Koběrský Aleš
Implementace efektivních metod tvorby překladačů
diplomová
2005
Noháček Jiří
Automatizace tvorby překladačů
diplomová
2005
Muchová Gabriela
Implementace fuzzy logické analýzy pro mobilní platformu
bakalářská
2020
Ertel Tomáš
Aplikace logické dedukce pro predikci časových řad
bakalářská
2015
Menšík Jan
Algoritmy pro vyhledávání řetězců
bakalářská
2015
Peterková Ivana
Automatizace rozpoznávání vzorů
bakalářská
2015
Žůrek Filip
Fuzzy konečné automaty
bakalářská
2015
Hložanka Ondřej
Varianty a modifikace Turingova stroje
bakalářská
2014
Vančura Jan
Praktické aplikace predikce časových řad pomocí fuzzy logiky
bakalářská
2014
Stárek Petr
Problémové úlohy z oblasti teorie vyčíslitelnosti
bakalářská
2013
Sturmová Kateřina
Metoda Pattern Prerecognition (PREPIC) v praktických aplikacích
bakalářská
2013
Vincík Michal
Modelování znalostních bázích prostředky fuzzy logiky
bakalářská
2013
Bobřík Michal
Navigační systémy
bakalářská
2011
Schenk Jiří
Automatické nástroje pro generování syntaktických analyzátorů
bakalářská
2011
Kostera Luděk
Plánovací systémy
bakalářská
2010
Lubojacký Jiří
Metody prohledávání stavového prostoru
bakalářská
2010
Malý Pavel
Informační systém pro videopůjčovny
bakalářská
2010
Mráz Pavel
Vizualizace Wi-Fi sítí prostřednictvím GPS
bakalářská
2010
Adamcová Michaela
Vybrané modelovací formalismy pro biologické systémy
bakalářská
2009
Bolomová Michaela
Symbolický funkcionalismus vs. konekcionismus v umělé inteligenci
bakalářská
2009
Cieslar Martin
Charakteristiky UMPC a netbooků
bakalářská
2009
Figura Michal
Problémové úlohy z oblasti algoritmizace v Javě
bakalářská
2009
Fojtíková Veronika
Tvorba aplikací pro osoby se zdravotním a mentálním postižením
bakalářská
2009
Kaplan Jiří
WxWidgets jako nástroj pro alternativní vývoj aplikací
bakalářská
2009
Kvasnička Martin
Porovnání freewarových prostředků pro vývoj aplikací v C++
bakalářská
2009
Slovák Zdeněk
Automatické generování textu
bakalářská
2009
Šlachta Radek
Adresářové služby a jejich implementace pro intranetové systémy
bakalářská
2009
Chromý Petr
Historie a perspektivy automatizovaného usuzování v umělé inteligenci
bakalářská
2008
Grulich Roman
Pojem determinismu a nedeterminismu v informatice
bakalářská
2008
Hrabal Roman
Problémové úlohy z oblasti teorie složitosti algoritmů
bakalářská
2008
Janošcová Ivana
Návrh a tvorba ukázkových znalostních bází pro fuzzy dedukci a jejich testování systémem FPLGERDS
bakalářská
2008
Kalusková Zuzana
Problémové úlohy z oblasti bezkontextových jazyků a zásobníkových automatů
bakalářská
2008
Macoszková Silvie
Rezoluční princip v umělé inteligenci a logice
bakalářská
2008
Peterková Milena
Problémové úlohy z oblasti regulárních jazyků a konečných automatů
bakalářská
2008
Mojdl Marek
Názorné řešení úloh z oblasti informatiky - strukturované vs. objektově orientované programování
bakalářská
2007
Pavlorková Kateřina
Efektivita rezolučních strategií systému FPLGERDS na znalostních bázích
bakalářská
2007
Bouzek David
Názorné řešení úloh z oblasti matematiky - diferenciální počet
bakalářská
2006
Čopjak Jakub
Metody a výsledky teoretické informatiky v aplikované informatice
bakalářská
2006
Duroň Pavel
Názorné řešení úloh z oblasti informatiky - principy počítačem podporované sazby textu
bakalářská
2006
Dvořáková Petra
Názorné řešení úloh z oblasti informatiky - tabulkové procesory
bakalářská
2006
Ficenc Tomáš
Názorné řešení úloh z oblasti matematiky - logika
bakalářská
2006
Heinc Dalibor
Názorné řešení úloh z oblasti informatiky - algoritmizace úloh
bakalářská
2006
Juřica Tomáš
Automatizace konverze formulí deskripční logiky do predikátové logiky
bakalářská
2006
Liška Petr
Názorné řešení úloh z oblasti matematiky - derivace funkce jedné proměnné
bakalářská
2006
Lišková Eva
Názorné řešení úloh z oblasti matematiky - integrál funkce jedné proměnné
bakalářská
2006
Marciniszynová Eva
Principy vyhledávacích algoritmů
bakalářská
2006
Michnik Tomasz
Převod obecných bezkontextových gramatik na q-gramatiky a jejich syntaktická analýza
bakalářská
2006
Neumannová Markéta
Názorné řešení úloh z oblasti matematiky: Algebra reálných čísel
bakalářská
2006
Novotný Jiří
Názorné řešení úloh z oblasti matematiky - lineární algebra
bakalářská
2006
Voitle Marek
Názorné řešení úloh z oblasti matematiky - Teorie množin
bakalářská
2006
Janošec Lukáš
Principy třídících algoritmů
bakalářská
2005
Kovařčík Martin
Principy kombinatorických algoritmů
bakalářská
2005
Pěčka Radomír
Metody a výsledky teoretické informatiky v algoritmizaci a programování
bakalářská
2005
Hlavní řešitel
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Období
1/2015 - 12/2015
Poskytovatel
Specifický VŠ výzkum
Stav
ukončený
Hlavní řešitel
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Období
1/2014 - 12/2014
Poskytovatel
Specifický VŠ výzkum
Stav
ukončený
