Home page of Aleksandar Ignjatovic

Associate Professor
School of Computer Science and Engineering

University of New South Wales

Sydney, NSW 2052, Australia

CRICOS Provider Number: 00098G

               Office: CSE (K-17), 5th floor, 504

                   Phone: +61 2 9385 6659

                Email: ignjat@cse.unsw.edu.au       










I got my Bachelor's and Master's degrees in mathematics at the University of Belgrade, former Yugoslavia, and Ph.D. in mathematical logic at the University of California at Berkeley, while holding University of California Regents Fellowship. My thesis was entitled "Fragments of Arithmetic and Lengths of Proofs"; I was fortunate to have as my Thesis Advisor Professor Jack Silver, one of the foremost set theorists, and as a Thesis Committee member Professor Manuel Blum, whose work stimulated my interest in Theoretical Computer Science. After graduating at Berkeley, I got a tenure track position as an Assistant Professor at the Carnegie Mellon University, where I taught for 5 years at the Department of Philosophy and the CMU's Program for Pure and Applied Logic. I left CMU to start a company, and my startup "Kromos Technology" employed several of my former CMU students. The company's CEO was Raj Parekh, former CTO of Sun Microsystems and among our investors and Board members were former President and COO of AMD Atiq Raza, the former CEO of Fiberlane, Cerent and Siara Raj Singh, as well as Redwood Venture Partners. The company was acquired by Comstellar Technologies and it is now a part of  "Kromos Telecommunications". I joined the  School of Computer Science and Engineering at UNSW in 2002, where I am teaching design og algorithms. My research interests include sampling theory and signal processing, algorithms for embedded systems design, algorithms for embedded systems security, algorithms for robust data aggregation in wireless sensor networks, applications of mathematical logic to computational complexity theory as well as educational use of puzzles for teaching serious problem solving techniques.



My contact info:


Room 504, K-17, The University of New South Wales


+61 2 9385 6659


+61 2 9385 5995




School of Computer Science and Engineering,
The University of New South Wales,
Sydney, NSW 2052, Australia


Publications: https://research.unsw.edu.au/people/associate-professor-aleksandar-ignjatovic/publications





 Older publications:


  1. A. Ignjatovic and A. Sharma: Some applications of logic to feasibility in higher types, ACM Transactions on Computational Logic (ToCL), Volume 5, Number 2, 2004.


  1. M. J. Narasimha, A. Ignjatovic, P.P. Vaidyanathan: Chromatic Derivative Filter Banks, IEEE Signal Processing Letters, Vol. 9, No. 7, July 2002.


  1. A. Ignjatovic and M. Grulevic: A comment on the joint embedding property, Periodica Mathematica Hungarica Vol. 33 (1), 1996.


  1. S. Buss and A. Ignjatovic: Unprovability of Consistency Statements in Fragments of Bounded Arithmetic, Annals of Pure and Applied Logic, vol. 74, Number 3, June 1995, pp 221-244.
  1. A. Ignjatovic: Numerical Differentiation and Signal Processing, The Proceedings of International Conference on Information, Communications and Signal Processing, October 15-18, 2001,(ICICS 2001), Singapore.
  1. P. P. Vaidyanathan, A. Ignjatovic, S. Narasimha: New Sampling Expansions Of Band Limited Signals Based On Chromatic Derivatives. 35th Asilomar Conference on Signals, Systems, and Computers, November 4-7, 2001, Monterey, CA, USA.


  1. P. Clote, A. Ignjatovic and B. Kapron: Parallel Computable Higher Type Functionals, 34th IEEE Annual Symposium on Foundations of Computer Science (FOCS), 1993, Stanford.




 Fragments of first and second order arithmetic and length of proofs, University of California at Berkeley, 1990. [citations]



1.     US Patent US6313778, issued June 2001: Aleksandar Ignjatovic and Nicholas Carlin: Method and a system of acquiring local signal behavior parameters for representing and processing a signal.

2.     US Patent US6115726, issued May 2000: Aleksandar Ignjatovic: Signal processor with local signal behavior.



This page is maintained by Aleksandar Ignjatovic