ARC funds about 4 Discovery projects per year in the RFCD code 2804 that seems to be the closest to theoretical computer science. Projects run for 3 years. In the last 2 years the total budget awarded was about $1m to these theory projects. That's about $85K per project per year. Each project has an average of 2.6 names on it. Which means that the average funding is about $32K per project per year per person named on the proposal. It could be that about 30 theorists have an ARC discovery project running. Since it is allowed to have a maximum of 2 discovery projects at the same time, there should be between 15 and 30 theorists with an ARC discovery running at the moment.

The Computer science research area is within the RFCD code 280000-Information, computing and communication sciences. The "theory" RFCD code should be 2804-Computation theory and mathematics. The 280000 ICT area has 5 RFCD codes/sub-areas as shown in the table below. Those are the areas that actually received funding in the last 3 years.

In the past 3 years, 2005-7 (2007 means "funding awarded in 2006 for projects beginning in 2007") the ARC funded proposals as follows:

code | Area | 2007 | 2006 | 2005 |

2801 | Information systems | 18 | 23 | 16 |

2802 | AI and signal processing | 24 | 16 | 20 |

2803 | software | 5 | 5 | 10 |

2804 | comp theory | 4 | 4 | 10 |

2805 | Data format | 5 | 8 | 7 |

2800 | All ICT- total (280000) | 56 | 56 | 64* |

Source: ARC website. * in 2005 there was one more proposal funded in the "Other ICT" category, RFCD code 2899.

In 2007 the 4 projects in the theory RFCD code were the following:

- Efficient Pre-Processing of Hard Problems: New Approaches, Basic Theory and Applications, Griffith University, Prof V Estivill-Castro; Dr MR Fellows; Prof MA Langston, $380K in 4 years
- A Virtual Electromagnetic Compatibility (EMC) Lab Based on Advanced Computer Modeling and Simulation Techniques, Griffith University, A/Prof J Lu; Dr E Li, $275K in 3 years
- Information security and digital watermarking with Latin squares, Monash University, Dr TE Hall; Dr IM Wanless; Dr AZ Tirkel, $223K in 3 years
- Application of novel exact combinatorial optimisation techniques and metaheuristic methods for problems in cancer research, The University of Newcastle, Dr PA Moscato; Prof RJ Scott; Dr MA Langston, $237K in 3 years

In 2006 ("funding begins in 2006") the 4 projects in the theory RFCD code were the following:

- Early detection of component incompatibility in time-dependent computer architectures, University of Adelaide, DG Hemer, $157K in 3 years
- Fast, practical and effective algorithms for clustering with advice, University of Melbourne, Dr AI Wirth, $153K in 3 years
- A Grid-Enabled Meta-Server for Protein Threading, University of Sydney, Prof AY Zomaya; Dr B Zhou; Dr M Charleston; Dr A Viglas, $366K in 3 years
- Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems, University of Western Syndey, A/Prof Y Zhang; Dr AC Nayak; Dr K Wang; A/Prof F Lin, $234K in 3 years

- An innovative computational technique for the study and control of oscillation marks in continuous casting of steel, Curtin University of Technology, A/Prof Y Wu, $190K in 3 years
- Coarse Grained Parallel Algorithms, Griffith University, Prof FK Dehne, $206K in 3 years
- Algebraic reasoning for serialisability in probabilistic transaction systems, Macquarie University, Dr AK McIver; Dr CC Morgan; Prof T Nipkow, $147K in 3 years
- Devising sophisticated computational comparative genomic analysis strategies for animal and plant genomes, Murdoch University, Prof M Bellgard; A/Prof JK Kulski; Prof R Appels; Dr RH Taplin; A/Prof RR Barrero, $160K in 3 years
- THE DEVELOPMENT OF MECHANISTIC MODELS FOR BUBBLY FLOWS WITH HEAT AND MASS TRANSFER, RMIT University, A/Prof JY Tu; Dr GH Yeoh; Prof G Park, $178K in 3 years
- Advanced computational techniques for micro/nano multiscale systems of NEMS/BioMEMS, The University of Sydney, Dr Y Gu, $222K in 3 years
- Optimum design of controlled drug delivery systems, The University of Western Australia, A/Prof S Wang; Dr X Lou, $231K in 3 years
- Knowledge Based Model Updating for the Correctness of Security Protocols, University of Western Sydney, A/Prof Y Zhang; A/Prof MA Orgun; Dr AC Nayak; Dr Y Mu; Dr F Bao, $284K in 3 years
- Timeless digital signature for self-organising groups, University of Wollongong, Prof R Safavi-Naini; Prof PR Wild, $278K in 3 years
- Short Signatures: Tools for Securing Digital Transactions, and Their Applications, University of Wollongong, Dr W Susilo; Dr Y Mu; Dr F Zhang, $192K in 2 years

the RFCD (Research Fields, Courses and Disciplines Classification) codes for computer science are organized as follows:

- 2800 INFORMATION, COMPUTING AND COMMUNICATION SCIENCES
- 280100 Information Systems
- 280200 Artificial Intelligence and Signal and Image Processing
- 280300 Computer Software
- 280400 Computation Theory and Mathematics
- 280401 Analysis of Algorithms and Complexity
- 280402 Mathematical Logic and Formal Languages
- 280403 Logics and Meanings of Programs
- 280404 Numerical Analysis
- 280405 Discrete Mathematics
- 280406 Mathematical Software
- 280499 Computation Theory and Mathematics not elsewhere classified

- 280401 Analysis of Algorithms and Complexity
- 280500 Data Format
- 289900 Other Information, Computing and Communication Sciences

- 280100 Information Systems