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), 5^th 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 of 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: Office: Room 504, K-17, The University of New South Wales Phone: +61 2 9385 6659 Fax: +61 2 9385 5995 Email: ignjat@cse.unsw.edu.au Mail: 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. M. J. Narasimha, A. Ignjatovic, P.P. Vaidyanathan: Chromatic Derivative Filter Banks, IEEE Signal Processing Letters, Vol. 9, No. 7, July 2002.

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

3. 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.

4. 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.

5. 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.

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

Thesis:

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

Patents: 

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.

---