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

Adriana Tapusمشاهده پروفایل

استاد

• Robotics
• Human-Robot Interaction
• Machine Learning
• +۷ مورد دیگر

Adriana Tapus is a Full Professor at ENSTA Paris, affiliated with Institut Polytechnique de Paris, leading the Autonomous Systems and Robotics Laboratory (SAR) within the Computer Science and Systems Engineering Unit (U2IS). She holds an HDR (Habilitation) and a PhD from EPFL, Switzerland, with postdoctoral experience at USC. Her research focuses on socially assistive robotics, human-robot interaction (HRI), and personalized therapy for individuals with physical/cognitive impairments. She directs the IP Paris Doctoral School and coordinates national/international projects like the EU-funded ENRICHME and SWEET. Education: PhD in Mobile Robotics, EPFL (2005) Habilitation (HDR), ENSTA Paris (2011) M.S. Computer Science, University Joseph Fourier Engineer, Politehnica University of Bucharest Research Interests: Tapus pioneers socially assistive robotics, integrating machine learning, human modeling, and multimodal communication (verbal/non-verbal/para-verbal). Her work addresses adaptive therapies for vulnerable populations using robotics, physiological data interpretation, and context-aware interaction. Key themes include: Human-robot cooperation and trust Emotion recognition and expression Personalized rehabilitation systems AI ethics and human-centered design Publications: Over 150 articles, with recent work exploring humor in HRI, teleoperation trust models, and cross-cultural intelligent vehicles. Notable 2025 contributions include studies on robot laughter efficacy and multimodal facial expression frameworks. Awards: 2025: 4 IROS papers accepted 2016: 25 Women in Robotics recognition 2010: Romanian Academy Award Multiple conference best paper awards (RO-MAN, ICRA, etc.) Advising & Grants: Supervised over 20 PhD students and led projects like EU Horizon 2020 ENRICHME. Current students focus on teleoperation dynamics, robot humor, and haptic interfaces. Active in editorial roles (IJSR, THRI) and conference organization (HRI General Chair 2019). Labs/Teams: Founder of RoboticsByDesign lab and co-initiator of the Hi! Paris interdisciplinary AI center. The SAR lab develops systems for healthcare, education, and human-robot collaboration.

Rakesh Kumarمشاهده پروفایل

استاد

• Computer Architecture
• System-Level Design Automation
• Low Power Computing
• +۳ مورد دیگر

Rakesh Kumar is a Professor and John Bardeen Faculty Scholar in the Electrical and Computer Engineering Department at the University of Illinois at Urbana-Champaign. His work focuses on computer architecture, system-level design automation, and low-power computing. PhD in Computer Engineering from University of California, San Diego BS in Electrical Engineering from IIT Kharagpur His research spans all layers of the computing stack, with key contributions to flexible computer systems , waferscale computing , error-resilient architectures , and approximate computing . He has pioneered work on voltage-reliability tradeoffs and peak power management techniques. Recent publications highlight trends in space microdatacenters , printed microprocessors , and neural graph accelerators . His work on plastic chips was recognized as one of the three biggest semiconductor headlines of 2022 by IEEE Spectrum. IEEE Fellow (2024) ISCA Influential Paper Award MICRO Test-of-Time Award ICCAD Ten Year Retrospective Most Influential Paper Award Best Paper Awards at CASES, SELSE, HPCA He has received teaching accolades including the Stanley H. Pierce Faculty Award and Ronald W. Pratt Outstanding Teaching Award . His research group explores hardware-software co-design for emerging applications in AI, IoT, and sustainable computing.

Gail E. Kaiserمشاهده پروفایل

استاد

• Software Engineering
• Static and Dynamic Program Analysis
• Software Testing
• +۷ مورد دیگر

Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.

Lin Tanمشاهده پروفایل

استاد

• Software-AI synergy
• Software dependability
• Software engineering
• +۷ مورد دیگر

