ARDC Research Link Australia Research Link Australia   BETA Research
Link
Australia
  • ARDC Newsletter Subscribe
  • Contact Us
  • Home
  • About
  • Feedback
  • Explore Collaborations
  • Researcher
  • Funded Activity
  • Organisation
  • Researcher
  • Funded Activity
  • Organisation
  • Researcher
  • Funded Activity
  • Organisation

Need help searching? View our Search Guide.

Advanced Search

Current Selection
Research Topic : Mathematical Logic And Formal Languages
Clear All
Filter by Field of Research
Biochemistry and Cell Biology (783)
Psychology (781)
Nanotechnology (719)
Environmental Science and Management (716)
Materials Engineering (693)
Public Health and Health Services (649)
Functional Materials (598)
Genetics (552)
Nanomaterials (517)
Artificial Intelligence and Image Processing (501)
Sociology (483)
Conservation and Biodiversity (460)
Ecology (428)
Physical Chemistry (Incl. Structural) (421)
Civil Engineering (415)
Electrical and Electronic Engineering (389)
Geology (389)
Macromolecular and Materials Chemistry (364)
Pattern Recognition and Data Mining (356)
Policy and Administration (349)
Biomaterials (347)
Information Systems (334)
Ecological Impacts of Climate Change (323)
Structural Biology (incl. Macromolecular Modelling) (319)
Historical Studies (313)
Interdisciplinary Engineering (312)
Natural Resource Management (311)
Plant Physiology (310)
Composite and Hybrid Materials (308)
Plant Biology (307)
Filter by Socio-Economic Objective
Expanding Knowledge in the Biological Sciences (2175)
Expanding Knowledge in Technology (1377)
Expanding Knowledge in the Physical Sciences (1365)
Expanding Knowledge in Engineering (1311)
Expanding Knowledge in the Chemical Sciences (1115)
Biological sciences (791)
Expanding Knowledge in the Medical and Health Sciences (717)
Expanding Knowledge in Psychology and Cognitive Sciences (676)
Expanding Knowledge in the Information and Computing Sciences (610)
Other (596)
Expanding Knowledge in the Mathematical Sciences (573)
Physical sciences (572)
Expanding Knowledge in the Earth Sciences (566)
Expanding Knowledge through Studies of Human Society (527)
Understanding Australia's Past (467)
Scientific Instruments (457)
Ecosystem Adaptation to Climate Change (456)
Chemical sciences (455)
Expanding Knowledge in the Environmental Sciences (438)
Effects of Climate Change and Variability on Australia (excl. Social Impacts) (427)
Land and water management (414)
Flora, Fauna and Biodiversity at Regional or Larger Scales (377)
Scientific instrumentation (366)
Expanding Knowledge In the Biological Sciences (364)
Expanding Knowledge In Engineering (333)
Expanding Knowledge in History and Archaeology (326)
Behaviour and Health (318)
Expanding Knowledge in the Agricultural and Veterinary Sciences (313)
Treatments (e.g. chemicals, antibiotics) (312)
Treatment of human diseases and conditions (285)
Filter by Current Organisation
Griffith University (1522)
University of melbourne (717)
Monash university (683)
The university of queensland (616)
University of Technology Sydney (587)
Australian national university (530)
The university of sydney (514)
University of western australia (415)
Macquarie university (396)
Queensland university of technology (367)
University of new south wales (355)
University of technology sydney (312)
The university of adelaide (257)
RMIT University (256)
Curtin university (200)
Flinders university (188)
The university of wollongong (188)
Deakin university (174)
University of south australia (171)
University of tasmania (170)
Griffith university (167)
La trobe university (128)
UNSW Sydney (126)
Csiro (121)
The university of newcastle (115)
Swinburne university of technology (113)
Western Sydney University (109)
University of canberra (68)
James cook university (65)
Edith cowan university (61)
Filter by Country
Australia (9099)
United States of America (1907)
United Kingdom of Great Britain and Northern Ireland (1876)
Germany (618)
China (584)
Canada (507)
France (354)
New Zealand (344)
Netherlands (266)
Switzerland (243)
Italy (209)
Singapore (191)
Sweden (188)
Japan (180)
India (160)
Spain (157)
Denmark (142)
Hong Kong (135)
South Africa (108)
Belgium (102)
Ireland (97)
Austria (95)
Brazil (81)
"Korea, Republic of" (70)
Finland (69)
Norway (60)
Russian Federation (59)
Viet Nam (54)
Iran (Islamic Republic of) (53)
Malaysia (46)
Filter by Australian State/Territory
NSW (3465)
VIC (3135)
QLD (2041)
ACT (1386)
WA (1058)
SA (942)
TAS (286)
NT (81)
  • Researchers (16049)
  • Funded Activities (32573)
  • Organisations (3584)
  • The sequence of this search result does not indicate the ranking of researchers in the searched topic area. However, it does reflect those who have received grants or published manuscripts related to the searched area.

    Researcher

    Mikhail Volkov

    Ural'skij federal'nyj universitet imeni pervogo Prezidenta Rossii B N El'cina
    ORCID Profile
    0000-0002-9327-243X
    Publications
    6
    Grants Awarded
    1
    Top 5 Research Topics
    Mathematical Logic And Formal Languages (1) | Mathematical Logic, Set Theory, Lattices And Combinatorics (1) | Analysis Of Algorithms And Complexity (1) | Mathematical sciences (1) | Computation Theory and Mathematics (1)
    More information
    Researcher

    Marcel Jackson

    La trobe university
    ORCID Profile
    0000-0002-8149-1141
    Publications
    63
    Grants Awarded
    3
    Top 5 Research Topics
    Pure Mathematics (2) | Mathematical sciences (2) | Combinatorics and Discrete Mathematics (excl. Physical Combinatorics) (1) | Mathematical Logic And Formal Languages (1) | Mathematical Logic, Set Theory, Lattices And Combinatorics (1)
    More information
    Researcher

    Richard Garner

    Macquarie university
    ORCID Profile
    0000-0003-4475-8721
    Publications
    44
    Grants Awarded
    5
    Top 5 Research Topics
    Category Theory, K Theory, Homological Algebra (5) | Pure Mathematics (5) | Expanding Knowledge in the Mathematical Sciences (5) | Mathematical Logic, Set Theory, Lattices and Universal Algebra (1) | Computational Logic and Formal Languages (1)
    More information
    Researcher

    Adam PIGGOTT

    Australian national university
    ORCID Profile
    0000-0002-9156-9096
    Publications
    17
    Grants Awarded
    1
    Top 5 Research Topics
    Group Theory and Generalisations (1) | Expanding Knowledge in the Information and Computing Sciences (1) | Pure Mathematics (1) | Expanding Knowledge in the Mathematical Sciences (1) | Computational Logic and Formal Languages (1)
    More information
    Researcher

    RICHARD HAN

    Macquarie university , University of Colorado Boulder
    ORCID Profile
    0000-0002-2161-8622
    Publications
    99
    Grants Awarded
    1
    Top 4 Research Topics
    Distributed Computing (1) | Computational Logic and Formal Languages (1) | Aerospace Transport not elsewhere classified (1) | Mobile Technologies (1)
    More information
    Researcher

    Valtteri Kallinen

    ORCID Profile
    0000-0002-9806-3573
    Publications
    3
    Grants Awarded
    1
    Top 4 Research Topics
    Distributed Computing (1) | Computational Logic and Formal Languages (1) | Aerospace Transport not elsewhere classified (1) | Mobile Technologies (1)
    More information
    Researcher

    Laura Ciobanu

    Heriot-Watt University
    ORCID Profile
    0000-0002-9451-1471
    Publications
    2
    Grants Awarded
    1
    Top 5 Research Topics
    Combinatorics and Discrete Mathematics (excl. Physical Combinatorics) (1) | Group Theory and Generalisations (1) | Expanding Knowledge in the Information and Computing Sciences (1) | Pure Mathematics (1) | Expanding Knowledge in the Mathematical Sciences (1)
    More information
    Researcher

    Peter Höfner

    Australian national university
    ORCID Profile
    0000-0002-2141-5868
    Grants Awarded
    1
    Top 5 Research Topics
    Expanding Knowledge in the Information and Computing Sciences (1) | Operating Systems (1) | Computational Logic and Formal Languages (1) | Computer Software (1) | Concurrent Programming (1)
    More information
    Researcher

    Brijesh Dongol

    University of Surrey
    ORCID Profile
    0000-0003-0446-3507
    Publications
    13
    Grants Awarded
    1
    Top 5 Research Topics
    Expanding Knowledge in the Information and Computing Sciences (1) | Operating Systems (1) | Computational Logic and Formal Languages (1) | Computer Software (1) | Concurrent Programming (1)
    More information
    Researcher

    Murray Elder

    University of Technology Sydney
    ORCID Profile
    0000-0002-2438-3945
    More information

    Showing 1-10 of 16049 Researchers

    • 1
    • 2
    • 3
    • 4
    • 5
    Advanced Search

    Advanced search on the Researcher index.

    Advanced search on the Funded Activity index.

    Advanced search on the Organisation index.

    National Collaborative Research Infrastructure Strategy

    The Australian Research Data Commons is enabled by NCRIS.

    ARDC CONNECT NEWSLETTER

    Subscribe to the ARDC Connect Newsletter to keep up-to-date with the latest digital research news, events, resources, career opportunities and more.

    Subscribe

    Quick Links

    • Home
    • About Research Link Australia
    • Product Roadmap
    • Documentation
    • Disclaimer
    • Contact ARDC

    We acknowledge and celebrate the First Australians on whose traditional lands we live and work, and we pay our respects to Elders past, present and emerging.

    Copyright © ARDC. ACN 633 798 857 Terms and Conditions Privacy Policy Accessibility Statement
    Top
    Quick Feedback