Martin Vechev

<h2 id="advised-doctoral-students">Advised doctoral students</h2>
Vechev has supervised and graduated 17 doctoral students at <a href="/facts/ETH_Zurich/IxHAFGUU">ETH Zurich</a>. Several of his Ph.D. students received major recognitions for their dissertations.
Veselin Raychev received an Honorable Mention for the <a href="/facts/ACM_Doctoral_Dissertation_Award/QfKjp3Sa">ACM Doctoral Dissertation Award</a><a class="footnote-ref" id="fnref:16" href="#fn:16">16</a> and the <a href="/facts/ETH_medal/mLMe9Yfq">ETH medal</a>.
Gagandeep Singh received the <a href="/facts/ACM_SIGPLAN/BoQyp9jf">ACM SIGPLAN</a> Doctoral Dissertation Award.<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a><a class="footnote-ref" id="fnref:18" href="#fn:18">18</a>
Samuel Steffen was awarded the ACM SIGSAC Doctoral Dissertation Award Runner-Up.<a class="footnote-ref" id="fnref:19" href="#fn:19">19</a>
Benjamin Bichsel received both the <a href="/facts/ACM_SIGPLAN/BoQyp9jf">ACM SIGPLAN</a> John C. Reynolds Doctoral Dissertation Award<a class="footnote-ref" id="fnref:20" href="#fn:20">20</a><a class="footnote-ref" id="fnref:21" href="#fn:21">21</a> and the ETH medal<a class="footnote-ref" id="fnref:22" href="#fn:22">22</a> on the topic of 'High-Level Quantum Programming'.
Timon Gehr received the ETH medal.<a class="footnote-ref" id="fnref:23" href="#fn:23">23</a>
Rüdiger Birkner was awarded the 2022 EuroSys Roger Needham Ph.D. Award.<a class="footnote-ref" id="fnref:24" href="#fn:24">24</a>
Dimitar K. Dimitrov received the ETH medal.<a class="footnote-ref" id="fnref:25" href="#fn:25">25</a>

<h2 id="early-life-and-education">Early life and education</h2>
Martin Vechev was born in <a href="/facts/Sofia/2DVkVamk">Sofia</a>, <a href="/facts/Bulgaria/Er5pY3YS">Bulgaria</a>, where he attended the <a href="https://smg.bg/">Sofia High School of Mathematics (SMG)</a> from 1991 to 1994. He received a B.Sc. in <a href="/facts/Computer_science/lN3pEyPz">Computer Science</a> from <a href="/facts/Simon_Fraser_University/o5EasHf7">Simon Fraser University</a> in 2001 and a Ph.D. in computer science from the <a href="/facts/University_of_Cambridge/0la7aX9o">University of Cambridge</a> in 2008.

<h2 id="serial-entrepreneurship">Serial entrepreneurship</h2>
Vechev has also co-founded 6 deep tech start-ups:

<ul><li>LatticeFlow, building a platform for delivering robust and trustworthy AI systems<a class="footnote-ref" id="fnref:26" href="#fn:26">26</a><a class="footnote-ref" id="fnref:27" href="#fn:27">27</a><a class="footnote-ref" id="fnref:28" href="#fn:28">28</a></li>
<li>DeepCode, an AI-based code review system, acquired by the security unicorn <a href="/facts/Snyk/4oWMwyFV">Snyk</a> in 2020<a class="footnote-ref" id="fnref:29" href="#fn:29">29</a><a class="footnote-ref" id="fnref:30" href="#fn:30">30</a><a class="footnote-ref" id="fnref:31" href="#fn:31">31</a></li>
<li>ChainSecurity, smart contract security audits based on formal mathematical guarantees, acquired by PwC Switzerland in 2020<a class="footnote-ref" id="fnref:32" href="#fn:32">32</a></li>
<li>NetFabric, focused on AI-based network monitoring<a class="footnote-ref" id="fnref:33" href="#fn:33">33</a><a class="footnote-ref" id="fnref:34" href="#fn:34">34</a><a class="footnote-ref" id="fnref:35" href="#fn:35">35</a></li>
<li>Invariant Labs, dedicated to developing advanced security solutions for autonomous AI agents<a class="footnote-ref" id="fnref:36" href="#fn:36">36</a></li>
<li>and LogicStar, a company developing AI agents that autonomously resolve bugs<a class="footnote-ref" id="fnref:37" href="#fn:37">37</a></li></ul>
<h2 id="awards">Awards</h2>
Vechev's work has been recognized by many international awards, including:

