Sony Building, 4110 — Vanderbilt University
kevin.leach@vanderbilt.edu
Students in my lab are actively recruiting participants for human subject studies. Please consider participating if you are eligible! You can get paid to participate! More information here.
(studies are approved by our Institutional Review Board)
My group is currently full for the foreseeable future. However, if you feel you are strongly independently motivated to work in the areas of cybersecurity, software engineering, or artificial intelligence, please send me an email with your CV.
If you are a Computer Science student looking for advice on the job market, please see the CS Grad Job Guide to which I have contributed.
I am an Assistant Professor of Computer Science at Vanderbilt University. Previously, I was a Senior Research Fellow in the Computer Science and Engineering Division at the University of Michigan—Ann Arbor, where I was engaged in a variety of research spanning security, software engineering, and artificial intelligence. Prior to UM, I was a Research Scientist in the Robust Low Power VLSI group at the University of Virginia. I received my PhD in Computer Engineering at the University of Virginia under the guidance of Wes Weimer. I work across a variety of disciplines, including systems security, software engineering and human studies, conversational artificial intelligence, and medical informatics.
I received my MS in Computer Science at George Mason University in 2013. My advisor was Angelos Stavrou. I received my BS with Distinction in Computer Engineering and Computer Science from the University of Virginia in 2011.
I am teaching CS3276 - Compiler Design during the Spring 2023 semester. You should totally take this course.
This course entails developing an
optimizing compiler during the semester, split across five programming
assignments. Compiler theory underpins a wide swath of computer science
topics; compilers fundamentally enable all of the programming practices
we use every day. How does clang
work under the hood? Why
do we have classes and objects? Why does C/C++ require semicolons but
Python requires whitespace? How do compilers optimize code for you?
And more recently, how does compiler theory underpin Natural Language
Processing and other applications of AI?
CS3276 requires CS3270 (Programming Languages). However, if
you would like to join the course without satisfying the prereq,
please email me so I can consider your request.
Spring 23: CS8395 - Topics in Computer Security— Course website— Student reviews.
Fall 22: CS3276 - Compiler Construction— Course website — Student reviews.
Spring 22: CS8395 - Topics in Computer Security — Course website — Student reviews.
Winter 2021: EECS 481 — Software Engineering.
Fall 2020: EECS 481 — Software Engineering and EECS 484 — Databases.
Summer 2020: EECS 485 — Web Systems.
Spring 2020: EECS 481 — Software Engineering.
Winter 2020: EECS 498 — Conversational AI.
Fall 2019: I helped teach EECS 498 — Conversational AI.
Winter 2019: EECS 370 — Computer Organization.
Winter 2018: EECS 483 — Compiler Construction.