جست‌وجوی استاد و پژوهشگر

Lisa Wu Willsمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware-Software Co-design
• Hardware Accelerators
• +۶ مورد دیگر

Lisa Wu Wills is an Assistant Professor in the Department of Computer Science and Electrical and Computer Engineering at Duke University, leading the APEX Lab (Application-driven Programmable Efficient Accelerated Systems Lab). Her research focuses on hardware acceleration for big data analytics in genomics, graphs, and databases to advance healthcare and natural sciences. Education: Ph.D. in Computer Science, Columbia University, 2014 Research Interests: Dr. Wills pioneers computer architecture and hardware-software co-design to create efficient accelerators for emerging applications. Her work targets genomics , graph analytics , and database systems , emphasizing simplified hardware deployment and energy efficiency for scientific breakthroughs in healthcare and AI. Publication Trends: Her 2022-2025 publications reveal a strong focus on open-source frameworks (Beethoven, PyTFHE) for accelerator development, hardware acceleration in privacy-preserving computing, and optimization for large language models. Key themes include transfer learning for EDA, domain-specific architectures for genomics, and energy-efficient image processing. Scientific Awards: Google ML and Systems Junior Faculty Award (2025) Advising and Grants: Dr. Wills mentors three PhD students: Chris Kjellqvist (Beethoven framework architect), Mason Ma (PyTFHE lead for FHE applications), and Mansi Choudhary (COCOSSim simulator creator). Her 2025 Google award funds research on accelerating vector databases and retrieval-augmented generation for LLMs. Labs and Teams: She directs the APEX Lab at Duke, developing tools like Beethoven (open-source accelerator composer) and PyTFHE for hardware-software integration, enabling domain scientists to leverage custom acceleration with minimal hardware expertise.

Riyadh Baghdadiمشاهده پروفایل

استادیار

• Compilers
• Programming Languages
• Deep Learning
• +۹ مورد دیگر

Riyadh Baghdadi is an Assistant Professor of Computer Science at New York University Abu Dhabi and a Global Network Assistant Professor at the Tandon School of Engineering, NYU. He is also a Research Affiliate at MIT, where he previously completed a postdoctoral fellowship. His academic journey includes a PhD and Master’s from Sorbonne University (INRIA/UPMC) and an engineering degree from Ecole Supérieure d’Informatique in Algiers. Assistant Professor, NYU Abu Dhabi Global Network Assistant Professor, Tandon School of Engineering, NYU Research Affiliate, MIT His research lies at the intersection of compilers, programming languages, and applied machine learning, with a focus on developing advanced compiler techniques for deep learning, high-performance computing, and data-parallel algorithms. He is the lead developer of the Tiramisu compiler , a polyhedral compiler designed to optimize dense and sparse deep learning workloads across diverse architectures including CPUs, GPUs, and FPGAs. Riyadh’s recent publications demonstrate a strong trend toward integrating machine learning into compiler optimization—particularly in cost modeling, loop scheduling, and automatic code generation. His work addresses critical challenges in optimizing sparse neural networks and enabling efficient execution on resource-constrained platforms like smartphones and autonomous vehicles. Outstanding Paper Award, MLSys 2021 He has mentored 18 students and taught core courses such as Computer Systems Organization and Machine Learning at NYUAD. His service to the academic community includes program committee roles at MLSys, IPDPS, ECOOP, and PACT, as well as organizing workshops on polyhedral compilation and machine learning for hardware-software co-design. Riyadh actively contributes to open-source projects and collaborates with industry leaders including Google, Facebook, NVIDIA, and Intel. He leads the development of Tiramisu and collaborates on DSLs like GraphIt and Halide, focusing on performance portability and automation in compiler design.

Lingming Zhangمشاهده پروفایل

دانشیار

• Software Engineering
• Programming Languages
• Machine Learning
• +۶ مورد دیگر

