{"id":34,"date":"2021-03-09T12:01:05","date_gmt":"2021-03-09T10:01:05","guid":{"rendered":"http:\/\/www.cs.ubbcluj.ro\/~vniculescu\/?page_id=34"},"modified":"2022-01-21T21:33:23","modified_gmt":"2022-01-21T19:33:23","slug":"education","status":"publish","type":"page","link":"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/education\/","title":{"rendered":"Education"},"content":{"rendered":"<h2>1996 &#8211; 2002<\/h2>\n<ul>\n<li>PhD Student in <i>Parallel Computation<\/i> at the Department of Computer Science, Faculty of Mathematics and Computer Science, Babes-Bolyai University of Cluj-Napoca\n<ul>\n<li><a href=\"#Ph.D.Thesis\">Ph.D. Thesis<\/a> &#8220;Design Models for Parallel Algorithms&#8221;<br \/>\nScientific Adviser: Prof. Gheorghe Coman<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<h2>1988 &#8211; 1994<\/h2>\n<ul>\n<li>Student at the Department of Computer Science, Faculty of Mathematics and Computer Science, Babes-Bolyai University of Cluj-Napoca\n<ul>\n<li>Analyst-Programmer Diploma (MSc equivalent)<\/li>\n<li>Average Final Grade: 9,92 (1-10 scale)<\/li>\n<li><a href=\"#B.Sc.Thesis\">B.Sc. Thesis<\/a> &#8220;Object Oriented Programming. Application: An Interactive Environment for Solving Geometrical Problems. &#8221;<br \/>\nScientific Adviser: Prof. Bazil Parv<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<h2><a name=\"Ph.D.Thesis\"><\/a>Ph.D. Thesis: &#8220;Design Models for Parallel Algorithms&#8221;<\/h2>\n<p>The thesis deals with the problem of construction of parallel algorithms using some formal methods that assures the algorithms correctness and their formal derivation. The main idea that governs the thesis is that is easier and better to build a parallel program correct by construction, than prove its correctness after the development process is finished.<\/p>\n<p>Some models are analyzed and used for formal derivation of different parallel algorithms for different numerical problem. These also represent an important contribution of the thesis.<\/p>\n<p>Two paradigms are considered: imperative and functional.<\/p>\n<p>The presented imperative model uses a technique for deriving parallel programs from specifications, which is similar with the technique for deriving sequential programs. Parameterized specifications and programs are used. The distributions may lead the derivation to different programs. In order to increase the generality and the flexibility, a new kind of distributions, named <i>set-distributions<\/i>, are defined based on set-valued mappings.<\/p>\n<p>A functional model based on Bird-Meertens formalism is also analyzed. The advantages of using functional programming are emphasized.<\/p>\n<p>Some special data structures: <i>PowerList<\/i>, <i>ParList<\/i>, and <i>PList<\/i> are used, with important advantages, for building some parallel numerical algorithms; Fast Fourier Transform is a very eloquent example.<\/p>\n<p>Finally, it is proposed a model that tries to combine the advantages of the technique of deriving from specifications and the advantages of functional models. The model is based on recursion, but it is not a really functional model. Parallel, sequential and alternative compositions are used. The model uses definition variables, which are abstractions of messages.<\/p>\n<p>&nbsp;<\/p>\n<h2><a name=\"B.Sc.Thesis\"><\/a>B.Sc. Thesis: &#8220;Object Oriented Programming. Application:<br \/>\nAn Interactive Environment for Solving Geometrical Problems. &#8220;<\/h2>\n<p>The application defines a language for specifying geometrical problems, and builds for any geometrical problem the<br \/>\nassociate figure. The application is suitable especially for problems that need to compute geometrical place; many figures for the same problems can be overdrawing, in order to emphasize the geometrical place. Also, some interrogations may be made about the properties of the figure: parallelism,<br \/>\nperpendicularity, equality, etc.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>1996 &#8211; 2002 PhD Student in Parallel Computation at the Department of Computer Science, Faculty of Mathematics and Computer Science, Babes-Bolyai University of Cluj-Napoca Ph.D. Thesis &#8220;Design Models for Parallel Algorithms&#8221; Scientific Adviser: Prof. Gheorghe Coman 1988 &#8211; 1994 Student at the Department of Computer Science, Faculty of Mathematics and Computer Science, Babes-Bolyai University of\u2026 <span class=\"read-more\"><a href=\"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/education\/\">Read More &raquo;<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_links_to":"","_links_to_target":""},"_links":{"self":[{"href":"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/wp-json\/wp\/v2\/pages\/34"}],"collection":[{"href":"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/wp-json\/wp\/v2\/comments?post=34"}],"version-history":[{"count":7,"href":"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/wp-json\/wp\/v2\/pages\/34\/revisions"}],"predecessor-version":[{"id":270,"href":"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/wp-json\/wp\/v2\/pages\/34\/revisions\/270"}],"wp:attachment":[{"href":"https:\/\/www.cs.ubbcluj.ro\/~vniculescu\/wp-json\/wp\/v2\/media?parent=34"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}