If you could give a brief introduction about yourself and what you do and your company, that'd be great.

Thank you.

So myself, I started long time ago in a domain that at that time we call it automatic reasoning.

that was in the late 90s, beginning 2000.

It was about automatic theorem proving, symbolic simulation, and the application at that time, it was hardware design.

It's nothing related to what we call today AI, but practically it was a form of very sophisticated AI.

I finished that, I published, I was proud of myself.

I agree with you first.