Independent researcher. PhD Computer Science, Wits. Working on formal prompting frameworks for LLMs.