Lin Tan is a Professor of Computer Science at Purdue University , holding the Mary J. Elmore New Frontiers Professorship . She joined Purdue in 2019 after serving as a Canada Research Chair and associate professor at the University of Waterloo. She is an ACM Distinguished Member and IEEE Senior Member . Education: PhD in Computer Science, University of Illinois Urbana-Champaign BS in Computer Science and Technology, Zhejiang University Research Interests: Professor Tan’s research lies at the intersection of software engineering , artificial intelligence , and security . Her work focuses on software-AI synergy , software dependability , defect detection & repair , and software text analytics . She leverages machine learning and natural language processing to enhance software reliability, and conversely uses software techniques to improve the dependability of AI systems. Her recent projects include building binary foundation models (Nova), evaluating large language models for code generation and repair, and developing interactive debugging tools that reduce debugging time by one-third. She also explores robot task planning with LLMs and automated front-end development . Awards & Honors: Best Paper Award Finalist, ICRA 2025 ELATES Fellow, 2024-2025 ACM SIGSAC Distinguished Paper Award, CCS 2024 J.P.Morgan AI Faculty Research Awards (2020, 2021, 2022) ACM SIGSOFT Distinguished Paper Awards (ASE 2020, MSR 2018, FSE 2016) Canada Research Chair (2017) Ontario Early Researcher Award (2015) NSERC Discovery Accelerator Supplements Award (2015) Google Faculty Research Awards (2010, 2014) IEEE Micro Top Picks (2006) Advising & Funding: Professor Tan currently advises eight PhD students and has graduated 20+ PhD and Master’s students now thriving in academia (York University, Concordia University, University of Alberta) and industry (Microsoft, Meta, Amazon, Google). Her group is generously supported by NSF , Meta/Facebook Research Awards , J.P.Morgan AI Faculty Awards , and NSF REU programs. Labs & Teams: She leads the Software Reliability & AI Lab at Purdue, recruiting postdocs, PhD, MS, and undergraduate researchers year-round. Lab interests span binary recovery , LLM-based program repair , testing deep-learning libraries , and data-free model extraction .

Martin Schrimpfمشاهده پروفایل

استادیار

• neuroAI
• computational neuroscience
• computer vision
• +۵ مورد دیگر

Professor Martin Schrimpf is a Tenure Track Assistant Professor at EPFL, holding dual appointments in the School of Life Sciences (SV) and the School of Computer and Communication Sciences (IC). His research bridges computational neuroscience, deep learning, and cognitive science to model human natural intelligence in vision and language. He leads the NeuroAI Lab, focusing on aligning artificial neural networks with brain mechanisms and human behavior. Education: PhD in Brain and Cognitive Sciences from MIT (2017–2022), MSc in Software Engineering from TUM/LMU/UNA (2014–2017), and BSc in Information Systems from TUM (2011–2014). His work has been recognized with awards including the Neuro-Irv Open Science Prize, McGovern Fellowship, and Takeda AI+Health Fellowship. He co-founded Integreat, a social impact startup recognized with Google.org’s Impact Challenge and TUM’s Social Impact Award. Research interests include neuroAI, brain-like models, and clinical translation (e.g., visual prosthetics). He has published in top venues like Neuron, Nature Human Behavior, NeurIPS, and ICLR. Current projects involve developing topographic language models (TopoLM) and investigating causal language network interactions using LLMs. Teaching: Courses include Neuroscience Foundations for Engineers and Brain-like Computation and Intelligence . Supervised over 26 students, including PhD candidates Badr Alkhamissi, Ben Lönnqvist, and Yingtian Tang. Active in grants from SNSF, NeuroX, and EPFL’s AI Center. Labs/Teams: NeuroAI Lab at EPFL Neuro-X Institute. Future directions include advancing brain-inspired models for clinical applications and expanding interdisciplinary collaborations between neuroscience and AI.

Alanson Sampleمشاهده پروفایل

دانشیار