Lingming Zhang is an Associate Professor at the Department of Computer Science, University of Illinois Urbana-Champaign, affiliated with the Grainger College of Engineering. His research focuses on the intersection of Software Engineering, Programming Languages, and Machine Learning, with a particular emphasis on automated program repair, compiler testing, and large language model (LLM) applications in software engineering. He has published over 100 papers, achieving an h-index of 50+, and holds an ACM Distinguished Member status. Research Interests: LLM-based software testing, repair, and synthesis Fuzzing of deep-learning libraries and compilers Open-source code LLMs (e.g., StarCoder2, Magicoder) with over 1M downloads Automated program repair systems (e.g., AlphaRepair, ChatRepair, Agentless) Recent Contributions: Developed TitanFuzz for coverage-guided compiler fuzzing Released Agentless , an LLM-based coding tool adopted by OpenAI and DeepSeek Proposed SWE-RL to enhance LLM reasoning via reinforcement learning Service Roles: Program Co-Chair for ASE 2025 and LLM4Code 2025 Associate Chair for OOPSLA 2024 and Area Chair for ICSE 2025/2026 Recipient of NSF CAREER Award and ACM SIGSOFT Early Career Award Lab/Teams: Develops open-source tools like UniAPR for efficient patch validation Active in releasing industry-adopted LLM-based software engineering tools

Christian Plesslمشاهده پروفایل

استاد

• High-Performance Computing
• Reconfigurable Computing
• FPGA Acceleration
• +۳ مورد دیگر

Prof. Dr. Christian Plessl is a W3 Professor of High-Performance Computing at the Institute of Computer Science, University of Paderborn. He leads the Paderborn Center for Parallel Computing (PC²), a national HPC center within the NHR alliance. His roles include Director of PC², Board Member of the NHR association, and member of the Sonderforschungsbereich 901. Education: PhD (Dr. sc. ETH) in Computer Engineering, ETH Zürich (2006) MSc in Electrical Engineering, ETH Zürich (2001) Postdoc at ETH Zürich (2007–2011) Research Interests: Architecture and tools for high-performance parallel and reconfigurable computing, FPGA acceleration, quantum chemistry, scientific computing, adaptive systems, and energy-efficient HPC solutions. Key projects include EKI-App (FPGA-based neural networks), FPGA4XPCS (X-ray spectroscopy), and HighPerMeshes (unstructured grid frameworks). Publications: Over 100 peer-reviewed works, focusing on FPGA acceleration, HPC frameworks, and quantum computing. Recent trends emphasize energy-efficient neural networks, FPGA-based quantum computing, and scalable HPC algorithms. Awards: Best Paper Awards at HEART 2023, ReConFig 2012/2014 Paderborn University Research Awards (2018, 2009) SEW-EURODRIVE Student Award (2001) Grants & Projects: Principal investigator in DFG, BMBF, and EU-funded projects. Collaborates with AMD/Xilinx, Intel/Altera, and Fujitsu. Leads initiatives like PerficienCC (custom computing) and HighPerMeshes. Labs/Teams: Directs the High-Performance Computing group at PC², focusing on FPGA supercomputing and HPC infrastructure. Active in the NHR alliance for national HPC coordination.

Sarah E. Chasinsمشاهده پروفایل

استادیار

• Programming Languages
• Human-Computer Interaction
• Program Synthesis
• +۳ مورد دیگر

Sarah E. Chasins is an Assistant Professor in the Electrical Engineering and Computer Sciences (EECS) department at the University of California, Berkeley, with research spanning programming languages and human-computer interaction. She leads the PLAIT Lab (Programming Languages for Approachable and Inclusive Tools) and serves as a faculty affiliate at the Berkeley Institute for Data Science (BIDS). Her work bridges computer science with social sciences, climate reporting, legal systems, and biological research through extensive collaborations. Dr. Chasins' research focuses on democratizing programming for non-traditional programmers including scientists, social scientists, journalists, and data scientists. Her work emphasizes creating approachable programming tools that help practitioners reach correct programs while understanding, extending, and trusting those programs. She specifically investigates program synthesis, programming tools for scientific domains, and human-centered programming language design. Her research mission aims to make programming a path to a more informed and evidence-driven society rather than just a way to get wrong answers faster. Her recent publications demonstrate a clear trajectory toward making programming more accessible and understandable. The work spans code search techniques, program synthesis approaches, refactoring tools, and studies of how domain experts interact with programming languages. A consistent theme across her research is placing human needs at the center of programming language design and implementation. Dr. Chasins actively mentors PhD students including Justin Lubin, Eric Rawn, Parker Ziegler, Sarah "Slim" Lim, Hellina Hailu Nigatu, David Minh-Duy Cao, and Marlena Preigh. She has previously advised numerous master's and undergraduate students who have gone on to work in both academia and industry. Her teaching includes core courses like CS164 (Programming Languages and Compilers) and specialized courses like CS294-184 (Building User-Centered Programming Tools) and CS39-001 (Technology, Society, and Power). She maintains an active service record in the programming languages community, having served on program committees for major conferences including PLDI, POPL, OOPSLA, and SPLASH. Notably, she co-chaired the Student Research Competition at PLDI 2020 and 2021 and has been involved in organizing workshops focused on programming languages and human-computer interaction.

