I am master's student in Computer Science at the University of Minnesota. My main focus has been on machine learning, but I do enjoy working on software engineering projects as well. In particular, projects that work with AI or have an impact on edu…

PlantingSpace is a research and development startup with the goal of building a system capable of understanding knowledge, to answer questions and get things done. To pursue this goal, we leverage emerging scientific fields such as category theory, …

What we are currently hiring for: - Dynamical Systems Research: to analyze our learning algorithm as a dynamical system - Transformers Software Engineering (NLP): For transformer models, to work on query parsing - Global HR Manager: to build the …

We are a research and development startup, with an ambitious goal to build a system capable of understanding knowledge, to answer questions and get things done. Our work leverages cutting-edge domains such as Probabilistic Programming and Applied Ca…

We are a research and development startup, with an ambitious goal to build a system capable of understanding knowledge, to answer questions and get things done. Our work leverages cutting-edge domains such as Probabilistic Programming and Applied Ca…

Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do.