جستجوی استاد راهنمای دانشگاهی

• Decision Making
• Team Cognition
• Team Effectiveness
• +۳ مورد دیگر

Shanique Brown serves as Assistant Professor of Management at the Zicklin School of Business, City University of New York (CUNY), where she investigates cognitive processes impacting organizational team dynamics and decision-making. Her research bridges industrial-organizational psychology with practical applications in extreme environments. Her academic foundation includes: Ph.D. in Industrial-Organizational Psychology from DePaul University M.A. in Industrial-Organizational Psychology from Southern Illinois University, Edwardsville B.Sc. in Psychology from the University of the West Indies Dr. Brown's research centers on decision-making mechanisms and team cognition within organizational contexts, with specialized focus on extreme environments like space missions. She examines how cognitive styles, working memory, and team composition influence performance in isolated, confined, and high-stakes settings. Her work integrates psychological theory with actionable frameworks for optimizing team effectiveness across virtual and physical workspaces. Analysis of her publication history reveals evolving expertise in team science, particularly regarding virtual team leadership, polycultural organizations, and NASA-relevant analog research. Recent work emphasizes selection-optimization-compensation models for team performance and psychosocial factors in extreme environments, demonstrating consistent contribution to organizational psychology literature. Her scientific recognition includes: Editorial Fellowship from Group Dynamics (2022) Wayne State University Faculty Accessibility Fellowship (2022) Teaching Innovation Development Excellence Award (2020) Faculty Teaching Award (2020) University Research Grant (2019) Robert A. Daugherty Memorial Award (2011) Dr. Brown actively collaborates on NASA-funded research through the Human Research Program, developing crew composition models for long-duration space missions. She serves on Baruch College's PhD Admissions and Interdisciplinary Business Major committees while maintaining leadership roles in the Society of Industrial-Organizational Psychology, including Task Force Chair and Conference Committee positions. Her grant work focuses on translating team dynamics research into operational frameworks for extreme environments. She leads interdisciplinary collaborations with NASA researchers and international scholars on projects including virtual escape room studies for team performance assessment and CREWS (Crew Recommender for Effective Work in Space) development, demonstrating commitment to solving real-world team challenges in high-consequence settings.

Tzu-Mao Liمشاهده پروفایل

استادیار

• Computer Graphics
• Rendering Algorithms
• Differentiable Programming
• +۵ مورد دیگر

Tzu-Mao Li is an Assistant Professor in the Department of Computer Science and Engineering (CSE) at the University of California, San Diego (UCSD), affiliated with the Center for Visual Computing. His research focuses on differentiable graphics algorithms, combining classical visual computing with modern machine learning techniques. He holds a Ph.D. from MIT CSAIL under Frédo Durand and a postdoc at MIT and UC Berkeley with Jonathan Ragan-Kelley. His work spans rendering, programming languages for graphics, Monte Carlo methods, and inverse problems. Education: B.S. and M.S. from National Taiwan University (2011-2013), advised by Yung-Yu Chuang. Ph.D. from MIT CSAIL (Computer Graphics Group), advised by Frédo Durand. Postdoctoral research at MIT and UC Berkeley with Jonathan Ragan-Kelley. Research Interests: Differentiable rendering, Monte Carlo integration, programming language design for visual computing, physical simulation, adversarial machine learning, and applications in computer vision and robotics. Key areas include rendering algorithms (path tracing, bidirectional methods), optimization techniques (MCMC, gradient-based), and neural representations (SDFs, neural fields). Publications focus on advancing rendering algorithms, differentiable systems, and applications in inverse problems. Notable contributions include edge sampling for differentiable rendering, warped-area sampling, and diffusion models for BSDF sampling. Awards: ACM SIGGRAPH 2020 Outstanding Doctoral Dissertation Award, multiple Best Paper Awards at SIGGRAPH, and oral presentations at ICCV. Teaching: Courses include CSE 167 (Computer Graphics), CSE 168 (Rendering), and CSE 272 (Advanced Image Synthesis), emphasizing physically-based methods and programming.

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Databases
• +۵ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Andrew Childsمشاهده پروفایل

استاد

• Quantum Algorithms
• Quantum Information Processing
• Quantum Simulation
• +۲ مورد دیگر

Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.