Jonathan Ragan-Kelleyمشاهده پروفایل

استادیار

• High-Efficiency Visual Computing
• Compilers
• Computer Architecture
• +۳ مورد دیگر

Jonathan Ragan-Kelley is the Esther and Harold E. Edgerton Assistant Professor of Electrical Engineering & Computer Science at MIT and an Assistant Professor of EECS at UC Berkeley. He leads the Visual Computing group at CSAIL, focusing on high-efficiency visual computing, compilers, and architectures for image processing, machine learning, and 3D rendering. His research bridges systems, compilers, and hardware design, emphasizing scalable solutions for computational challenges. Education: PhD in Computer Science from MIT (2014), postdoc at Stanford University, and visiting researcher at Google. He co-created the Halide language and has developed multiple domain-specific languages (DSLs) and compiler systems. Research interests include compiler optimization, scheduling languages (e.g., Exo), and efficient computing frameworks. He has received awards such as the NSF CAREER Award and ACM SIGGRAPH’s Significant New Researcher Award. Awards: ACM SIGGRAPH Award, NSF CAREER, Intel Outstanding Researcher Award Key Contributions: Halide compiler framework, Exo scheduling language, machine learning acceleration techniques Labs/Teams: Visual Computing at MIT CSAIL

Saman Amarasingheمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Domain-Specific Languages
• +۷ مورد دیگر

Professor Saman Amarasinghe is a full Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT), and Principal Investigator at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Commit compiler research group, which focuses on programming languages and compilers that maximize application performance on modern computing platforms. His work spans multiple academic departments and research centers, with strong affiliations to both MIT's School of Engineering and CSAIL. Professor Amarasinghe's research interests center around high-performance domain-specific languages and compiler technology . His work combines language design with sophisticated compilation techniques to deliver unprecedented performance for targeted application domains. His research spans multiple areas including image processing (Halide), sparse tensor algebra (TACO), graph analytics (GraphIt), stream computations (StreamIt), and bioinformatics (Seq). A significant thread throughout his work is the application of machine learning for compiler optimizations, from Meta optimization in 2003 to the OpenTuner autotuner framework. Analysis of Professor Amarasinghe's recent publications reveals a strong focus on sparse computing , compiler vectorization , and domain-specific language implementation . His work consistently bridges theoretical compiler concepts with practical performance gains across diverse application domains. The progression from earlier work on StreamIt and Halide to more recent projects like GraphIt and TACO shows an evolution toward more specialized, high-performance DSLs targeting specific computational patterns. His 2020-2025 publications particularly emphasize sparse tensor operations, GPU acceleration, and machine learning integration with compiler technology. ACM Fellow (2019) Professor Amarasinghe has made significant contributions to academic entrepreneurship and student development. He founded Determina, Inc. (acquired by VMware) based on security research from his MIT lab and co-founded Lanka Internet Services, Ltd., Sri Lanka's first ISP. As faculty director of MIT Global Startup Labs, his programs across 17 countries have helped create over 20 successful startups. His teaching includes the popular Performance Engineering of Software Systems (6.172) course with Professor Charles Leiserson, as well as innovative project-based courses like the Open Source Software Project Lab and Bring Your Own Software Project Lab. His educational approach emphasizes hands-on experience with compiler and language design concepts. Professor Amarasinghe leads the Commit compiler research group at MIT CSAIL, which has produced numerous influential domain-specific languages and compilers including Halide, TACO, Simit, StreamIt, and GraphIt. The lab maintains strong industry connections through projects like OpenTuner and Determina, and collaborates with researchers worldwide on compiler technology. The group's work spans both theoretical compiler research and practical implementation, with a consistent focus on bridging the performance gap between high-level programming abstractions and hardware capabilities.

