dr.sc. Tajana Ban Kirigin

Odjel za matematiku Zavod za algebru i teoriju brojeva

google scholar

Obrazovanje

1.9.1991. - 25.11.1996. profesor matematike i informatike Koherencijski prostori i Gödelov sistem T; mentor: dr.sc. Dean Rosenzweig Filozofski fakultet u Rijeci
- 21.2.2011. dr.sc. Computational complexity of collaborative systems with nonce creation; mentori: Prof. Andre Scedrov i Prof. Zvonimir Šikić PMF, Zagreb
- 9.7.2004. mr.sc. Logika višeg reda i sustav Isabelle; mentor: dr.sc. Dean Rosenzweig PMF, Zagreb

Radno iskustvo

11.3.2015. - docent Odjel za matematiku, Sveučilište u Rijeci
1.3.2011. - 10.3.2015. viši asistent Odjel za matematiku, Sveučilište u Rijeci
1.4.2008. - 28.2.2011. asistent Odjel za matematiku, Sveučilište u Rijeci
1.2.1998. - 31.3.2008. asistent Filozofski fakultet u Rijeci

Članstva

14.3.2011. - Alumni kluba Odjela za matematiku Sveucilišta u Rijeci
1.10.1998. - Seminar za teorijsko računarstvo, PMF, Zagreb
1.10.1998. - Seminar za logiku i osnove matematike, PMF, Zagreb
- Hrvatsko društvo matematičara i fizičara Rijeka

Nastavna djelatnost

Kolegiji

1.10.2015. - Matematička teorija računarstva
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
voditelj
Norma sati: 45+30
1.10.2014. - Teorija skupova
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
voditelj
Norma sati: 30+30
1.10.2014. - Teorija skupova
Preddiplomski sveučilišni studij Fizika
Odjel za matematiku
voditelj
Norma sati: 30+30
1.10.2012. - 30.9.2013. Seminar III
Diplomski studiji matematike
Odjel za matematiku
voditelj
Norma sati: 30
1.10.2011. - Kompleksna analiza
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
voditelj
Norma sati: 45+30
1.10.2011. - Matematika 1
Preddiplomski sveučilišni studij Informatika
Odjel za informatiku
voditelj
Norma sati: 30+30
1.10.2011. - Matematika za informatičare 1
Dvopredmetni preddiplomski studij informatike
Filozofski fakultet u Rijeci
voditelj
Norma sati: 30+30
1.10.2011. - Logika
Preddiplomski sveučilišni studij Informatika
Odjel za informatiku
voditelj
Norma sati: 15+15
1.10.2011. - Kompleksna analiza
Preddiplomski sveučilišni studij Fizika
Odjel za fiziku
voditelj
Norma sati: 30+30
1.10.2010. - 30.9.2011. Seminar II
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
voditelj
Norma sati: 30
1.10.2009. - 30.9.2011. Povijest matematike
Diplomski studiji matematike
Odjel za matematiku
voditelj
Norma sati: 15+30
1.10.2009. - 30.9.2011. Povijest matematike
Diplomski studiji fizike
Odjel za fiziku
voditelj
Norma sati: 15+30
1.10.2009. - 30.9.2011. Povijest matematike
Diplomski studiji fizike
Odjel za fiziku
voditelj
Norma sati: 15+30
1.10.2008. - Matematička logika
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
voditelj
Norma sati: 30+30
1.10.2008. - Matematička logika
Preddiplomski sveučilišni studij Fizika
Odjel za fiziku
voditelj
Norma sati: 30+30

Mentor u završnim radovima

- 17.7.2017. Kviz u nastavi matematike
Anamarija Žalac
Diplomski studij matematike i informatike (smjer: nastavnički)
Odjel za matematiku
- 21.3.2017. Teorija skupova u osnovnoj školi
Tea Herak
Diplomski studij matematike i informatike (smjer: nastavnički)
Odjel za matematiku
- 27.9.2016. Modeliranje privatnosti u sustavima suradnje
Nikolina Lozina
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
- 27.9.2016. Sustav prirodne dedukcije za logiku prvog reda
Radoslav Tičić
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
- 15.7.2016. Dolev-Yao model napadača
Bojan Ostić
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
- 16.9.2015. Craigov interpolacijski teorem
Kristina Marinković
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
- 16.9.2014. Gödelov prvi teorem o nepotpunosti
Andrea Radočaj
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
- 1.9.2014. Gödel-Löb sustav i generiranje teorema
Luka Mikec
Dvopredmetni preddiplomski studij filozofije i informatike
Filozofski fakultet u Rijeci
- 16.7.2014. Račun teorija prvog reda
David Tarandek
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
- 1.5.2012. Rekurzivne funkcije
Marko Kovačić
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku
- 1.11.2011. Halting problem
Ivan Tudor
Preddiplomski sveučilišni studij Matematika
Odjel za matematiku