• Human Computer Interaction
• Cyber-Physical Systems
• Wireless Technology
• +۴ مورد دیگر

Alanson Sample is an Associate Professor in the Department of Electrical Engineering and Computer Science at the University of Michigan (since 2018), leading the Interactive Sensing and Computing Lab. His research focuses on Human-Computer Interaction, Cyber-Physical Systems, and wireless technology innovations. He holds a PhD in Electrical Engineering from the University of Washington (2011), with prior postdoctoral work there developing implantable medical devices. Before academia, Sample held senior roles at Disney Research (2013-2018) as Executive Lab Director and Principal Research Scientist, leading teams in Robotics, AI, Computer Vision, and HCI. Earlier, he worked at Intel Labs (2008-2013) on energy harvesting for wearables and IoT. Key research themes include wireless power systems, embedded sensing, and privacy-aware technologies. Over 150+ publications span topics like magnetic sensing (MagDesk), acoustic gesture recognition (HandSAW), and privacy-preserving activity tracking (PrivacyMic). His work bridges academic and industry innovation, particularly in scalable interactive systems and medical technology. Notable projects include the Quasistatic Cavity Resonance wireless charging system, RFID-based sensing platforms (WISP), and wearable health monitoring devices. His lab develops hardware-software co-design frameworks for energy-efficient embedded systems. Current research emphasizes medical applications, smart infrastructure, and ubiquitous computing interfaces.

Adriana Schulzمشاهده پروفایل

استادیار

• Computational Design
• Computer-Aided Design (CAD)
• Digital Fabrication
• +۴ مورد دیگر

Adriana Schulz is an Assistant Professor in the Department of Computer Science & Engineering at the University of Washington's College of Engineering. She leads a research group focused on computational design, computer-aided design (CAD), and digital fabrication. Her work bridges computer science with practical applications in manufacturing, robotics, and sustainable design. Dr. Schulz received her Ph.D. in Computer Science from MIT in 2018 under the supervision of Professor Wojciech Matusik. Prior to her doctoral studies, she earned a Master's degree in Mathematics from IMPA (Instituto Nacional de Matemática Pura e Aplicada) in Rio de Janeiro, where she worked with Professor Luiz Velho, and a Bachelor's degree in Electronics Engineering from UFRJ (Federal University of Rio de Janeiro). Her research interests center around computational tools that enhance design and manufacturing processes. She develops novel algorithms for CAD systems, computational fabrication techniques, and sustainable design approaches. Her work spans multiple domains including robotics, textiles, electronics, and architecture, with a strong emphasis on creating practical tools that designers and engineers can use in real-world applications. She explores how machine learning, particularly neurosymbolic approaches, can improve design workflows and enable new capabilities in computational design systems. Analysis of her recent publications reveals a strong trend toward more intelligent and user-centered design tools. Her research increasingly integrates machine learning with traditional CAD systems to create more intuitive interfaces, supports sustainable design practices with computational tools, and develops novel fabrication techniques that push the boundaries of what's possible with digital manufacturing. She has made significant contributions to zero-waste fashion design, immersion cooling for high-performance computing, and CAD program understanding through novel representation learning techniques. Innovators Under 35 - MIT Technology Review Bolsa Aluno Nota 10 from FAPERJ Engineer 20000 award Dr. Schulz actively mentors several PhD students and postdoctoral researchers, including Haisen Zhao, Ben Jones, Yuxuan Mei, and others, often in collaboration with colleagues across different departments. Her research has attracted significant media attention, with coverage in major outlets including MIT News, BBC, IEEE Spectrum, Wired, and TechCrunch. Her work on Interactive Robogami was noted as the most read article in the International Journal of Robotics Research in its publication year. She leads a vibrant research group at the University of Washington that focuses on computational design systems, with particular emphasis on creating tools that bridge the gap between digital design and physical fabrication. Her team develops novel algorithms for CAD systems, computational fabrication techniques, and sustainable design approaches that have practical applications across multiple industries.