Srinivas Narayanaمشاهده پروفایل

استادیار

• Computer Networks
• Formal Verification
• Compilers
• +۴ مورد دیگر

Srinivas Narayana is an Assistant Professor in the Department of Computer Science at Rutgers University, specializing in programmable networking, formal verification, and systems research. He holds a PhD from Princeton University and a B.Tech from IIT Madras, with postdoctoral work at MIT. His research focuses on building safe, high-performance networks through optimizing compilers, verified programming, and distributed system monitoring. He has received NSF grants, the CGO 2022 Distinguished Paper Award, and the 2017 SIGCOMM Best Paper Award. Education: PhD and MA in Computer Science, Princeton University (2016) B.Tech in Computer Science, IIT Madras (2010) Postdoctoral Research, MIT (2018) Research Interests: His work bridges networking and systems with a focus on compilers, formal methods, and programmable hardware. Notable projects include K2 compiler for eBPF, the eBPF verifier soundness work, and congestion control mechanisms like CCP. He explores parallel packet processing, privacy-preserving analytics, and load balancing strategies. Grants & Awards: NSF Awards #2422076, #1910796, #2019302 eBPF Foundation Grant Facebook Networking Research Award Network Programming Initiative (NPI) Funding Lab & Teams: Leads the NetSys group at Rutgers, collaborating with teams on projects like the eBPF verifier, verified packet processing, and network monitoring tools like Marple. His lab emphasizes open-source contributions and industry collaboration.

• Mobile and cloud computing
• Energy-efficient computing
• Image and video processing
• +۲ مورد دیگر

Yung-Hsiang Lu is a Professor of Electrical and Computer Engineering at Purdue University's Elmore Family School of Electrical and Computer Engineering. His research focuses on mobile/cloud computing, energy-efficient computing, and image/video processing. He holds a BSEE from National Taiwan University (1992), an MSEE (1996), and a PhD (2002) from Stanford University. Dr. Lu's academic background includes significant contributions to VLSI and circuit design, with primary emphasis on computer engineering. His work spans theoretical and applied domains, including optimizing neural networks for edge devices, securing deep learning models, and leveraging large language models for software development. Recent research trends in his articles emphasize energy efficiency in AI systems, interdisciplinary applications of transformers (e.g., music analysis), and challenges in model interoperability and security. His publications also highlight innovations in global camera networks and real-time visual data analysis. While no specific grants or awards are explicitly mentioned, his extensive list of publications reflects sustained academic engagement. His educational contributions include developing C programming resources and teaching large-scale image processing using global camera networks. Dr. Lu's professional address is at Purdue's Materials and Electrical Engineering Building in West Lafayette, Indiana, where he maintains an active research lab focused on embedded systems and low-power computing innovations.

Weiwen Jiangمشاهده پروفایل

استادیار

• Quantum Computing
• AI Accelerators
• Hardware-Software Co-Design
• +۳ مورد دیگر

Weiwen Jiang is a tenure-track Assistant Professor in the Department of Electrical and Computer Engineering at George Mason University (GMU), affiliated with the College of Engineering and Computing (CEC). He leads the JQub lab, focusing on hardware/software co-design for computing systems, spanning classical (FPGAs, ASICs) and quantum computing applications in AI-driven fields like medical imaging and geophysics. Prior to GMU, he held a postdoctoral position at the University of Notre Dame and earned his PhD in Computer Science from Chongqing University with a joint PhD in Electrical and Computer Engineering from the University of Pittsburgh. His research emphasizes quantum computing, AI accelerators, and domain-specific computing. Notable achievements include the 2025 NSF CAREER Award, ACM Sigda Meritorious Service Award (2024), and IEEE QuantumWeek Best Paper Award (2023). His work is funded by NSF, DoE, ARO, Meta, and Leidos. He co-chaired IEEE QuantumWeek (2023–2025) and created workshops like StableQ at ESWEEK 2023. Key contributions include developing frameworks like QuPAD for quantum learning and JQub's AI-driven geophysical and medical imaging tools. His lab graduated Dr. Yi Sheng (now at University of South Florida) and Dr. Zhepeng Wang (Amazon Applied Scientist). Current research explores quantum machine learning, noise mitigation, and fairness in AI for edge devices.