Neil Olverمشاهده پروفایل

دانشیار

• Combinatorial Optimization
• Network Design
• Game Theory
• +۴ مورد دیگر

Neil Olver is an Associate Professor in the Department of Mathematics at the London School of Economics and Political Science (LSE), where he has held his current position since 2021. He is also affiliated with CWI in Amsterdam. His research focuses on combinatorial optimization, network design, algorithmic game theory, and probability, with applications to traffic networks and robust optimization. Olver has organized major events such as the Highlights of Algorithms conference and the Hausdorff Trimester Program on Discrete Optimization. He completed his PhD in Applied Mathematics at McGill University (2010), preceded by an MSc (2006) and BSc (2004) from the University of Cape Town and McGill University. His academic career includes roles at Vrije Universiteit Amsterdam (2013–2021) and MIT (2010–2013). Olver has been awarded grants from NWO (VIDI, TOP, VENI) and the NSF, supporting research on network optimization and robust design. His notable contributions include resolving the VPN Conjecture, advancing strongly polynomial algorithms for generalized flows, and analyzing dynamic traffic equilibria. Students advised include Dr. Dario Frascara and Dr. Madelon de Kemp. Current grants include a VIDI-funded project on 'Usable Algorithms for Network Design.'

Juan Zhaiمشاهده پروفایل

استادیار

• Software Engineering
• Program Languages
• Natural Language Processing
• +۶ مورد دیگر

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.

• Digital Well-being
• Human-Microbe Interaction
• Neo-cybernetics
• +۷ مورد دیگر

Dominique Chen is a Professor at Waseda University's School of Culture, Media and Society since 2022, previously serving as Associate Professor from 2017-2022. A French national born in 1981, he holds a Ph.D. in Interdisciplinary Informatics from the University of Tokyo (2013). His work bridges technology, art, and human experience with a focus on digital well-being and more-than-human relationships. Chen's research interests include human-microbe interaction, neo-cybernetics, and the design of systems that foster mutual care between humans and non-human entities. His work with the Nukabot project exemplifies this interdisciplinary approach, exploring how fermentation processes can serve as metaphors for communication and relationship building. He leads the Ferment Media Research group, investigating how fermentation principles apply to digital cultures and communication systems. His recent publications reveal a consistent focus on designing for well-being in digital societies, with particular attention to translation processes, human-microbe relationships, and the creation of systems that support co-adaptive interaction. The Nukabot research series demonstrates how traditional fermentation practices can inform novel interaction paradigms that acknowledge and incorporate more-than-human perspectives. Best Paper Honorable Mention (2024) - ACM Synlogue with Aizuchi-bot ACM SIGGRAPH Special Prize (2023) - Nukabot Best of AppStore 2015/2016 - Picsee/Syncle applications Good Design Award (2008) - Creative Commons Japan Super Creator certification (2009) - IPA Exploratory IT Program Chen has advised numerous projects through his leadership of Ferment Media Research and has served on various committees including the Good Design Award jury (2016-), Yomiuri Shimbun Reading Committee, and advisory boards for art and design institutions. His work extends beyond academia through his founding of Divideal Inc. (acquired by Smart News in 2018) and Creative Commons Japan (now Commonsphere). His laboratory, Ferment Media Research, explores interdisciplinary connections between fermentation processes, digital systems, and human relationships, creating installations like Nukabot that facilitate human-microbe interaction and Last Words/TypeTrace that examines writing processes and communication.

• Optical Measurements
• Metrology
• Photonics
• +۳ مورد دیگر

Erkki Ikonen is a Professor of Measurement Science and Technology at Aalto University since 1995, with a joint appointment at VTT Technical Research Centre of Finland Ltd since 2005. His roles include membership in the Board of Directors of EURAMET, Chairmanship of the EMPIR Committee (2016–2021), and Vice President Technical of the CIE (2015–2019). He holds M.Sc. and Dr.Sc.Tech. degrees from Helsinki University of Technology (now part of Aalto University). His research focuses on optical measurements, particularly in metrology of complex micro/nanostructures, aerosol analysis, and photovoltaic characterization. He has supervised 35 doctoral students and authored over 190 peer-reviewed publications. Key contributions include advanced reflectometry techniques, field-deployable sensors, and international metrology standards. Education: M.Sc. (Tech.), Helsinki University of Technology, 1982 Dr.Sc.Tech., Helsinki University of Technology, 1988 Awards: Working Community Award 2008 (Helsinki University of Technology) Grants/Advising: 35 supervised doctoral theses; active in international metrology programs like EMPIR. Labs/Teams: Metrology Research Institute at Aalto University.

