 |  21-11-2024 16:09:34 |
Matematički fakultet
Katedra za računarstvo i informatiku
Katedra za računarstvo i informatiku
Naučna oblast (Frascati Manual)
Computer sciences
Information science and bioinformatics
Kratak opis ekspertize
automatsko i interaktivno dokazivanje teorema; SAT/SMT rešavanje; verifikacija softvera; rešavanje CSP problema; rešavanje problema matematičke optimizacije egzaktnim i heurističkim metodama, uz modeliranje problema iz prakse; razvoj i primena informatickih alata u bioloskim (genomika, proteomika, imunologija) i medicinskim (patofiziologija, dijagnostika, terapija) naukama
Ključne reči
automatsko dokazivanje teorema; interaktivno dokazivanje teorema; matematička optimizacija; metaheuristike; imunoinformatika, bioinformatika
Komercijalne usluge
verifikacija softvera; rešavanje kombinatornih problema; modeliranje optimizacionih problema i njihovo rešavanje egzaktnim metodama i metaheuristikama; razvoj softvera za primenu u biolo[kim i medicinskim istraživanjima (image/pattern recognition, data mining)
Realizovani i aktuelni projekti
| Naziv projekta | Broj projekta | Izvor finansiranja | Period trajanja projekta |
|---|---|---|---|
| Automatsko rezonovanje i istraživanje podataka | ON174021 | Ministarstvo prosvete, nauke i tehnološkog razvoja Republike Srbije | 2011-2015 |
| Automatsko rezonovanje i napredne obrade velikih količina podataka i teksta | 144030 | Ministarstvo nauke Republike Srbije | 2005-2010 |
| Matematički modeli i metode optimizacije sa primenama | 144007 | Ministarstvo za nauku, tehnologiju i razvoj Republike Srbije | 2006-2010 |
| Matematički modeli i metode optimizacije velikih sistema | 174010 | Ministarstvo prosvete, nauke i tehnološkog razvoja Republike Srbije | 2011-2016 |
| Završni ispit – platforma za ravnopravno uključivanje učenika u obrazovani proces | 111-00-4/2014-07/52 | Ministarstvo trgovine, turizma i telekomunikacija i Društvo matematičara Srbije | 2014-2015 |
| Naziv projekta | Broj projekta | Izvor finansiranja | Period trajanja projekta |
|---|---|---|---|
| Non-globular proteins - from sequence to structure, function and application in molecular physiopathology (NGP-NET) | BMBS COST Action BM1405 | EU | 2015-2019 |
| Rich Model Toolkit — An Infrastructure for Reliable Computer Systems | COST Action IC0901 | EU | 2009-2013 |
| Obrazovanje nastavnika - unapređivanje studija matematike i informatike | JEP 41110 – 2006 | EU - Tempus projekat | 2008-2009 |
| Modeling Of The Genetic Code And Applications | CNRS/MSDT | Centre national de la recherche scientifique | 2009-2010 |
| SEE Doctoral Studies in Mathematical Sciences | 44703 – TEMPUS – 1 – 2008 – 1 – BATEMPUS – JPCR | EU - Tempus projekat | 2009. – 2011 |
Grana primene (prema Uredbi o klasifikaciji delatnosti, Službeni glasnik RS, br. 54/10)
Računarsko programiranje, konsultantstke i s tim povezane delatnosti
