By: ValentinHirschi <valentin.hirschi@gmail.com>
Discuss certified region analysis and symGCAD research opportunities