W. Hong Yeoمشاهده پروفایل

استاد

• Flexible Electronics
• Human Augmentation
• Micro and Nano Device Engineering
• +۶ مورد دیگر

W. Hong Yeo is a Professor in the Woodruff School of Mechanical Engineering and Program Faculty in Bioengineering at the Georgia Institute of Technology, where he also directs the WISH Center. He holds adjunct appointments in the Wallace H. Coulter Department of Biomedical Engineering. Previously, he was an Assistant Professor at Virginia Commonwealth University (2014-2016) and a postdoctoral fellow at the University of Illinois Urbana-Champaign's Beckman Institute. Dr. Yeo's research integrates nanomechanics, soft materials, and nano-microfabrication to develop bio-interfaced systems. Key areas include: Flexible Bioelectronics : Wearable/implantable sensors for health monitoring Human-Machine Interfaces : Neural prosthetics and soft robotics Translational Nanoengineering : Nanoparticle biosensing and diagnostics His publications (2023-2025) demonstrate strong focus on wireless health technologies, including multi-modal wearable systems, implantable sensors for cardiovascular/neurological monitoring, and AI-integrated diagnostics. Trends show increasing emphasis on closed-loop therapeutic systems and scalable manufacturing. Awards & Recognition : BMES Innovation and Career Development Award Virginia Commercialization Award Blavatnik Award Nominee NSF Summer Institute Fellowship Research funding sources include MEDARVA Foundation, NIH, DARPA, and industry partners like CooperVision. He leads the Center for Human-Centric Interfaces & Engineering , developing next-generation bio-interfaced systems.

Hillel Adesnikمشاهده پروفایل

استاد

• Neuroscience
• Neural Circuits
• Optogenetics
• +۶ مورد دیگر

Dr. Hillel Adesnik is a Professor in the Department of Neuroscience at the University of California, Berkeley, and a leading researcher in the neural basis of sensory perception. His lab focuses on cortical microcircuits, optogenetics, and neural coding, with emphasis on visual processing and memory formation. Key Research Areas: Cortical Microcircuits Optogenetic Tools Gamma Band Rhythms Neural Coding Mechanisms Dr. Adesnik has pioneered high-speed optical methods like 3D-MAP and 3D-SHOT to manipulate neural activity. His work spans cortical dynamics, synaptic plasticity, and cortical layer interactions, with applications in understanding learning algorithms and sensory inference. Selected Trends from Publications: Recent preprints and papers highlight advancements in cortical VIP neuron function, channelrhodopsin structures, and inter-areal computations. His team utilizes two-photon holography, cryo-EM, and computational modeling to decode perception-related neural codes. Scientific Awards: NIH Director's New Innovator Award (2013) Dr. Adesnik's lab collaborates with institutions like NIH and develops tools for awake animal studies. Funding includes grants from the Beckman Young Investigator Program and NIH.

Jeremy Gibbonsمشاهده پروفایل

استاد

• Functional Programming
• Programming Languages
• Software Engineering
• +۳ مورد دیگر

Jeremy Gibbons is a Professor of Computing at the University of Oxford, affiliated with the Department of Computer Science within the Faculty of Computer Science. He serves as Director of the Professional Programmes, overseeing part-time postgraduate degrees in Software Engineering. His roles include Chair of the Faculty of Computer Science (2012–2016), Director of the Software Engineering Programme, and Fellow of Kellogg College. Gibbons' research focuses on programming methodologies, particularly functional and object-oriented languages, with an emphasis on program calculation, design patterns, and bidirectional transformations. He leads the Algebra of Programming research group and is Editor-in-Chief of the Journal of Functional Programming and The Art, Science, and Engineering of Programming . Education includes a D.Phil. from Oxford University. His work spans formal methods, domain-specific modeling for clinical trials (e.g., CancerGrid project), and semantic frameworks for software systems. He has advised numerous students and contributed to open-access initiatives in publishing. Key collaborations include roles in ACM SIGPLAN and IFIP Working Groups 2.1 and 2.11. Research interests emphasize foundational aspects like profunctor optics, categorical programming, and algorithm design. Notable projects include datatype-generic programming and metadata-driven engineering for clinical trials. His work bridges theoretical computer science with practical applications in software architecture and system design.

