Jelena Ivetić, M.Sc
     Teaching Assistant
   
       Math Department,
       Faculty of Tehnical Sciences
       University of Novi Sad
       Novi Sad
       Serbia

Jelena photograph

phone/fax:(+381) 21 6350 770
email: jelena@imft.ftn.uns.ac.rs

  

 

  Research & Publications

  Projects

  Teaching (in Serbian)

  CV

 

Links:

·  CMS
(Center for Mathematics and Statistics)

·  Livemocha
(online language courses)

·  TED
(education & fun)

·  Riska
(shelter for homeless animals)

 

Research

My research interests are in the domain of lambda calculi and type theory.

Papers

·  J. Espirito Santo, S. Ghilezan, J. Ivetić: ''Characterizing strongly normalising intuitionistic sequent terms''.
TYPES 2007 postproceedings, Lecture Notes in Computer Science 4941: 85-99 (2007)

·  S. Gilezan, J. Ivetić: "Intersection types for lambda-Gentzen calculus".
Publications de l'Institute Mathematique, SANU, 82 (96) 159-164 (2007)

·  J. Ivetić: "Formal calculi for intuitionistic logic". Master of Science thesis (in Serbian), Fakultet tehničkih nauka, Univerzitet u Novom Sadu (2008).

·  J. Espirito Santo, J. Ivetić, S. Likavec: "Intersection type assignment systems for intuitionistic sequent calculus" (to appear)

 

Coauthors

Silvia Ghilezan, Jose Espirito Santo, Silvia Likavec.

Events

I participated in the following conferences, workshops and schools: TYPES 06, Grand Challenges of Informatics symposium, TYPES 07, TYPES summer school 2007, Dani logike 2007, FTP workshop 2008, ITRS 08, TYPES 08, 12. Srpski matematički kongres, GLOBAN 2008, FTP workshop 2009.

Coming events: FIT 2009, CALCOjnr, EMW 2009.

Projects

I'm currently involved in the following national and international projects:

·         Models, languages, types and processes in computing

(Modeli jezici, tipovi i procesi u računarstvu)  

National project - Ministry of Science of Republic Serbia, no.144029      

Duration: 2006 - 2010 

Project leader: Prof. Dr. Silvia Ghilezan

Project description ( English | Serbian ) List of researchers

·         Mathematical models in information technologies

(Matematički modeli u informacionim tehnologijama)

Regional project - Provincial Secretariat of Science and Technological Development of Province of Vojvodina

Duration: 2005-200 8

Project leader: Prof. Dr. Silvia Ghilezan

Project description ( English | Serbian ) List o researchers

·         Types for Proofs and Programs - TYPES

FP6 - Framework Progamme Six Project no. 51099

Duration: 2004-2008

Project leader: Prof. Dr. Bengt Nordstrom, Chalmers University, Sweden

Coordinator of Serbian site: Prof. Dr. Silvia Ghilezan

·         Doctoral School towards European Knowledge Society - DEUKS

TEMPUS -  CD_ JEP-41099-2006 (RS)

Duration: 2007-2009

Project grant holder : Prof. Marina Lenisa, University of Udine, Italy

Project coordinator: Prof. Silvia Ghilezan

Teaching

Trenutno držim vežbe iz sledećih predmeta:

·  Statističke metode (Inženjerstvo zaštite životne sredine)

·  Matematika 2 (Saobraćajni odsek)

·  Matematička statistika (Saobraćajni odsek)
Primere ispitnih zadataka za predmete sa Saobraćajnog odseka možete pronaći ovde.