<ul><li><a href="/facts/SIGPLAN/BoQyp9jf">ACM SIGPLAN Robin Milner Young Researcher Award</a><a class="footnote-ref" id="fnref:38" href="#fn:38">38</a><a class="footnote-ref" id="fnref:39" href="#fn:39">39</a><a class="footnote-ref" id="fnref:40" href="#fn:40">40</a> in 2019 for major contributions to the area of programming languages</li>
<li><a href="/facts/SIGPLAN/BoQyp9jf">ACM SIGPLAN</a> Research Highlight<a class="footnote-ref" id="fnref:41" href="#fn:41">41</a></li>
<li><a href="/facts/Communications_of_the_ACM/Ix1DvEAk">CACM</a> Research Highlight 2016<a class="footnote-ref" id="fnref:42" href="#fn:42">42</a><a class="footnote-ref" id="fnref:43" href="#fn:43">43</a><a class="footnote-ref" id="fnref:44" href="#fn:44">44</a></li>
<li><a href="/facts/European_Research_Council/ajpwnCVz">ERC Consolidator Grant</a> 2021<a class="footnote-ref" id="fnref:45" href="#fn:45">45</a><a class="footnote-ref" id="fnref:46" href="#fn:46">46</a> for the project SafeAI: Certified Safe, Fair and Robust Artificial Intelligence</li>
<li><a href="/facts/ERC_Starting_Grant/ajpwnCVz">ERC Starting Grant</a><a class="footnote-ref" id="fnref:47" href="#fn:47">47</a><a class="footnote-ref" id="fnref:48" href="#fn:48">48</a><a class="footnote-ref" id="fnref:49" href="#fn:49">49</a><a class="footnote-ref" id="fnref:50" href="#fn:50">50</a> for the project BIGCODE, the first to combine advanced programming languages and machine learning techniques, which developed new AI-based methods for creating and debugging software</li>
<li><a href="/facts/John_Atanasoff/HTXjwa4Y">John Atanasoff</a> Award 2009, awarded by the <a href="/facts/President_of_Bulgaria/bX5Eq9KS">President of Bulgaria</a><a class="footnote-ref" id="fnref:51" href="#fn:51">51</a><a class="footnote-ref" id="fnref:52" href="#fn:52">52</a><a class="footnote-ref" id="fnref:53" href="#fn:53">53</a></li>
<li>Google and Facebook Faculty Research Awards</li>
<li>IBM Research Division Award</li>
<li>IBM Extraordinary Accomplishment Award (awarded by John Kelly, IBM Senior Vice President and Director of IBM Research)</li>
<li>IBM Research Outstanding Project Award</li>
<li>IBM Invention and Outstanding Technical Achievement Awards</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">"SafeAI: Safe Artificial Intelligence". safeai.ethz.ch. <a href="https://safeai.ethz.ch/" target="_blank">https://safeai.ethz.ch/</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">"Building the next generation AI systems". ERC. April 29, 2024. <a href="https://erc.europa.eu/projects-statistics/science-stories/building-next-generation-ai-systems" target="_blank">https://erc.europa.eu/projects-statistics/science-stories/building-next-generation-ai-systems</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">"SafeAI: Safe Artificial Intelligence". safeai.ethz.ch. <a href="https://safeai.ethz.ch/" target="_blank">https://safeai.ethz.ch/</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">"Silq is a new high-level programming language for quantum computers". TechCrunch. Retrieved December 19, 2021. <a href="https://techcrunch.com/2020/06/15/silq-is-a-new-high-level-programming-language-for-quantum-computers/" target="_blank">https://techcrunch.com/2020/06/15/silq-is-a-new-high-level-programming-language-for-quantum-computers/</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">"ACM Young Researcher Award for Prof. Martin Vechev". ETH Zurich. 2019. <a href="https://ethz.ch/en/the-eth-zurich/portrait/latest-honours-and-prizes/2019/07/acm-young-researcher-award-for-prof-martin-vechev.html" target="_blank">https://ethz.ch/en/the-eth-zurich/portrait/latest-honours-and-prizes/2019/07/acm-young-researcher-award-for-prof-martin-vechev.html</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">"Robin Milner Young Researcher Award". www.sigplan.org. <a href="https://www.sigplan.org/Awards/Milner/" target="_blank">https://www.sigplan.org/Awards/Milner/</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">"Prof. Martin Vechev honoured with ACM Young Researcher Award". inf.ethz.ch. Retrieved December 27, 2021. <a href="https://inf.ethz.ch/news-and-events/spotlights/2019/06/Vechev-ACM-SIGPLAN-award.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/2019/06/Vechev-ACM-SIGPLAN-award.html</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">"313 new ERC Consolidator Grants to tackle big scientific questions". ERC. September 5, 2024. Retrieved September 13, 2024. <a href="https://erc.europa.eu/news/erc-2021-consolidator-grants-results" target="_blank">https://erc.europa.eu/news/erc-2021-consolidator-grants-results</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">"ERC Consolidator Grants for Otmar Hilliges and Martin Vechev". inf.ethz.ch. March 17, 2022. Retrieved September 13, 2024. <a href="https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2022/03/erc-grant-otmar-hilliges-martin-vechev.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2022/03/erc-grant-otmar-hilliges-martin-vechev.html</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">"Building the next generation AI systems". ERC: European Research Council. 2015. <a href="https://erc.europa.eu/projects-figures/stories/building-next-generation-ai-systems" target="_blank">https://erc.europa.eu/projects-figures/stories/building-next-generation-ai-systems</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder)., retrieved December 16, 2021 <a href="https://www.youtube.com/watch?v=JlgS1kfRko8" target="_blank">https://www.youtube.com/watch?v=JlgS1kfRko8</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">"CHF 10 million for young talents". ethz.ch. December 14, 2015. Retrieved December 16, 2021. <a href="https://ethz.ch/en/news-and-events/eth-news/news/2015/12/chf-ten-million-for-young-talent.html" target="_blank">https://ethz.ch/en/news-and-events/eth-news/news/2015/12/chf-ten-million-for-young-talent.html</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">Vesper, Inga (June 4, 2018). "Europe's top science funder shows high-risk research pays off". Nature. 558 (7708): 16–17. Bibcode:2018Natur.558...16V. doi:10.1038/d41586-018-05325-4. PMID 29872198. S2CID 46949722. <a href="https://doi.org/10.1038%2Fd41586-018-05325-4" target="_blank">https://doi.org/10.1038%2Fd41586-018-05325-4</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">"dblp: Martin T. Vechev". dblp.org. Retrieved September 15, 2024. <a href="https://dblp.org/pid/93/2189.html" target="_blank">https://dblp.org/pid/93/2189.html</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">"Publications". SRI Lab. Retrieved September 15, 2024. <a href="https://www.sri.inf.ethz.ch/publications/" target="_blank">https://www.sri.inf.ethz.ch/publications/</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">"Veselin Raychev". awards.acm.org. Retrieved September 15, 2024. <a href="https://awards.acm.org/award_winners/raychev_2031789" target="_blank">https://awards.acm.org/award_winners/raychev_2031789</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">"2021 ACM SIGPLAN Dissertation Award for Gagandeep Singh". inf.ethz.ch. September 14, 2021. Retrieved December 16, 2021. <a href="https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2021/09/acm-sigplan-dissertation-award-2021-singh.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2021/09/acm-sigplan-dissertation-award-2021-singh.html</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
<li id="fn:18">"John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Retrieved December 16, 2021. <a href="https://www.sigplan.org/Awards/Dissertation/" target="_blank">https://www.sigplan.org/Awards/Dissertation/</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></li>
<li id="fn:19">"ACM SIGSAC Dissertation Awards". www.sigsac.org. Retrieved September 15, 2024. <a href="https://www.sigsac.org/award/diss-awards.html" target="_blank">https://www.sigsac.org/award/diss-awards.html</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></li>
<li id="fn:20">"John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Retrieved September 13, 2024. <a href="https://www.sigplan.org/Awards/Dissertation/" target="_blank">https://www.sigplan.org/Awards/Dissertation/</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></li>
<li id="fn:21">"ACM SIGPLAN Dissertation Award for Benjamin Bichsel". inf.ethz.ch. July 2, 2024. Retrieved September 15, 2024. <a href="https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2024/07/sigplan-dissertation-award-for-benjamin-bichsel.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2024/07/sigplan-dissertation-award-for-benjamin-bichsel.html</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></li>
<li id="fn:22">"Five doctoral graduates receive ETH Medals". inf.ethz.ch. November 15, 2023. Retrieved September 15, 2024. <a href="https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2023/11/five-doctoral-graduates-receive-eth-medals.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2023/11/five-doctoral-graduates-receive-eth-medals.html</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></li>
<li id="fn:23">"Four doctoral graduates receive ETH Medals". inf.ethz.ch. November 8, 2022. Retrieved September 15, 2024. <a href="https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2022/11/eth-medals-doctorate.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2022/11/eth-medals-doctorate.html</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></li>
<li id="fn:24">"European Chapter of ACM SIGOPS - Roger Needham PhD Award". www.eurosys.org. Retrieved September 15, 2024. <a href="https://www.eurosys.org/awards/roger-needham-phd-award" target="_blank">https://www.eurosys.org/awards/roger-needham-phd-award</a> <a href="#fnref:24" class="footnote-back-ref">↩</a></li>
<li id="fn:25">"ETH Medal for doctoral theses". inf.ethz.ch. Retrieved September 15, 2024. <a href="https://inf.ethz.ch/news-and-events/spotlights/2020/11/eth-medal-doctoral-thesis.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/2020/11/eth-medal-doctoral-thesis.html</a> <a href="#fnref:25" class="footnote-back-ref">↩</a></li>
<li id="fn:26">"ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems". TechCrunch. Retrieved December 13, 2021. <a href="https://techcrunch.com/2021/01/19/eth-spin-off-latticeflow-raises-2-8m-to-help-build-trustworthy-ai-systems/" target="_blank">https://techcrunch.com/2021/01/19/eth-spin-off-latticeflow-raises-2-8m-to-help-build-trustworthy-ai-systems/</a> <a href="#fnref:26" class="footnote-back-ref">↩</a></li>
<li id="fn:27">"Joint services announce winners of global AI competition". www.army.mil. Retrieved December 13, 2021. <a href="https://www.army.mil/article/250419/joint_services_announce_winners_of_global_ai_competition" target="_blank">https://www.army.mil/article/250419/joint_services_announce_winners_of_global_ai_competition</a> <a href="#fnref:27" class="footnote-back-ref">↩</a></li>
<li id="fn:28">Yovchev, Etien (December 3, 2021). "Seeing strong product adoption LatticeFlow expands to Sofia to accelerate the development of its platform for robust AI models". TheRecursive.com. Retrieved December 18, 2021. <a href="https://therecursive.com/seeing-strong-product-adoption-latticeflow-expands-to-sofia-to-accelerate-the-development-of-its-platform-for-robust-ai-models/" target="_blank">https://therecursive.com/seeing-strong-product-adoption-latticeflow-expands-to-sofia-to-accelerate-the-development-of-its-platform-for-robust-ai-models/</a> <a href="#fnref:28" class="footnote-back-ref">↩</a></li>
<li id="fn:29">"Snyk acquires DeepCode to boost its code review smarts". TechCrunch. Retrieved December 13, 2021. <a href="https://techcrunch.com/2020/09/24/snyk-acquires-deepcode-to-boost-its-code-review-smarts/" target="_blank">https://techcrunch.com/2020/09/24/snyk-acquires-deepcode-to-boost-its-code-review-smarts/</a> <a href="#fnref:29" class="footnote-back-ref">↩</a></li>
<li id="fn:30">"ETH AI spin-off DeepCode acquired by a unicorn in cybersecurity". ethz.ch. September 23, 2020. Retrieved December 16, 2021. <a href="https://ethz.ch/en/news-and-events/eth-news/news/2020/09/deepcode.html" target="_blank">https://ethz.ch/en/news-and-events/eth-news/news/2020/09/deepcode.html</a> <a href="#fnref:30" class="footnote-back-ref">↩</a></li>
<li id="fn:31">"AI Code Analysis Startup Founded by a Bulgarian Team Gets Acquired by a Cybersecurity Unicorn". Trending Topics. September 23, 2020. Retrieved December 16, 2021. <a href="https://www.trendingtopics.eu/deepcode-founded-by-a-bulgarian-team-gets-acquired/" target="_blank">https://www.trendingtopics.eu/deepcode-founded-by-a-bulgarian-team-gets-acquired/</a> <a href="#fnref:31" class="footnote-back-ref">↩</a></li>
<li id="fn:32">"ETH spin-off ChainSecurity is taken over by PwC Switzerland". inf.ethz.ch. Retrieved December 13, 2021. <a href="https://inf.ethz.ch/news-and-events/spotlights/2020/01/chainsecurity-pwc-switzerland.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/2020/01/chainsecurity-pwc-switzerland.html</a> <a href="#fnref:32" class="footnote-back-ref">↩</a></li>
<li id="fn:33">"Why Playfair Capital invested in NetFabric.ai". www.tribume.com. Retrieved September 13, 2024. <a href="https://www.tribume.com/posts/why-playfair-capital-invested-in-netfabric-ai" target="_blank">https://www.tribume.com/posts/why-playfair-capital-invested-in-netfabric-ai</a> <a href="#fnref:33" class="footnote-back-ref">↩</a></li>
<li id="fn:34">България, Forbes (July 12, 2024). "Стартъпът с българско участие NetFabric поглежда към 1.6-милиардния пазар на мониторинг на мрежи". forbesbulgaria.com (in Bulgarian). Retrieved September 13, 2024. <a href="https://forbesbulgaria.com/2024/07/12/startapat-s-balgarsko-uchastie-netfabric-poglezhda-kam-1-6-miliardniya-pazar-na-monitoring-na-mrezhi/" target="_blank">https://forbesbulgaria.com/2024/07/12/startapat-s-balgarsko-uchastie-netfabric-poglezhda-kam-1-6-miliardniya-pazar-na-monitoring-na-mrezhi/</a> <a href="#fnref:34" class="footnote-back-ref">↩</a></li>
<li id="fn:35">Laoun, Joy. "Zurich-based startup NetFabric.ai secures $2.2M to transform network monitoring". vestbee.com. Retrieved September 13, 2024. <a href="https://www.vestbee.com/blog/articles/net-fabric-ai-secures-2-2-m" target="_blank">https://www.vestbee.com/blog/articles/net-fabric-ai-secures-2-2-m</a> <a href="#fnref:35" class="footnote-back-ref">↩</a></li>
<li id="fn:36">"Invariant Labs". invariantlabs.ai. Retrieved September 15, 2024. <a href="https://invariantlabs.ai/" target="_blank">https://invariantlabs.ai/</a> <a href="#fnref:36" class="footnote-back-ref">↩</a></li>
<li id="fn:37">"LogicStar AI". logicstar.ai. Retrieved September 15, 2024. <a href="https://logicstar.ai/" target="_blank">https://logicstar.ai/</a> <a href="#fnref:37" class="footnote-back-ref">↩</a></li>
<li id="fn:38">"ACM Young Researcher Award for Prof. Martin Vechev". ETH Zurich. 2019. <a href="https://ethz.ch/en/the-eth-zurich/portrait/latest-honours-and-prizes/2019/07/acm-young-researcher-award-for-prof-martin-vechev.html" target="_blank">https://ethz.ch/en/the-eth-zurich/portrait/latest-honours-and-prizes/2019/07/acm-young-researcher-award-for-prof-martin-vechev.html</a> <a href="#fnref:38" class="footnote-back-ref">↩</a></li>
<li id="fn:39">"Robin Milner Young Researcher Award". www.sigplan.org. <a href="https://www.sigplan.org/Awards/Milner/" target="_blank">https://www.sigplan.org/Awards/Milner/</a> <a href="#fnref:39" class="footnote-back-ref">↩</a></li>
<li id="fn:40">"Prof. Martin Vechev honoured with ACM Young Researcher Award". inf.ethz.ch. Retrieved December 27, 2021. <a href="https://inf.ethz.ch/news-and-events/spotlights/2019/06/Vechev-ACM-SIGPLAN-award.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/2019/06/Vechev-ACM-SIGPLAN-award.html</a> <a href="#fnref:40" class="footnote-back-ref">↩</a></li>
<li id="fn:41">"SIGPLAN Research Highlights Papers". www.sigplan.org. Retrieved December 27, 2021. <a href="https://www.sigplan.org/Highlights/Papers/" target="_blank">https://www.sigplan.org/Highlights/Papers/</a> <a href="#fnref:41" class="footnote-back-ref">↩</a></li>
<li id="fn:42">Raychev, Veselin; Vechev, Martin; Krause, Andreas (January 14, 2015). "Predicting Program Properties from "Big Code"". Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '15. New York, NY, USA: Association for Computing Machinery. pp. 111–124. doi:10.1145/2676726.2677009. ISBN 978-1-4503-3300-9. S2CID 14571254. <a href="978-1-4503-3300-9" target="_blank">978-1-4503-3300-9</a> <a href="#fnref:42" class="footnote-back-ref">↩</a></li>
<li id="fn:43">Krause, Veselin Raychev, Martin Vechev, Andreas. "Predicting Program Properties from 'Big Code'". cacm.acm.org. Retrieved December 27, 2021.{{cite web}}: CS1 maint: multiple names: authors list (link) <a href="https://cacm.acm.org/magazines/2019/3/234932-predicting-program-properties-from-big-code/fulltext" target="_blank">https://cacm.acm.org/magazines/2019/3/234932-predicting-program-properties-from-big-code/fulltext</a> <a href="#fnref:43" class="footnote-back-ref">↩</a></li>
<li id="fn:44">Rinard, Martin C. "Technical Perspective: Borrowing Big Code to Automate Programming Activities". cacm.acm.org. Retrieved December 27, 2021. <a href="https://cacm.acm.org/magazines/2019/3/234924-technical-perspective-borrowing-big-code-to-automate-programming-activities/fulltext" target="_blank">https://cacm.acm.org/magazines/2019/3/234924-technical-perspective-borrowing-big-code-to-automate-programming-activities/fulltext</a> <a href="#fnref:44" class="footnote-back-ref">↩</a></li>
<li id="fn:45">"313 new ERC Consolidator Grants to tackle big scientific questions". ERC. September 5, 2024. Retrieved September 13, 2024. <a href="https://erc.europa.eu/news/erc-2021-consolidator-grants-results" target="_blank">https://erc.europa.eu/news/erc-2021-consolidator-grants-results</a> <a href="#fnref:45" class="footnote-back-ref">↩</a></li>
<li id="fn:46">"ERC Consolidator Grants for Otmar Hilliges and Martin Vechev". inf.ethz.ch. March 17, 2022. Retrieved September 13, 2024. <a href="https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2022/03/erc-grant-otmar-hilliges-martin-vechev.html" target="_blank">https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2022/03/erc-grant-otmar-hilliges-martin-vechev.html</a> <a href="#fnref:46" class="footnote-back-ref">↩</a></li>
<li id="fn:47">"Building the next generation AI systems". ERC: European Research Council. 2015. <a href="https://erc.europa.eu/projects-figures/stories/building-next-generation-ai-systems" target="_blank">https://erc.europa.eu/projects-figures/stories/building-next-generation-ai-systems</a> <a href="#fnref:47" class="footnote-back-ref">↩</a></li>
<li id="fn:48">Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder)., retrieved December 16, 2021 <a href="https://www.youtube.com/watch?v=JlgS1kfRko8" target="_blank">https://www.youtube.com/watch?v=JlgS1kfRko8</a> <a href="#fnref:48" class="footnote-back-ref">↩</a></li>
<li id="fn:49">"CHF 10 million for young talents". ethz.ch. December 14, 2015. Retrieved December 16, 2021. <a href="https://ethz.ch/en/news-and-events/eth-news/news/2015/12/chf-ten-million-for-young-talent.html" target="_blank">https://ethz.ch/en/news-and-events/eth-news/news/2015/12/chf-ten-million-for-young-talent.html</a> <a href="#fnref:49" class="footnote-back-ref">↩</a></li>
<li id="fn:50">Vesper, Inga (June 4, 2018). "Europe's top science funder shows high-risk research pays off". Nature. 558 (7708): 16–17. Bibcode:2018Natur.558...16V. doi:10.1038/d41586-018-05325-4. PMID 29872198. S2CID 46949722. <a href="https://doi.org/10.1038%2Fd41586-018-05325-4" target="_blank">https://doi.org/10.1038%2Fd41586-018-05325-4</a> <a href="#fnref:50" class="footnote-back-ref">↩</a></li>
<li id="fn:51">"John Atanassov Awards". <a href="https://m.president.bg/en/cat37/About-award-John-Atanasov" target="_blank">https://m.president.bg/en/cat37/About-award-John-Atanasov</a> <a href="#fnref:51" class="footnote-back-ref">↩</a></li>
<li id="fn:52">John Atanasoff Award 2009 - Vechev, retrieved December 13, 2021 <a href="https://www.youtube.com/watch?v=Vp7RZPPYXZ4" target="_blank">https://www.youtube.com/watch?v=Vp7RZPPYXZ4</a> <a href="#fnref:52" class="footnote-back-ref">↩</a></li>
<li id="fn:53">"Мартин Вечев е носителят на тазгодишния приз". econ.bg (in Bulgarian). Retrieved December 13, 2021. <a href="https://econ.bg/Новини/Мартин-Вечев-е-носителят-на-тазгодишния-приз-Джон-Атанасов-_l.a_i.170782_at.1.html" target="_blank">https://econ.bg/Новини/Мартин-Вечев-е-носителят-на-тазгодишния-приз-Джон-Атанасов-_l.a_i.170782_at.1.html</a> <a href="#fnref:53" class="footnote-back-ref">↩</a></li>
</ol>

Martin Vechev open-in-new

Martin Vechev