Znanstvena i umjetnička djelatnost

Znanstveni radovi

1. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols
Journal of Computer Security - 2017. http://www.iospress.nl/journal/journal-of-computer-security/

Q2

2. Perak, Benedikt; Ban Kirigin, Tajana
Formalizing an Ontological Model of Lexical Concepts and Constructions for Emotion Domain
- 2016. http://itis2016.fis.unm.si/

3. Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
Lecture Notes in Computer Science 9884 228-244 - 2016. http://link.springer.com/chapter/10.1007%2F978-3-319-44878-7_14
Preuzeto sa: https://bib.irb.hr/prikazi-rad?&rad=822635

Q3

4. Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn
Can we mitigate the attacks on Distance- Bounding Protocols by using challenge-response rounds repeatedly ?
- 2016.
Preuzeto sa: https://bib.irb.hr/prikazi-rad?&rad=822630

5. Ban Kirigin, Tajana; Meštrović, Ana; Martinčić- Ipšić, Sanda
Towards a Formal Model of Language Networks
Information and Software TechnologiesSpringer International Publishing , 2015. 469-479 (ISBN: 978-3-319-24769-4). 538 469-479 - 2015. http://link.springer.com/chapter/10.1007/978-3-319-24770-0_40

Q4

6. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott, Ranko Perovic
A rewriting framework and logic for activities subject to regulations
Mathematical Structures in Computer Science - 2015. http://journals.cambridge.org/action/displayJournal?jid=MSC

Q2

7. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
A rewriting framework and logic for activities subject to regulations
Mathematical structures in computer science FirstView 1-44 - 2015. http://journals.cambridge.org/article_S096012951500016X

Q2
WOS

8. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols
Springer LNCS 9036 259 - 279 - 2015.

Q2

9. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Bounded memory Dolev-Yao adversaries in collaborative systems
Information and computation, Special issue on Security and Rewriting Techniques (0890-5401) (2013) 238 233-261 - 2014. http://www.sciencedirect.com/science/article/pii/S0890540114000972?np=y

Q1
WOS

10. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Progressing Collaborative Systems
Advances in Computer Science : an International Journal 3 78-86 - 2014. http://www.acsij.org/about-us

11. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Bounded Memory Protocols
Computer languages systems & structures (1477-8424) (2014) 40 137-154 - 2014. http://www.sciencedirect.com/science/article/pii/S1477842414000347

Q2
WOS

12. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Bounded Memory Protocols and Progressing Collaborative Systems
Lecture Notes in Computer Science, Volume 8134 / Crampton, Jason ; Jajodia, Sushil ; Mayes, Keith (ur.). - Springer-Verlag , 2013. 309-326 (ISBN: 978-3-642-40202-9). 8134 309-326 - 2013.

Q2

13. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
A Rewriting Framework for Activities Subject to Regulations
23rd International Conference on Rewriting Techniques and Applications (RTA'12) proceedings / Ashish Tiwari (ur.). - Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , 2012. 305-322 (ISBN: 978-3-939897-38-5). 305-322 - 2012.

14. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Timed Collaborative Systems with Real Time
- 2012. http://www2.tcs.ifi.lmu.de/~vnigam/docs/TR-TLSTS/timedLSTS-TR.pdf

15. Nigam, Vivek; Ban Kirigin, Tajana; Scedrov, Andre; Talcott, Carolyn; Kanovich, Max; Perovic, Ranko
Towards an Automated Assistant for Clinical Investigations
ACM Digital Library / Luo, Gang ; Liu, Jiming ; Yang, Christopher C. (ur.). - ACM , 2012. 773-778 (ISBN: 978-1-4503-0781-9). 773-778 - 2012.

16. Ban Kirigin, Tajana
Computational complexity of collaborative systems with nonce creation
- 2011.

17. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Bounded Memory Protocols and Progressing Collaborative Systems
Lecture Notes in Computer Science 6561 18-33 - 2010.

Q2

18. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Progressing Collaborative Systems
- 2010.

19. Ban Kirigin, Tajana
Logika višeg reda i sustav Isabelle( Higher-order logic and system Isabelle )
- 2004.

Kongresna priopćenja

1.
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn
Timed Multiset Rewriting and the Verification of Time- Sensitive Distributed Systems Predavanje Logic and Applications 2016 Dubrovnik, Hrvatska - 19.9.2016.
Preuzeto sa: https://bib.irb.hr/prikazi-rad?&rad=839350
2.
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn
Can we mitigate the attacks on Distance-Bounding Protocols by using challenge- response rounds repeatedly ? Predavanje Logic and Applications 2016 Dubrovnik, Hrvatska - 19.9.2016.
Preuzeto sa: https://bib.irb.hr/prikazi-rad?&rad=839352
3.
Ban Kirigin, Tajana; Meštrović, Ana; Martinčić- Ipšić, Sanda
Towards a Formal Model of Language Networks predavanje 21st International Conference on Information and Software Technologies (ICIST 2015) Druskininkai, Litva - 15.10.2015. http://icist.if.ktu.lt/index.php/ICIST
4.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
A Rewriting Framework and Logic for Activities Subject to Regulations predavanje Logic and Applications 2015 Dubrovnik, Hrvatska - 21.9.2015. http://imft.ftn.uns.ac.rs/math/cms/LAP2015
5.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols predavanje Logic and Applications 2015 Dubrovnik, Hrvatska - 21.9.2015. http://imft.ftn.uns.ac.rs/math/cms/LAP2015
6.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols predavanje 4th Conference on Principles of Security and Trust (POST) London, Velika Britanija - 11.4.2015. http://www.etaps.org/index.php/2015/post/40-etaps-2015/etaps-2015/228-post-accepted
7.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Time-Bounding Needham-Schroeder Public Key Exchange Protocol predavanje LAP (Logic and Applications) 2014 Dubrovnik - 22.9.2014. http://imft.ftn.uns.ac.rs/math/cms/LAP2014
8.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Towards Timed Models for Cyber-Physical Security Protocols Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography Vienna, Austria - 18.7.2014.
9.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Timed Collaborative Systems with Real Time predavanje LAP (Logic and Applications) 2013 Dubrovnik, HR - 16.9.2013. http://imft.ftn.uns.ac.rs/math/cms/LAP2013
10.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Bounded Memory Protocols and Progressing Collaborative Systems predavanje ESORICS - European Symposium on Research in Computer Security 2013 Egham, UK - 9.9.2013. http://esorics2013.isg.rhul.ac.uk/
11.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Bounded Memory Protocols and Progressing Collaborative Systems predavanje FCS'13 Workshop on Foundations of Computer Security New Orleans, USA - 29.6.2013. http://prosecco.gforge.inria.fr/personal/bblanche/fcs13/
12.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
A Rewriting Framework for Activities Subject to Regulations predavanje 5th Croatian Mathematical Congress Rijeka, HR - 19.6.2012. http://www.math.uniri.hr/CroMC2012/
13.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
A Rewriting Framework for Activities Subject to Regulations predavanje RTA 2012 - 23rd International Conference on Rewriting Techniques and Applications Nagoya, Japan - 28.5.2012. http://rta2012.trs.cm.is.nagoya-u.ac.jp/
14.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
Towards an Automated Assistant for Clinical Investigations poster IHI 2012 - 2nd ACM SIGHIT Internatioanl Health Informatics Symposium Miami, Florida, USA - 28.1.2012. https://sites.google.com/site/web2011ihi/home
15.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Bounded memory Dolev-Yao adversaries in collaborative systems. predavanje FAST 2010. The 7th International Workshop on Formal Aspects of Security & Trust Pisa, Italia - 13.9.2010. http://www.iit.cnr.it/FAST2010/
16.
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Collaborative Systems with Nonce Updates predavanje NATO-ASI Information Security and Related Combinatorics Opatija, HR - 31.5.2010. http://www.math.uniri.hr/NATO-ASI/

Znanstveni projekti

1. 1.1.2015. - 1.1.2016.
Cyber Protocols in the Physical Environment; istraživač; Office of Naval Research (ONR), USA; ;
2. 1.1.2014. - 1.1.2017.
Regulated Colaborative Systems: Foundations and Applications; istraživač; SCIENCE WITHOUT BORDERS, Ministry of Education, Brasil; ;
3. 1.1.2014. - 1.1.2016.
Kompleksne mreže jezika - LangNet; istraživač; Sveučilište u Rijeci ; ; http://langnet.uniri.hr/index.html
4. 1.1.2013. - 1.1.2014.
Protocols and Policies; istraživač; Office of Naval Research (ONR), USA; ;
5. 1.1.2007. - 1.1.2013.
Matematička logika i primjene; istraživač; MZOS; ;
6. 1.1.2007. - 1.1.2013.
Logika i stvarnost; istraživač; MZOS; ;

Stručna djelatnost


Javno djelovanje

Javna predavanja

1. 2.6.2011. - Složenost u sustavima suradnje koji mogu generirati nove vrijednosti
Društvo matematičara i fizičara Rijeka
Rijeka
2. 11.11.2004. - Isabelle - Sustav za dokazivanje teorema
Društvo matematičara i fizičara Rijeka
Rijeka

Popularizacija znanosti

1. 19.4.2017. - P vs. NP
Riječki matematički susreti 2017, Odjel za matematiku, Sveučilište u Rijeci
Rijeka
2. 5.12.2013. - O teoriji skupova
Večer matematike, Odjel za matematiku, Sveučilište u Rijeci
Rijeka
3. 24.3.2013. - O teoriji skupova
Festival znanosti, Otvoreni dan Sveučilišnih odjela Sveučilišta u Rijeci
Rijeka