Qi Alfred Chenمشاهده پروفایل

استادیار

• Network security
• Systems security
• IoT security
• +۶ مورد دیگر

Qi Alfred Chen is an Assistant Professor in the Department of Computer Science at the University of California, Irvine (UCI), within the Donald Bren School of Information and Computer Sciences. He also holds affiliations with the Department of Electrical Engineering and Computer Science (EECS), the Institute of Transportation Studies at UC Irvine (ITS-Irvine), the Center for Embedded and Cyber-physical Systems (CECS), the Institute for Software Research (ISR), and the UC Irvine Cybersecurity Policy & Research Institute (CPRI). His research focuses on network and systems security, with particular emphasis on autonomous vehicle and IoT security. Dr. Chen received his Ph.D. from the University of Michigan in 2018. His educational background has prepared him for his current research in security of critical computer systems. His work bridges theoretical security principles with practical implementations in real-world systems. Chen's research interests center on network and systems security , with a major focus on smart systems and IoT security , particularly in transportation and autonomous vehicle systems . His work addresses security challenges through systematic problem analysis and mitigation, discovering and mitigating security problems in next-generation transportation systems, smartphone OSes, network protocols, DNS, GUI systems, and access control systems. His research has high impact in both academic and industry contexts, with over 10 top-tier conference papers, a DHS US-CERT alert, multiple CVEs, and coverage in major news media like Fortune and BBC News. His publication record shows a clear evolution from foundational work on network protocols and smartphone security toward increasingly sophisticated security analyses of autonomous vehicle systems and AI-powered transportation technologies. The research trajectory demonstrates growing technical sophistication and real-world impact, with recent work focusing on physical-world adversarial attacks against autonomous driving perception systems, LiDAR spoofing, and security of multi-sensor fusion in autonomous vehicles. NSF CAREER Award (2022) on securing the AI stack in emerging autonomous and connected CPSs Chancellor's Award for Excellence in Undergraduate Research Mentorship, UC Irvine (2021) 5th place nation-wide at National CCDC competition (2021, as faculty advisor) 1st place (Gold Medal) at CCDC Western Regional competition (2021) ProQuest Distinguished Dissertation Award, University of Michigan (2019) Dr. Chen has mentored numerous successful students, including PhD candidates and undergraduates who have gone on to positions at major tech companies like Meta, Uber, Amazon, and Intel. His research group has secured significant funding, including an NSF CAREER award, and has made substantial contributions to the field through high-impact publications and vulnerability disclosures. He is also the co-founder of the ISOC VehicleSec Symposium and has organized the AutoDriving CTF contest at DEF CON. Chen leads the AV & IoAT Security Research Group at UCI, focusing on security challenges in autonomous vehicles and the broader Internet of Autonomous Things. His team has developed numerous attack demonstrations and security analyses that have received significant media attention and influenced industry practices. The group maintains an active YouTube channel showcasing their security research.

Connor Coleyمشاهده پروفایل

استادیار

• Machine Learning for Chemistry
• Computer-Aided Molecular Design
• Synthesis Planning
• +۵ مورد دیگر

Connor Coley is the Henri Slezynger (1957) Career Development Assistant Professor at the Massachusetts Institute of Technology (MIT) School of Engineering. His research bridges chemistry and machine learning, focusing on autonomous molecular discovery, predictive chemistry, and laboratory automation. Education: Ph.D., MIT (2019) M.S.CEP., MIT (2016) B.S., Caltech (2014) Research Interests: Dr. Coley’s work centers on domain-informed machine learning for chemistry, computer-aided molecular design, and autonomous laboratories. Key themes include predictive modeling of chemical reactivity, optimization of synthesis pathways, and integration of AI with experimental data for drug discovery and materials science. Publications: His recent articles highlight advancements in AI-driven reaction prediction, molecular representation learning, and laboratory automation. Trends include applications of Bayesian optimization, contrastive learning, and diffusion models to chemical discovery. Scientific Awards: Camille Dreyfus Teacher-Scholar Award (2025) James W. Swan Outstanding Faculty (2025) Schmidt Futures AI2050 Early Career Fellow (2022) NSF CAREER Award (2021) Forbes 30 Under 30: Healthcare (2019) Software & Tools: He leads the open-source ASKCOS software suite for synthesis planning, adopted by 35,000+ chemists and deployed at 15+ pharmaceutical companies. His team also develops tools for metabolomics and molecular representation learning.