Tom Schrijversمشاهده پروفایل

استاد

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

Tom Schrijvers is a Professor at the Department of Computer Science in the Faculty of Engineering Science at KU Leuven, Belgium. He leads the Programming Languages Group within the Declarative Languages and Artificial Intelligence (DTAI) research group. His research focuses on programming languages, particularly functional and logic programming, with special emphasis on Haskell, type systems, and algebraic effects. His research interests include: Functional Programming, especially Haskell Type Systems and Type Theory Algebraic Effects and Handlers Logic Programming, particularly Prolog Constraint Programming Domain-Specific Languages Programming Language Theory Prof. Schrijvers' recent research has focused on effect systems, staged programming, and language composition. His work on algebraic effect handlers has been particularly influential, providing new insights into how effects can be modularly composed and handled in functional languages. He has also made significant contributions to the understanding of type classes and their implementation in Haskell. His publications demonstrate a consistent focus on practical applications of programming language theory, with work spanning from foundational type theory to applied domain-specific languages for areas like fluorescence microscopy. His research often bridges the gap between theoretical programming language concepts and practical implementation concerns. Prof. Schrijvers has supervised numerous PhD students to completion, including Pieter Wuille, Benoit Desouter, George Karachalias, Steven Keuchel, Amr Saleh, Alexander Vandenbroucke, and Ruben Pieters. He currently supervises PhD students Klara Mardirosian, César Santos, Gert-Jan Bottu, Koen Pauwels, Birthe van den Berg, and Roger Bosman. His research group has received funding from various sources including EU projects like GRACeFUL. The Programming Languages Group at KU Leuven, which he leads, focuses on functional (Haskell) and logic (Prolog, Datalog, CLP) programming languages, as well as general programming language theory. The group has been active in numerous research projects and collaborations across Europe.

• Computer Learning
• Fuzzy Sets and Systems
• Decision Support Systems
• +۳ مورد دیگر

Prof. Sadettin Emre Alptekin is a full Professor of Industrial Engineering at Galatasaray University, Faculty of Engineering and Technology, where he also serves as Vice Dean. Since joining the university as a research assistant in 2000, he has steadily advanced through the academic ranks, becoming an Assistant Professor (2006–2010), Associate Professor (2010–2023), and finally Professor in 2023. Education: PhD (Dr), Industrial Engineering, Istanbul Technical University, Institute of Science and Technology, 2001–2006 MSc, Industrial Engineering, Galatasaray University, Faculty of Engineering and Technology, 1999–2001 BSc, Industrial Engineering, Istanbul Technical University, Faculty of Management, 1995–1999 Languages: Advanced English (C1), Upper-Intermediate French (B2), Advanced German (C1) Research Interests: Prof. Alptekin’s research focuses on Computer Learning , Fuzzy Sets and Systems , and Decision Support Systems . His work integrates artificial intelligence, machine learning, and soft-computing techniques to solve complex industrial and managerial problems in areas such as supply chain management, quality function deployment, blockchain adoption, and mental-health prediction. Publication Trends: Across more than 50 refereed publications, Prof. Alptekin has consistently explored hybrid intelligent models that combine fuzzy logic, machine learning, and multi-criteria decision-making. Recent articles emphasize deep-learning-based anomaly detection in industrial time-series data, blockchain adoption in supply chains, and machine-learning applications in subjective well-being and mental-health modeling. Scientific Awards & Honors: No specific awards or medals are listed in the provided documents. Research Leadership & Funding: Since 2008 he has been the principal investigator (executive) of 12 nationally funded projects, covering topics such as Industry 4.0 sub-system design, Internet of Things applications, artificial neural networks in organizational decision-making, big-data analytics, and strategic decision processes. Graduate Advising: He has formally supervised at least 8 master’s theses and numerous undergraduate projects. Representative thesis titles include Gaussian-process-regression-based man-hour prediction, machine-learning-driven human-behavior modeling, recommender-system design for e-commerce, thyroid-nodule diagnosis from scintigraphic images, software-effort estimation via neural networks, spreadsheet heuristics for joint-replenishment problems, cross-selling decision systems in insurance, and profitability analyses of Turkish banks under disinflation. Laboratories & Teams: While no dedicated laboratory name is disclosed, his continuous role as Vice Dean and principal investigator implies active leadership of the Industrial Engineering department’s research clusters in intelligent systems and decision support technologies.