Taylor Johnsonمشاهده پروفایل

دانشیار

• Formal Verification
• Cyber-Physical Systems (CPS)
• Artificial Intelligence
• +۷ مورد دیگر

Taylor Johnson is an Associate Professor of Computer Science and Electrical and Computer Engineering at Vanderbilt University's School of Engineering. He directs the Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL) and serves as a Senior Research Scientist in the Institute for Software Integrated Systems. Previously, he was an Assistant Professor at the University of Texas at Arlington from 2013 to 2016. His research focuses on formal verification techniques for cyber-physical systems (CPS), emphasizing safety, reliability, and security through hybrid systems, formal methods, and control theory. He has published extensively on neural network verification, earning best paper awards and recognition from IEEE, IFIP, and ACM. Education: Ph.D., Electrical and Computer Engineering (University of Illinois at Urbana-Champaign, 2013) M.Sc., Electrical and Computer Engineering (University of Illinois at Urbana-Champaign, 2010) B.S.E.E., Electrical and Computer Engineering (Rice University, 2008) Research Interests: Formal verification of neural networks and CPS, safety-critical systems, autonomous systems, and AI/ML security. His work bridges theoretical foundations (e.g., hybrid systems) with practical applications in aerospace, energy systems, and robotics. Key Contributions: Developed the NNV tool for neural network verification, led the Verification of Neural Networks Competition (VNN-COMP), and pioneered techniques for robust federated learning and malware detection. Awards: AFOSR YIP Award (2016), NSF CRII Award (2015), and multiple best paper honors. His research is funded by AFRL, NSF, Intel, NVIDIA, and industry partners. Labs & Collaborations: VeriVITAL Lab (Vanderbilt), collaborations with United Technologies Research Center, Boeing, and Toyota.

Philip Wadlerمشاهده پروفایل

استاد

• Theoretical Computer Science
• Functional Programming
• Programming Language Foundations
• +۶ مورد دیگر

Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is an ACM Fellow, Fellow of the Royal Society, and Fellow of the Royal Society of Edinburgh. His work spans programming language design, type systems, and formal verification, with significant contributions to Haskell, Java, and XQuery. He has held leadership roles in ACM SIGPLAN and served on editorial boards for major journals. Research Interests: Wadler's research focuses on the foundations of programming languages , including Gradual and session typing Language-integrated query Functional and logic programming XML data models Parametricity and free theorems Verification of smart contracts Publication Trends: Recent articles emphasize type safety, formal verification, and blockchain applications. Key themes include gradual typing (blame calculus), session types for concurrency, and logical foundations of programming. His 2015–2025 papers show sustained focus on type theory and language design . Awards & Recognition: POPL Most Influential Paper (2003 for 1993 work) SIGPLAN Distinguished Service Award Best Paper SBMF 2018 Royal Society-Wolfson Fellowship (2004–2009) ACM Fellow (2007) Fellow of Royal Society of Edinburgh (2005) Advising & Grants: He has supervised numerous PhD students in programs like the Centre for Doctoral Training in Pervasive Parallelism. His EPSRC Programme Grant "From Data Types to Session Types" (2013–2020) funded major advances in concurrency theory. Current work with IOHK explores blockchain verification using Haskell-based Plutus.

David Andrewsمشاهده پروفایل

استاد

• Embedded Systems
• Computer Architecture
• Reconfigurable Computing
• +۵ مورد دیگر