Bernhard J. Bergerمشاهده پروفایل

مدرس

• Software Security
• Static Code Analysis
• Machine Learning
• +۴ مورد دیگر

Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.

• Computer Networks
• Network Security
• Machine Learning in Networking
• +۳ مورد دیگر

Mariano Scazzariello is a Lecturer at KTH Royal Institute of Technology, Sweden, affiliated with the School of Electrical Engineering and Computer Science and the Department of Network and Systems Engineering. He teaches the course 'Network Systems with Edge or Cloud Datacenters (IK2227)'. His research focuses on advanced networking topics including machine learning in networks, high-speed packet processing, network emulation, and software-defined networking innovations. His work spans contributions to network emulation tools like Kathará and Megalos, stateful packet processing at terabit scales, and leveraging large language models (LLMs) for network configuration and vulnerability detection. Recent research emphasizes low-latency protocols (e.g., SRv6/DetNet integration) and GPU-centric networking on commodity hardware. Mariano’s publications (2020–2025) highlight expertise in network function virtualization, ASIC-based switching, and optimizing network configurations through AI-driven approaches. He has pioneered frameworks for evaluating routing protocols and virtualizing large network scenarios at scale.

Alessandro Golkarمشاهده پروفایل

استاد

• Space Systems Engineering
• CubeSat and Nanosatellite Technology
• Satellite Constellations
• +۵ مورد دیگر

Prof. Alessandro Golkar is a Professor at the Technical University of Munich (TUM), leading the Chair of Picosatellites, Nanosatellites, and Satellite Constellations. He joined TUM in September 2022 and previously served as one of the founding faculty members at Skoltech, a Moscow-based graduate research university. His research focuses on advanced space mission concepts, systems engineering for picosatellites, and federated satellite systems. Prior to academia, he held roles at Airbus CTO, contributing to technology roadmapping and planning. His academic background includes expertise in aerospace engineering, systems design, and agile development methodologies for space hardware. Key research areas include CubeSat constellations, distributed satellite systems, and the integration of AI tools like Large Language Models (LLMs) into spacecraft design processes. He has pioneered projects such as the FSSCat mission, winner of the ESA Sentinel Small Satellite Challenge, and has explored applications of additive manufacturing for lunar missions. Prof. Golkar’s awards include the 2021 Karman Fellowship and IEEE Senior Membership (2018). His recent work emphasizes optimizing satellite networks, digital twin implementation, and orbital maneuvering for collision avoidance. He actively contributes to technology roadmapping, focusing on future human landing systems and lunar infrastructure development. Education: Ph.D. in Aerospace Engineering (details not explicitly stated). Grants & Funding: Extensive grants for CubeSat projects, federated systems research, and space technology innovation. Labs/Teams: Leads the Chair’s research group at TUM and collaborates with industry partners like Airbus on advanced mission concepts. His publications span over two decades, addressing topics like constellation design, machine learning in space, and agile processes for hardware development. He advocates for hybrid agile methodologies to bridge traditional systems engineering and modern product development.

Geng Yuanمشاهده پروفایل

استادیار

• Artificial Intelligence Systems
• Energy-Efficient Deep Learning
• Model Compression
• +۵ مورد دیگر