Brandon Graingerمشاهده پروفایل

دانشیار

• Electric Power Conversion
• Medium- and High-Voltage Power Electronics
• HVDC & STATCOM Systems
• +۶ مورد دیگر

Dr Brandon M Grainger is an Eaton Faculty Fellow and Associate Professor of Electrical and Computer Engineering at the University of Pittsburgh’s Swanson School of Engineering, where he also directs the Electric Power Technologies Laboratory, serves as Associate Director of the Energy GRID Institute, and co-directs Pitt AMPED. A key architect of Pitt’s electric power program since 2008, he focuses on advanced power conversion, high-voltage electronics, wide-band-gap semiconductors, and aerospace power systems. Education PhD, Electrical Engineering (Power Conversion), University of Pittsburgh, 2014 MS, Electrical Engineering, University of Pittsburgh, 2011 BS, Mechanical Engineering & Minor in Electrical Engineering, University of Pittsburgh, 2007 Executive Education Certificate, Tepper School of Business, Carnegie Mellon University, 2019 Research Focus Dr Grainger’s work lies at the intersection of power electronics, high-voltage engineering, and sustainable energy systems. He specializes in medium- and high-voltage power electronics (HVDC, STATCOM), resonant converters, and ultra-high-power-density designs leveraging SiC and GaN semiconductors. His investigations extend to electric-vehicle traction drives, solid-state transformers, optimized magnetics for aerospace applications, and resilient microgrids. He and his students routinely collaborate with NASA JPL, Johns Hopkins APL, Honeywell Aerospace, and the Naval Research Laboratory, leveraging Pitt’s NSF SHREC center to push the boundaries of power conversion in space and defense systems. Selected Research Themes High-frequency, high-density DC/DC converters for satellite power systems Radiation-tolerant GaN converters and point-of-load power stages Medium-voltage testbed development (13.8 kV, 5 MVA) Rare-earth-free permanent-magnet machine topologies Model-predictive control of multi-phase drives and microgrids Honors & Awards 2024 IEEE Region 2 Outstanding Educator Award 2024 Pitt STRIVE Outstanding DEI Service Award 2019 ESWP Engineer of the Year 2019 ASEE 2nd Place Best Paper Award 2019 SRI Undergraduate Best Mentor Award Richard K. Mellon Endowed Graduate Fellowship National Academies of Science & Engineering Ambassador Senior Member, IEEE Grants & Industry Partnerships Dr Grainger’s research has been continuously funded by federal agencies and industry partners including NASA JPL, Johns Hopkins APL, Honeywell Aerospace, the Naval Research Laboratory, Eaton, and the National Science Foundation through the SHREC Center. These awards support graduate students and post-docs working on next-generation power systems for aerospace, naval, and terrestrial applications. Laboratories & Teams Director, Electric Power Technologies Laboratory (EPTL) Associate Director, Energy GRID Institute Co-Director, Pitt AMPED (Advanced Multimodal Power and Energy Development) Faculty Affiliate, NSF SHREC Center

• Programming Language Theory
• Dependent and Refinement Types
• Computational Effects
• +۶ مورد دیگر

Danel Ahman is an Associate Professor at the Institute of Computer Science , University of Tartu , Estonia, specializing in programming language theory . His research focuses on dependent/refinement types , computational effects , and verified software . Education PhD in Theoretical Computer Science (University of Edinburgh, 2017) MPhil in Advanced Computer Science (University of Cambridge, 2012) BSc in Informatics (Tallinn University of Technology, 2010) Research Interests : Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification. Scientific Awards : Estonian Research Council grant (2025) Marie Skłodowska-Curie Fellowship (2019) PhD dissertation prize (2018) Google/Citrix dissertation awards (2012) Teaching & Supervision : He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.