Skip to content
View timm's full-sized avatar

Highlights

  • Pro

Block or report timm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
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 52

  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)