David Andrews is a Professor in the Department of Computer Science and Computer Engineering at the University of Arkansas College of Engineering. He holds the Mullins Endowed Chair of Computer Engineering and directs research through the Computer Systems Design Laboratory (CSDL). His work bridges hardware and software systems with a focus on practical implementation. His educational background includes: Ph.D. in Computer Engineering from Syracuse University Computer Engineer Degree from Syracuse University M.S.E.E. from University of Missouri-Columbia B.S.E.E. from University of Missouri-Columbia Andrews' research centers on embedded systems architectures from a holistic systems perspective, examining interactions between programming languages, runtime systems, and hardware components. His work spans reconfigurable computing, FPGA-based acceleration, and hybrid CPU/FPGA systems. A key contribution is the HybridThreads (hthreads) platform, which abstracts hardware/software boundaries to enable thread-based programming for heterogeneous systems. Recent publications demonstrate his focus on accelerating machine learning workloads on FPGAs, particularly transformer models and attention mechanisms, while addressing resource scheduling and real-time constraints. His publication trends reveal a consistent evolution from foundational work in parallel and distributed embedded systems toward specialized hardware acceleration for modern AI workloads. The research increasingly focuses on memory-centric architectures, computational overlays, and practical implementations for real-time applications across diverse domains including cultural heritage documentation and cybersecurity. As director of the Computer Systems Design Laboratory, Andrews leads interdisciplinary research in real-time embedded systems, reconfigurable computing, multiprocessor systems on chip, and hardware/software co-design. The lab integrates knowledge into undergraduate and graduate curricula covering digital design, computer organization, embedded systems, and systems modeling. CSDL supports a collaborative environment with undergraduate, master's, and PhD students working alongside visiting researchers from global institutions.

• Program Verification
• Program Synthesis
• Concurrency
• +۳ مورد دیگر

Roopsha Samanta serves as an Assistant Professor in the Department of Computer Science at Purdue University, where she leads the Purdue Formal Methods (PurForM) research group and participates in the Purdue Programming Languages (PurPL) initiative. Her academic foundation includes a PhD from the University of Texas, Austin (2013) and postdoctoral research at the Institute of Science and Technology Austria prior to joining Purdue in 2016. Education: PhD in Computer Science, University of Texas, Austin (2013) Postdoctoral Researcher, Institute of Science and Technology Austria Professor Samanta's research centers on bridging formal methods with programming languages to enhance software reliability, with core expertise in program verification, program synthesis, and concurrency. Her work uniquely targets both professional developers and non-programmers, developing techniques to ensure programs align with user intent through automated reasoning and synthesis. Recent efforts focus on distributed systems verification where traditional methods face scalability challenges. Analysis of her 2020-2024 publications reveals a dominant trajectory in distributed agreement systems, particularly advancing parameterized verification for unbounded process networks. Key innovations include bounded verification techniques for doubly-unbounded systems, explainable synthesis through specification localization, and secure multi-party computation frameworks like HACCLE. Her work consistently integrates theoretical formal methods with practical system implementation. Scientific Awards: NSF CAREER Award (2019) for “Robustness of Inductive Reasoning Engines” Amazon Research Award (2021) supporting secure computation research Her research is primarily funded through competitive grants including the NSF CAREER award and Amazon Research Award, enabling exploration of verification robustness and secure multi-party computation. While specific advising details aren't publicly documented, her leadership of the PurForM group indicates active mentorship of graduate researchers in formal methods. Current projects suggest expanding applications to privacy-preserving technologies and explainable AI-assisted programming. The PurForM research group, under her direction, develops foundational tools for program verification and synthesis with emphasis on distributed and concurrent systems. Collaborations within PurPL and industry partners like Amazon drive translational research from theoretical models to practical verification frameworks applicable to real-world distributed infrastructure.

Deian Stefanمشاهده پروفایل

دانشیار

• Security
• Programming Languages
• Systems
• +۶ مورد دیگر

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego. His research focuses on secure systems spanning security, programming languages, and systems. He is particularly interested in WebAssembly, JavaScript JITs, language-based security (constant-time programming, memory safety, information flow control), verification for security, and program analysis tools. Co-founder and Chief Scientist at Intrinsic (acquired by VMWare) Contributor to W3C WebAppSec and Node.js Security Working Groups Research Interests: His work addresses secure systems through principled approaches, including: Web frameworks security Browser design security Sandboxing techniques Runtime systems security Constant-time programming WebAssembly and JavaScript JITs Scientific Awards: Distinguished paper award at POPL 2023 IEEE Cybersecurity Award for Practice 2022 Best paper award at CollaborateCom 2010 Most Influential Paper Award at ICFP 2022 First place at CSAW 2020 for applied research Advising: Deian has mentored students including Shravan Narayan, Evan Johnson, Sunjay Cauligi, and Fraser Brown, focusing on security, systems, and programming languages.