|
Size: 3540
Comment:
|
Size: 3818
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 2: | Line 2: |
| Line 5: | Line 4: |
| ||[[http://www.info.uvt.ro/~braescu|Braescu Liliana]] ||Mathematical models in crystal growth and biological processes || | |
| Line 10: | Line 8: |
| ||[[http://staff.ieat.ro/~merascu|Erascu Madalina]] ||Distributed (Cloud) Computing, Formal Verification, Automated Theorem Proving, Symbolic Computation (Computer Algebra) || | |
| Line 14: | Line 13: |
| ||Istrate Gabriel ||Combinatorical and game-theoretic models in theoretical computer science; Computational complexity; Combinatorial models of complex systems || | ||[[http://tcs.ieat.ro/members/gistrate|Istrate Gabriel]] ||Combinatorical and game-theoretic models in theoretical computer science; Computational complexity; Combinatorial models of complex systems || |
| Line 21: | Line 20: |
| ||Munteanu Victor-Ion ||Multi-agent systems; Cloud computing || | ||[[https://web.info.uvt.ro/wiki/neagul|Neagul Marian]] ||Big data; Cloud computing || |
| Line 26: | Line 25: |
| ||[[http://www.ciprianpungila.com/uvt/|Pungila Ciprian]] ||Intelligent systems || | ||[[http://www.ciprianpungila.com/uvt/|Pungila Ciprian]] || Intelligent systems; Anomaly detection || |
| Line 34: | Line 33: |
| Line 37: | Line 35: |
| ||Jebelean Tudor || Automated Reasoning; Logic and Programming|| | ||Jebelean Tudor ||Automated Reasoning; Logic and Programming || |
| Line 42: | Line 40: |
| Line 44: | Line 41: |
| || Bistran Ioan || || ||[[http://www.info.uvt.ro/~ccraciun|Craciun Ciprian]] || Cloud computing || ||Dogaru Roxana|| Knowledge discovery || ||Fărcăşescu Roxana Marcela || || ||Ivasku Todor || || ||Jichici Ciprian|| Knowledge discovery || |
||Bistran Ioan || Computational mathematics || ||[[http://www.info.uvt.ro/~ccraciun|Craciun Ciprian]] ||Cloud computing || ||Dogaru Roxana ||Knowledge discovery || ||Fărcăşescu Roxana Marcela || Cloud computing || ||Ivascu Todor || Multi-agent systems || ||Jichici Ciprian ||Knowledge discovery || |
| Line 51: | Line 48: |
| ||Manaţe Bogdan || || ||[[https://web.info.uvt.ro/wiki/neagul|Neagul Marian]] ||Cloud computing || ||[[http://web.info.uvt.ro/~silviu|Panica Silviu]]|| Cloud computing || ||Perian Lavinia|| Knowledge discovery || ||Petrov Gheorghe|| Datamining || ||Rădoacă Aurelian || || |
||[[http://web.info.uvt.ro/~silviu|Panica Silviu]] ||Cloud computing || ||Oana Liviu ||Numerical Modelling; High Performance Computing || ||Petrov Gheorghe ||Data Mining || ||Rădoacă Aurelian || Automated Reasoning || |
| Line 59: | Line 54: |
| E-mail addresses: surname@info.uvt.ro or xsurname@info.uvt.ro where x is the first letter of the given name. | === Former Members === ||[[http://www.info.uvt.ro/~braescu|Braescu Liliana]] ||Mathematical models in crystal growth and biological processes || ||Munteanu Victor-Ion || Multi-agent systems; Cloud computing || E-mail addresses: name.surname@e-uvt.ro |
Permanent Staff
Name |
Research topics |
Information theory, Membrane computing, Parallel and distributed computing |
|
Automated reasoning |
|
Chis Mihai |
Group theory; Computational algebra |
Computational geometry |
|
Automated reasoning |
|
Distributed (Cloud) Computing, Formal Verification, Automated Theorem Proving, Symbolic Computation (Computer Algebra) |
|
Grid computing; Tasks scheduling |
|
Fortis Teodor Florin |
Workflows; web technologies; Ontologies |
Computational geometry; Image processing |
|
Iordan Victoria |
Mathematical models in flight control; Workflows; Ontologies |
Combinatorical and game-theoretic models in theoretical computer science; Computational complexity; Combinatorial models of complex systems |
|
Iuhasz Gabriel |
Multiagent systems; Video games |
Mathematical models in aerospace science; Neural network dynamics |
|
Declarative programming; Automated reasoning; Formal languages; Computer Algebra; Multiagent systems |
|
Evolutionary computing |
|
Mihalas Stelian |
Number theory; Graph theory |
Mindruta Cristina |
Workflows; Web services; Ontologies |
Big data; Cloud computing |
|
Negru Viorel |
Intelligent systems; Multi-agent systems |
Distributed computing; Grid computing; Cloud computing; Parallel computing |
|
Popa Horia |
Knowledge discovery; Recommender systems |
Popovici Adriana |
Cellular automata |
Intelligent systems; Anomaly detection |
|
Intelligent systems |
|
Tirea Monica |
Multiagent systems; Financial modeling |
Tanasie Loredana |
Mathematical models in crystal growth |
Evolutionary computing; Nature inspired metaheuristics; Knowledge discovery |
Associated Members
Name |
Research topics |
Mathematical models in nano-technology, flight control, neural networks dynamics |
|
Jebelean Tudor |
Automated Reasoning; Logic and Programming |
Maruster Stefan |
Computational mathematics; Numerical computing |
PhD Students
Name |
Research topics |
Bistran Ioan |
Computational mathematics |
Cloud computing |
|
Dogaru Roxana |
Knowledge discovery |
Fărcăşescu Roxana Marcela |
Cloud computing |
Ivascu Todor |
Multi-agent systems |
Jichici Ciprian |
Knowledge discovery |
Luca Lucian |
|
Cloud computing |
|
Oana Liviu |
Numerical Modelling; High Performance Computing |
Petrov Gheorghe |
Data Mining |
Rădoacă Aurelian |
Automated Reasoning |
Ţerei Carmen |
|
Former Members
Mathematical models in crystal growth and biological processes |
|
Munteanu Victor-Ion |
Multi-agent systems; Cloud computing |
E-mail addresses: name.surname@e-uvt.ro