Skip to content
View timm's full-sized avatar

Highlights

  • Pro

Block or report timm

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
timm/README.md

👋 Hi there, I'm Tim Menzies

🧭 About Me

Professor at NC State, exploring how to make AI simpler, clearer, and more useful for software engineers.
My work connects software engineering, data-driven methods, and human insight.
I’ve helped build open research tools and ideas like PROMISE, EZR, and BINGO, used worldwide for teaching and experimentation.
Lately, I focus on minimal AI, active learning, and explainable optimization—how small, clear models can do more with less.


🧩 Tech Stack

Python Lua Common Lisp Bash LaTeX Markdown Git Neovim


🧠 Interests

  • Software Engineering & Empirical Methods
  • Active Learning & Bayesian Optimization
  • Minimal, Explainable AI
  • Reproducible Research & Open Science

🌱 Current Focus

Designing lightweight methods for reasoning under uncertainty.
If a model can’t explain itself—or be rebuilt from a few lines of code—it’s not ready for engineers.


🤝 Connect

Website
Google Scholar DBLP arXiv Email

Pinned Loading

  1. ezr ezr Public

    Explanation system for semi-supervised multi-objective optimization

    Python 5 53

  2. simple stochastic assumption-based r... simple stochastic assumption-based reasoning
    1
    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    2
    % macro magic (not actually used)
    3
    :- op(1001,xfy,ors).
    4
    :- op( 990,fx ,might).
    5
    
                  
  3. data mining for multi-objective opt... data mining for multi-objective optimization
    1
    <!-- Copyright (c) 2025 Tim Menzies, MIT License
    2
    https://opensource.org/licenses/MIT -->
    3
    
                  
    4
    ![Purpose](https://img.shields.io/badge/AI·Optimization-purple?logo=githubcopilot&logoColor=white)
    5
    ![License](https://img.shields.io/badge/license-MIT-green)