someone in my group is working on something very similar, but for a very specific type...

someone in my group is working on something very similar, but for a very specific type of computer science logic problems