Geng Yuan is an Assistant Professor at the University of Georgia's School of Computing, specializing in AI systems, energy-efficient deep learning, and hardware-software co-design. His work bridges machine learning algorithms with emerging hardware technologies like superconducting circuits and ReRAM. He holds a Ph.D. in Computer Engineering from Northeastern University (2023) and a Master's in Electrical & Computer Engineering from Syracuse University (2016). Doctor of Philosophy (Ph.D.) in Computer Engineering, Northeastern University (2023) Master of Science (M.S.) in Electrical & Computer Engineering, Syracuse University (2016) Bachelor of Science (B.S.) in Electrical Engineering, Beijing University of Technology (2014) His research focuses on optimizing deep learning systems for edge computing and mobile platforms through techniques like model compression, sparse training, and hardware-aware neural architecture search. Recent projects include adapting large language models via hybrid-grained pruning and developing ultra-low-power AQFP circuits for binary networks. Geng Yuan's publications span top venues like NeurIPS, CVPR, ICML, ICLR, ISCA, and DAC, with notable awards including a Best Paper Award at ICLR Workshop 2021, Spotlight Papers at ICLR 2023 and NeurIPS 2021, and a Design Contest 1st Place at ISLPED 2020. Best Paper Award (ICLR Workshop'21) Spotlight Paper Award (ICLR'23, NeurIPS'21) Design Contest 1st Place (ISLPED'20) Best Paper Nomination (DATE'21, ISQED'18) He actively recruits Ph.D., Master's students, and interns to his research group, focusing on advancing AI systems through interdisciplinary approaches combining machine learning, computer architecture, and electronic design automation.

Stefanie Muellerمشاهده پروفایل

دانشیار

• Human-Computer Interaction
• Computational Fabrication
• 3D Printing
• +۷ مورد دیگر

Stefanie Mueller is the TIBCO Career Development Associate Professor at MIT's Electrical Engineering and Computer Science Department, with joint affiliation in Mechanical Engineering. She leads the HCI Engineering Group at the Computer Science and Artificial Intelligence Laboratory (CSAIL), focusing on advancing fabrication techniques through hardware/software innovations that enable novel object interactions. Develops computational fabrication methods combining photochromic dyes, lenticular lenses, birefringent materials, and optical illusions Co-chaired ACM CHI 2023 and ACM UIST 2020 program committees Recipients of 9 MIT EECS Best Undergraduate Researcher Awards among mentees Her research spans four key directions: Appearance-changing Objects: Photo-Chromeleon (ACM UIST 2019), Lenticular Objects (ACM UIST 2021), and Polagons (ACM CHI 2023) demonstrate reprogrammable surfaces through advanced materials and optical engineering. Tracking Systems: InfraredTags (ACM CHI 2022) and G-ID (ACM CHI 2020) enable passive object tracking via infrared markers and slicing artifacts. Embedded Sensing: MechSense (ACM CHI 2023) and Sprayable User Interfaces (ACM CHI 2020) integrate sensing capabilities into complex geometries. Curved Surface Prototyping: FlexBoard (ACM CHI 2023) and CurveBoard (ACM CHI 2020) develop specialized tools for non-planar electronics. Her recent publications focus on functionality segmentation (UIST 2023), fluorescent markers (UIST 2023), and machine-knitted haptics (UIST 2023). These works combine machine learning, material science, and interactive design principles to push fabrication boundaries. Scientific recognition includes: 2022 MIT Technology Review Innovators Under 35 2020 Microsoft Research Faculty Fellowship 2020 Alfred P. Sloan Research Fellowship 2019 ACM UIST Best Paper Award 2019 NSF CAREER Award 2018 MIT EECS Outstanding Educator Award 2017 Forbes 30 Under 30 in Science Mentoring 9 PhD students and over 20 master's students, her lab has produced 20+ publications at top HCI conferences. She redesigned MIT's 6.810 Engineering Interactive Technologies course during the pandemic, maintaining hands-on learning through home electronics kits and Slack-based collaboration.

Kuldeep S. Meelمشاهده پروفایل

دانشیار

• Automated Reasoning
• Formal Methods
• Artificial Intelligence
• +۶ مورد دیگر

Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.